summaryrefslogtreecommitdiff
path: root/src/Invariants.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* Update the traceSon Ho2022-01-041-1/+25
* Make progress on implementing check_loans_borrows_relations_invariantSon Ho2022-01-041-5/+196
* Start working on invariant checkingSon Ho2022-01-041-0/+31