summary refs log tree commit diff
path: root/lisc/tools
AgeCommit message (Collapse)Author
2016-03-25great renaming campain!Quentin Carbonneaux
2016-03-25update pmov test to work with new regallocQuentin Carbonneaux
2016-03-22allow testing the two directions in abitestQuentin Carbonneaux
2016-03-22bake more fancy in abitest.shQuentin Carbonneaux
2016-03-22fix struct size computationQuentin Carbonneaux
2016-03-22fix incorrect size suffix in abi fuzzerQuentin Carbonneaux
2016-03-22cleanup at the end of abitest.shQuentin Carbonneaux
2016-03-22fix bug in type definitions in abi.mlQuentin Carbonneaux
2016-03-21add the ability to run with a seedQuentin Carbonneaux
2016-03-21fix bug in IL checkingQuentin Carbonneaux
2016-03-21compile tests with debug optionsQuentin Carbonneaux
2016-03-21add abitest.sh toolQuentin Carbonneaux
2016-03-21wrap up abi.ml with a main functionQuentin Carbonneaux
2016-03-21tools/abi.ml seems to workQuentin Carbonneaux
2016-03-20start il generationQuentin Carbonneaux
2016-03-20finish OutC, use uniform distributionsQuentin Carbonneaux
2016-03-20ocaml and c chars are incompatibleQuentin Carbonneaux
2016-03-19start C dumpingQuentin Carbonneaux
2016-03-19add code to generate typesQuentin Carbonneaux
2016-03-18start work on an abi fuzzerQuentin Carbonneaux
2016-02-26also catch stderrQuentin Carbonneaux
2016-02-26add regression testing scriptQuentin Carbonneaux
2016-02-11fix format string bug in fptox.cQuentin Carbonneaux
2016-02-03add tool to show ieee representationsQuentin Carbonneaux
2015-09-30finalize the new slot systemQuentin Carbonneaux
There is still the issue that spill is set to -1 to mark the absence of slot, it does not play well with zero-initialization at all.
2015-09-15fix comments in pmovQuentin Carbonneaux
2015-09-15write more tests for dopm()Quentin Carbonneaux
2015-09-15add helpful diagnosticsQuentin Carbonneaux
2015-09-15start exhaustive testing dopm()Quentin Carbonneaux
2015-09-15new NAlign constant and fix frame size computationQuentin Carbonneaux
2015-09-15slight update to slot testsQuentin Carbonneaux
2015-09-15hack a slot-packing function and its testsQuentin Carbonneaux