[pull] main from mhatzl:main - #2

Open

pull[bot] wants to merge 179 commits into

WiresmithTech:mainfrom

Commits on Apr 9, 2025

feat: integrate coverage into db schema
mhatzl
committed
300cee2
feat: adapt trace collection to also gather items
mhatzl
committed
e30263f
feat: start port to add reqs & traces to db
mhatzl
committed
de384dd

Commits on May 26, 2025

fix: module restructure start
mhatzl
committed
7220cfa

Commits on Jun 15, 2025

feat: create initial db schema for redesign
mhatzl
committed
273393c
feat: add table to store file content
mhatzl
committed
ae9d305

Commits on Jun 20, 2025

fix: specify utc in all date fields
mhatzl
committed
8adcdcb
feat: add fields for project metadata
mhatzl
committed
4ff9af8

Commits on Jun 21, 2025

feat: add reqs to db tables
mhatzl
committed
4b3c2e3
feat: map reqs to db tables
mhatzl
committed
972f5dc
feat: improve sqlx offline mode in workspace
mhatzl
committed
3f0629d
feat: update req schema to new db schema
mhatzl
committed
8998819
fix: use more precise req id
mhatzl
committed
4e6af1c

Commits on Jun 22, 2025

feat: update trace schema and sync with req one
mhatzl
committed
8f34ee7
feat: update testcov schema to new db schema
mhatzl
committed
73bb1a7
feat: update review schema to new db schema
mhatzl
committed
9a02777

Commits on Jul 5, 2025

Add req traces for testcov schema
mhatzl
committed
6d9e58b
Update review schema and trace to reqs
mhatzl
committed
382d523
Enforce comments for review overrides
mhatzl
committed
4f77ec0

Commits on Aug 8, 2025

fix: unify schema field names for serde
mhatzl
committed
0c2ccc1
fix: switch schemas to trace kind
mhatzl
committed
e8a4a50

Commits on Sep 5, 2025

Fix trace kinds and allow code block tracing
mhatzl
committed
2c59bce

Commits on Oct 25, 2025

Update db schema to new project ID
mhatzl
committed
dcdfd12
Reduce possible content duplication in database
mhatzl
committed
f34a1f9
Make traced code content optional
mhatzl
committed
13bff67

Commits on Oct 26, 2025

Relax origin restrictions and improve coverage mapping
mhatzl
committed
cd3cdb9

Commits on Nov 2, 2025

Add fields to map entries to VCS idents
mhatzl
committed
cf8abce
Add VCS field to test run schema
mhatzl
committed
800c7a8

Commits on Nov 23, 2025

Adapt schemas to allow origin data for collected data
mhatzl
committed
9569c2f

Commits on Dec 17, 2025

Map collected data to products
mhatzl
committed
f788bf3
Update comments for project to product rename
mhatzl
committed
4ec0ee6
Add tables for block and line excludes of code coverage
mhatzl
committed
2a725a9

Commits on Jan 11, 2026

Tidy database and Rust type schemas
mhatzl
committed
72a59e0

Commits on Jan 29, 2026

Add code block kind field
mhatzl
committed
9796281
Add queries to push requirement and product data to db
mhatzl
committed
e1e2a7a

Commits on Feb 2, 2026

Move from hash based to history table approach
mhatzl
committed
48c1bba
Split req-trace mapping and allow test case state properties
mhatzl
committed
186504d

Commits on Feb 4, 2026

Split database schema into multiple files and sync Rust schema
mhatzl
committed
b6185de

Commits on Feb 5, 2026

Setup db collection to add product infos
mhatzl
committed
3d7a331

Commits on Feb 9, 2026

Add initial requirements to db collection
mhatzl
committed
d287706
Move prop merge out from req module
mhatzl
committed
1416368
Add annotation db collection
mhatzl
committed
99a7db4

Commits on Feb 10, 2026

Add db updates for test runs
mhatzl
committed
90a8a28

Commits on Feb 11, 2026

Add review db inserts
mhatzl
committed
abcb9eb
Define config file structure for the collect cmd
mhatzl
committed
17c614e

Commits on Feb 12, 2026

Add initial flow to collect reqs from schema files
mhatzl
committed
a2d7604
Add schema collection for annotations and reviews
mhatzl
committed
13fa74a

Commits on Feb 13, 2026

Move to snake_case for schema fields
mhatzl
committed
95ed949
Add collection for well-known test & coverage formats
mhatzl
committed
936d8d6
Update req dot-hierarchy
mhatzl
committed
8dfae4d

Commits on Feb 14, 2026

Handle outdated db entries
mhatzl
committed
e0bf0dc

Commits on Feb 15, 2026

Add base req aggregation tables
mhatzl
committed
99559ed
Aggregate trace spans
mhatzl
committed
d36875d
Aggregate basic test run data
mhatzl
committed
0442556
Aggregate test run coverage per trace
mhatzl
committed
dd6effa

Commits on Feb 16, 2026

Commits on Feb 17, 2026

Apply test data overrides from reviews
mhatzl
committed
d54f85c
Detect traces covered only by passed test runs/cases
mhatzl
committed
639ed6f

Commits on Feb 18, 2026

Add statement to detect verification state per requirement
mhatzl
committed
ad83b9a

Commits on Feb 19, 2026

Fix req verification state query
mhatzl
committed
dc71f1a
Add optional requirements
mhatzl
committed
3a12039
Detect verification state of requirements
mhatzl
committed
63d189f
Clean up unused variables and types
mhatzl
committed
1958e17

Commits on Feb 20, 2026

Prepare for annotation collection from content
mhatzl
committed
8de13d3

Commits on Feb 21, 2026

Impl basic Rust code trace detection
mhatzl
committed
ce6b726

Commits on Feb 22, 2026

Collect annotations from Rust code detecting macro traces only
mhatzl
committed
f3ab747
Move lsif into mantra to resolve element idents
mhatzl
committed
f7158ac

Commits on Feb 23, 2026

Detect traces in cfg_attr macros
mhatzl
committed
8aa5c2c

Commits on Feb 24, 2026

Commits on Feb 25, 2026

Define macros to be detected as Rust mantra traces
mhatzl
committed
29525ca
Update JSON schemas
mhatzl
committed
c1cafb9
Add satisfy-verify demo code
mhatzl
committed
a970470
Add basic HTML report template
mhatzl
committed
0be9f98

Commits on Feb 28, 2026

Commits on Mar 13, 2026

Detect duplicate req ID entries
mhatzl
committed
b3296eb
Remove duplicate req ID
mhatzl
committed
968b81c
Add note on why product duplication per collect is not possible
mhatzl
committed
b1a8349
Detect duplicate reviews per collection
mhatzl
committed
c89f1cb
Ignore test db
mhatzl
committed
ea16fbb
Disable SQLX offline, because no IDE slow-down noticed so far
mhatzl
committed
cb4dac7
Detect duplicate test run entries
mhatzl
committed
e62b297
Clean up old code parts
mhatzl
committed
a5a8c5e
Add test setup code for in-memory db unit testing
mhatzl
committed
334ba10

Commits on Mar 23, 2026

Add collect test setup and fix req cycle detection
mhatzl
committed
816fee4

Commits on Mar 25, 2026

Fix Rust annotation detection for inner attributes
mhatzl
committed
14c6918

Commits on Mar 29, 2026

Fix test run cycle detection
mhatzl
committed
ff8af43

Commits on Mar 31, 2026

Rename statement coverage to line coverage
mhatzl
committed
029efbd

Commits on Apr 5, 2026

Add req state tests
mhatzl
committed
f3eb499

Commits on Apr 10, 2026

Ensure db tests can be run in parallel
mhatzl
committed
dd55c60

Commits on Apr 13, 2026

Add test info to the overview report
mhatzl
committed
88731b6
Add test run overrides to overview report
mhatzl
committed
6f21058

Commits on Apr 21, 2026

Setup structure + tests for PlainTextCollector
mhatzl
committed
c25ee05
Add initial single product HTML report template
mhatzl
committed
6f534f8

Commits on Apr 29, 2026

Extend the overview report structure
mhatzl
committed
7b66699

Commits on May 6, 2026

Start splitting report into multiple files
mhatzl
committed
7fbb740

Commits on May 7, 2026

Add evidence matrix report per product
mhatzl
committed
97f14e1
Generate requirement reports
mhatzl
committed
6cb3bb0

Commits on May 11, 2026

Add test report creation
mhatzl
committed
bdbeec7

Commits on May 12, 2026

Add html templates and handle navigation between report files
mhatzl
committed
67038b2
Update JSON schemas
mhatzl
committed
aa62f3b

Commits on May 13, 2026

Add missing report data
mhatzl
committed
4a2d20b

Commits on May 15, 2026

Add content for HTML report pages
mhatzl
committed
94dcaa8

Commits on May 17, 2026

Commits on May 18, 2026

Dedup override info in reports
mhatzl
committed
df6f4d5
Add override test data
mhatzl
committed
80e7cd9
Fix directly verified req state
mhatzl
committed
b2a5008
Fix optional verification propagation
mhatzl
committed
fe7f6d3
Add review ignored entries samples
mhatzl
committed
ee8c26d
Add transitive req examples
mhatzl
committed
870ca90
Add test run for indirect req example
mhatzl
committed
6b084f1
Fix review revision collection
mhatzl
committed
d48608f

Commits on May 19, 2026

Commits on May 26, 2026

Prep db query data for offline use
mhatzl
committed
b070650

Commits on May 27, 2026

Fix percentage calculation in case of div by zero
mhatzl
committed
7da61cf

Commits on Jun 15, 2026

Fix parallel test execution accessing the database
mhatzl
committed
1e6fd23

Commits on Jun 16, 2026

Allow to overwrite report templates
mhatzl
committed
313f2d0
Apply clippy suggestions
mhatzl
committed
e176c30

Commits on Jun 17, 2026

Ignore sqlx generated test folders
mhatzl
committed
8f84ee7
Add cfg set test run data into db for schema sources
mhatzl
committed
d892eb0

Commits on Jun 19, 2026

Fix indirect requirement state aggregation
mhatzl
committed
04cd92d

Commits on Jun 22, 2026

Update stored queries
mhatzl
committed
dd0aa6a
Update mantra database
mhatzl
committed
8aad14b
Fix indirect state propagation of manual requirements
mhatzl
committed
c8cb1ff
rename ignore to exclude for requirements
mhatzl
committed
74ae228

Commits on Jun 23, 2026

Improve performance for indirect state aggregation
mhatzl
committed
0ad29f9
Fix matching for cross-product req hierarchies
mhatzl
committed
0db7ea9
Fix mandatory requirement metric
mhatzl
committed
1d43b27
Deny unknown fields on input schemas
mhatzl
committed
8f9deca
Set start line for annotation collection to 1
mhatzl
committed
82db280
Update basic documentation to new mantra design
mhatzl
committed
778183c
Clean up CI workflows and GitHub templates
mhatzl
committed
7ad6b79

Commits on Jun 24, 2026

Apply cargo fmt
mhatzl
committed
bd23379
Add tests for annotation collection from Rust code + general cleanup
mhatzl
committed
914c794
Add snapshots for Rust code collection tests
mhatzl
committed
9ad80e2
Only use usable manual requirements for summary metric
mhatzl
committed
35d848a
Add error contexts when collecting data
mhatzl
committed
e180179
Update stored queries
mhatzl
committed
db4d874

Commits on Jun 25, 2026

Commits on Jun 26, 2026

Commits on Jun 27, 2026

Tighten readme a bit (#56)
Hoverbear
authored
ae7f9a0
Ensure rustfmt and clippy are available in CI (#57)
mhatzl
authored
bfbf5e2
Check in Cargo.lock to git (#58)
mhatzl
authored
72dc0c1

Commits on Jul 1, 2026

Remove relative links to other docs (#60)
mhatzl
authored
ecdf261
Bump version to v0.8.0 (#61)
mhatzl
authored
580775e

Commits on Jul 2, 2026

Fix indirect req state aggregation (#62)
mhatzl
authored
ce1d7e6
bump mantra version to v0.8.1 (#63)
mhatzl
authored
57af8ae

Commits on Jul 10, 2026

Allow explicit product ID in traces (#64)
mhatzl
authored
551bc61
Allow requirements to replace others (#65)
mhatzl
authored
f3ccf7d

Commits on Jul 15, 2026

Add ability to define requirements in Markdown files (#66)
mhatzl
authored
e95446a

Commits on Jul 16, 2026

Make mantra-macros no_std compatible (#69)
mhatzl
authored
db4ecd3

Commits on Aug 4, 2026

Adds feature to set logs for mantra traces on functions (#75)
mhatzl
authored
a49a366
Adapt requirement marker propagations (#76)
mhatzl
authored
31d9ce4

Commits on Aug 5, 2026

Commits on Aug 8, 2026

Detects nested fn-like mantra macros (#79)
mhatzl
authored
f295cb8