Repository navigation

feat: heuristic verifier framework for lint rewrites - #177

Open

notJoon wants to merge 15 commits into

mainfrom

feat/formal-verification-framework

Open

feat: heuristic verifier framework for lint rewrites#177
notJoon wants to merge 15 commits into
mainfrom
feat/formal-verification-framework

Commits on Dec 20, 2025
- feat(minilogic): add core types, AST, and result definitions
  notJoon
  committed
  cc3e71e
- feat(minilogic): implement termination-aware evaluator
  notJoon
  committed
  c641a10
- feat(minilogic): add equivalence verifier and normalizer
  notJoon
  committed
  0fbad8d
- test(minilogic): ensures a call to `panic` does not termination unless
  notJoon
  committed
  1f07bfc
- feat(minilogic): add basic symbolic cond solver and ite merge
  notJoon
  committed
  d2cd49f
- feat(lint): apply formal verification step into early-return rule
  notJoon
  committed
  ae51c14
- feat(minilogic): IR debug mode
  notJoon
  committed
  b379320
- fix(minilogic): Track expression-level `CallExpr` in `OpaqueCalls` for
  notJoon
  committed
  16aa987
- fix(minilogic): Support `var` declarations in `if-init`
  notJoon
  committed
  db2f501
- fmt
  notJoon
  committed
  7c07bce
- Merge branch 'main' into feat/formal-verification-framework
  notJoon
  authored
  6d2cd67
- update docs
  notJoon
  committed
  54018a9
Commits on Dec 21, 2025
- fix: lint
  notJoon
  committed
  0a0b021
- fix: lint
  notJoon
  committed
  6b0885c
- fix: lint
  notJoon
  committed
  5c67f81