Issues
- 1
Tests run out of memory even with `-j1`
#76 opened by samuelgruetter - 1
Improve CI times
#53 opened by Gopiandcode - 0
- 0
- 0
- 0
- 0
Make supporting dynamic functions easier
#52 opened by Gopiandcode - 0
Update generation code to automatically frame out and generate heaplets for variables that are not modified
#44 opened by Gopiandcode - 0
- 1
- 0
Track trivially dispatchable admits.
#40 opened by Gopiandcode - 0
Add Danvy's mystery list function
#39 opened by mkeoliya - 0
Seq to array no longer validates with Z3
#38 opened by Gopiandcode - 0
Extend framework for specification inference?
#36 opened by Gopiandcode - 1
Test extensibility of framework by running on example outside of seq to array (make rev list)
#30 opened by Gopiandcode - 1
Update parser to handle ! and refs correctly
#28 opened by Gopiandcode - 1
- 0
- 0
Make Lang.Expr.t of operations consistent
#16 opened by Gopiandcode - 1
Eliminate parsing of proof scripts
#21 opened by Gopiandcode - 0
- 1
Implement generator module to perform enumerative synthesis of candidate expressions
#8 opened by Gopiandcode - 3
- 0
- 0
Remove manual proof parsing code
#1 opened by Gopiandcode - 0
Modify CFML workflow to allow annotations
#12 opened by Gopiandcode - 1
- 1
- 1
- 0
Rename `proof_validator` module to `Coq`
#3 opened by Gopiandcode