| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| dev/scheduling | Finish load proof | Yann Herklotz | 7 months | |
| debug/unhashed | Add benchmarking of unhashed commands | Yann Herklotz | 9 months | |
| dev/asplos | Annonimize submission | Yann Herklotz | 10 months | |
| dev/mac-op | Add dune-project file | Yann Herklotz | 20 months | |
| master | Add dune-project file | Yann Herklotz | 20 months | |
| dev/full-nix-build | Update default.nix file | Yann Herklotz | 2 years | |
| dev/michalis | Merge branch 'master' into dev/michalis | Yann Herklotz | 3 years | |
| stable | Fix citation file and README | Yann Herklotz | 3 years | |
| dev-michalis | Fix infinite loop in proof | Yann Herklotz | 3 years | |
| dev/div | Add the divider | Yann Herklotz | 3 years | |
| exp/inl-cse-const | Switch CSE and const-prop | Yann Herklotz | 3 years | |
| dev/divider | Get some Verilog output with dividers | Yann Herklotz | 3 years | |
| dev/value | Change Verilog to use internal CompCert Val | Yann Herklotz | 4 years | |
 |
index : vericert | |
| Vericert is a formally verified high-level synthesis tool. |
| aboutsummaryrefslogtreecommitdiffstats |