Branch | Commit message | Author | Age | |
---|---|---|---|---|
dev/scheduling | Finish load proof | Yann Herklotz | 6 months | |
debug/unhashed | Add benchmarking of unhashed commands | Yann Herklotz | 7 months | |
dev/asplos | Annonimize submission | Yann Herklotz | 9 months | |
dev/mac-op | Add dune-project file | Yann Herklotz | 19 months | |
master | Add dune-project file | Yann Herklotz | 19 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 |