42ab738 Add incremental evaluability check

~ymherklotz pushed to ~ymherklotz/vericert git

f9511b8 Add better implementation of evaluability

~ymherklotz pushed to ~ymherklotz/vericert git

73d0904 Add timing of scheduling to Compiler.v

~ymherklotz pushed to ~ymherklotz/vericert git

24a34a9 Add new constraints checking

~ymherklotz pushed to ~ymherklotz/vericert git

1850879 Add benchmarking of unhashed commands

~ymherklotz pushed to ~ymherklotz/vericert git

c3edebe Fix documentation generation

~ymherklotz pushed to ~ymherklotz/vericert git

6a74d2e Add unhashed functions for comparisons

~ymherklotz pushed to ~ymherklotz/vericert git

c9d0a0b Add Bambu synthesis and ClockRegisters

~ymherklotz pushed to ~ymherklotz/vericert git

557472a Abort steytin proofs

~ymherklotz pushed to ~ymherklotz/vericert git

533bca9 Annonimize submission

~ymherklotz pushed to ~ymherklotz/vericert git

f6569b7 Add comments next to admitted theorems

~ymherklotz pushed to ~ymherklotz/vericert git

4d62c7f Abort steytin proofs

~ymherklotz pushed to ~ymherklotz/vericert git

05afcff Put every load/store into it's own cycle

~ymherklotz pushed to ~ymherklotz/vericert git

a4c8b2b Finish datapath memory generation

~ymherklotz pushed to ~ymherklotz/vericert git

a4c5420 Fixing store transformation

~ymherklotz pushed to ~ymherklotz/vericert git