| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | prover: do not restore length facts after a call-loop |  zinc
| 12 days | 1 | -3/+5 |
| * | wip: prover gaps (inline len bound, cross-array, rt.new depth, fixed new, aff... | zinc
| 12 days | 1 | -0/+40 |
 |
index : moon/zygotec | |
| work-in-progress programming language. |
| aboutsummaryrefslogtreecommitdiff |