Mar 24, 2024
—
Apr 23, 2024
|
||||||
Commit Message | Contributor | Files Modified | Lines Added | Lines Removed | Code Location | Date |
---|---|---|---|---|---|---|
AntiAliasing: restore var binding in mapApplication | More... | 3 days ago | ||||
fix commit hash for inox in build.sbt | More... | 5 days ago | ||||
change cvc5 licenses | More... | 6 days ago | ||||
Bug fix: trivial VCs had one less cell -> assertion error in Inox table render function | More... | 9 days ago | ||||
add SMT lib file id to the report for each VC when debug=smt is enabled | More... | 12 days ago | ||||
AntiAliasing: avoid rebuilding mutated objects when possible (#1507) | More... | 12 days ago |