Age | Commit message (Expand) | Author |
---|---|---|
2016-03-29 | make block labels per-function | Quentin Carbonneaux |
2016-03-29 | new layout, put LICENSE in root | Quentin Carbonneaux |
2016-03-28 | implement export control | Quentin Carbonneaux |
2016-03-27 | mac os compatibility fixes in scripts | Quentin Carbonneaux |
2016-03-27 | move check rule into src/ | Quentin Carbonneaux |
2016-03-27 | free memory in pmov test | Quentin Carbonneaux |
2016-03-27 | fix path in regress | Quentin Carbonneaux |
2016-03-27 | fix wrong path in pmov | Quentin Carbonneaux |
2016-03-27 | compile pmov to cwd | Quentin Carbonneaux |
2016-03-27 | move paper synchronization to top makefile | Quentin Carbonneaux |
2016-03-27 | move tools to the root | Quentin Carbonneaux |
2016-03-27 | add centralized all and clean targets | Quentin Carbonneaux |
2016-03-27 | append instead of clobber CFLAGS | Quentin Carbonneaux |
2016-03-27 | use make variable for extensibility | Quentin Carbonneaux |
2016-03-27 | extract tests out of src | Quentin Carbonneaux |
2016-03-25 | compatibility fixes for mac os | Quentin Carbonneaux |
2016-03-25 | great renaming campain! | Quentin Carbonneaux |
2016-03-25 | mark diag() as non-returning | Quentin Carbonneaux |
2016-03-25 | update pmov test to work with new regalloc | Quentin Carbonneaux |
2016-03-24 | dark types are called opaque in the doc | Quentin Carbonneaux |
2016-03-24 | change IR to IL | Quentin Carbonneaux |
2016-03-23 | typos in llvm.txt (thanks lucie) | Quentin Carbonneaux |
2016-03-23 | add comparison to llvm | Quentin Carbonneaux |
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 | check for overflow in ssa.c (abi fuzzer) | Quentin Carbonneaux |
2016-03-22 | store register usage of ret instructions (abi fuzz) | Quentin Carbonneaux |
2016-03-22 | typo in lexing table (abi fuzzer) | Quentin Carbonneaux |
2016-03-22 | typo in isel (abi fuzzer) | Quentin Carbonneaux |
2016-03-22 | cleanup at the end of abitest.sh | Quentin Carbonneaux |
2016-03-22 | dumb switch mistake in isel (abi fuzzer) | Quentin Carbonneaux |
2016-03-22 | fix bug in type definitions in abi.ml | Quentin Carbonneaux |
2016-03-22 | fix incorrect size increment in abi (abi fuzzer) | 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-03-18 | calls now use rax all the time... | Quentin Carbonneaux |
2016-03-18 | remove spurious assignments in rega | Quentin Carbonneaux |
2016-03-18 | more thorough abi testing | Quentin Carbonneaux |