Age | Commit message (Collapse) | Author | |
---|---|---|---|
2016-03-22 | fix bug in type definitions in abi.ml | Quentin Carbonneaux | |
2016-03-21 | fix bug in IL checking | 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 | |