Age | Commit message (Expand) | Author |
---|---|---|
2016-03-22 | allow testing the two directions in abitest | Quentin Carbonneaux |
2016-03-22 | bake more fancy in abitest.sh | Quentin Carbonneaux |
2016-03-22 | fix struct size computation | Quentin Carbonneaux |
2016-03-22 | fix incorrect size suffix in abi fuzzer | Quentin Carbonneaux |
2016-03-22 | cleanup at the end of abitest.sh | Quentin Carbonneaux |
2016-03-22 | fix bug in type definitions in abi.ml | Quentin Carbonneaux |
2016-03-21 | add the ability to run with a seed | Quentin Carbonneaux |
2016-03-21 | fix bug in IL checking | Quentin Carbonneaux |
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 |