Repository navigation

CLI flags - #187

Merged

rcosta358 merged 10 commits into

liquid-java:mainfrom

cheestree:debug-flag

Apr 7, 2026

Merged

CLI flags#187
rcosta358 merged 10 commits into
liquid-java:mainfrom
cheestree:debug-flag

Commits on Mar 19, 2026
- Modified CLI
  cheestree
  committed
  d9c0b9a
- Split args into a separate file
  cheestree
  committed
  2f620af
- Removed unused code in Diagnostics
  cheestree
  committed
  e09836c
- Update SMTEvaluator
  
  cheestree
  and
  rcosta358
  authored
  6f0107d
Commits on Mar 30, 2026
- Added util to show code snippet, moved debug print
  cheestree
  committed
  a210f95
- Merge branch 'main' into debug-flag
  cheestree
  authored
  4d5cc0c
- Apply suggestion from @rcosta358
  
  cheestree
  and
  rcosta358
  authored
  c0c9f7f
- Fixed a comparison with null and boolean
  cheestree
  committed
  b95d8c2
- FIxed offset and wrong bool exp for null
  cheestree
  committed
  aafcd38
Commits on Apr 7, 2026
- Added version arg to CLI (#1)
  
  cheestree
  and
  rcosta358
  authored
  62c0c67