Age | Commit message (Expand) | Author |
---|---|---|
2016-03-21 | compile tests with debug options | Quentin Carbonneaux |
2016-03-21 | add abitest.sh tool | Quentin Carbonneaux |
2016-03-21 | wrap up abi.ml with a main function | Quentin Carbonneaux |
2016-03-21 | tools/abi.ml seems to work | Quentin Carbonneaux |
2016-03-20 | start il generation | Quentin Carbonneaux |
2016-03-20 | finish OutC, use uniform distributions | Quentin Carbonneaux |
2016-03-20 | ocaml and c chars are incompatible | Quentin Carbonneaux |
2016-03-19 | start C dumping | Quentin Carbonneaux |
2016-03-19 | add code to generate types | Quentin Carbonneaux |
2016-03-18 | start work on an abi fuzzer | Quentin Carbonneaux |
2016-02-26 | also catch stderr | Quentin Carbonneaux |
2016-02-26 | add regression testing script | Quentin Carbonneaux |
2016-02-11 | fix format string bug in fptox.c | Quentin Carbonneaux |
2016-02-03 | add tool to show ieee representations | Quentin Carbonneaux |
2015-09-30 | finalize the new slot system | Quentin Carbonneaux |
2015-09-15 | fix comments in pmov | Quentin Carbonneaux |
2015-09-15 | write more tests for dopm() | Quentin Carbonneaux |
2015-09-15 | add helpful diagnostics | Quentin Carbonneaux |
2015-09-15 | start exhaustive testing dopm() | Quentin Carbonneaux |
2015-09-15 | new NAlign constant and fix frame size computation | Quentin Carbonneaux |
2015-09-15 | slight update to slot tests | Quentin Carbonneaux |
2015-09-15 | hack a slot-packing function and its tests | Quentin Carbonneaux |