Repository navigation

Light versec compiler CLI tool - #226

Merged

tianyuan129 merged 15 commits into

named-data:mainfrom

greetingsuniverse:light-versec-dev

Oct 19, 2026

Merged

Light versec compiler CLI tool#226
tianyuan129 merged 15 commits into
named-data:mainfrom
greetingsuniverse:light-versec-dev

Commits on Oct 10, 2026
- tools/lvs: Add basic compiler functionality
  greetingsuniverse
  committed
  fb14ab2
- tools/lvs: Add basic test cases
  greetingsuniverse
  committed
  33087c2
- tools/lvs: Add error checking and CLI command
  greetingsuniverse
  committed
  7ac3902
- docs: add compile-lvs command
  greetingsuniverse
  committed
  c5843c7
Commits on Oct 12, 2026
Commits on Oct 15, 2026
- sec/trust_schema: Add user functions to lvs schema
  greetingsuniverse
  committed
  ddcde41
- tools/lvs: clean up tester
  greetingsuniverse
  committed
  3096c1e
- Merge branch 'main' into light-versec-dev
  greetingsuniverse
  authored
  37e6825
- remove temporary reference
  greetingsuniverse
  committed
  e1f4a51
Commits on Oct 18, 2026
- tools/lvs: fix temporary rule handling
  greetingsuniverse
  committed
  be209c4
- tools/lvs: handle invalid name component errors
  greetingsuniverse
  committed
  eb609d6