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
1850879 Add benchmarking of unhashed commands
~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
f6569b7 Add comments next to admitted theorems
~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