summary refs log tree commit diff
AgeCommit message (Collapse)Author
2016-03-22fix incorrect size increment in abi (abi fuzzer)Quentin Carbonneaux
Sizes are expressed in multiples of 4 bytes, so we need to divide the size of aggregate types by four when computing stack offsets.
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-03-18calls now use rax all the time...Quentin Carbonneaux
2016-03-18remove spurious assignments in regaQuentin Carbonneaux
2016-03-18more thorough abi testingQuentin Carbonneaux
2016-03-18oops, nul terminate string tokensQuentin Carbonneaux
2016-03-18lamely handle swap of sse registersQuentin Carbonneaux
2016-03-18handle padding correctly in typesQuentin Carbonneaux
2016-03-18set eax before call (for variadics...)Quentin Carbonneaux
2016-03-18tentative support of calls with struct returnQuentin Carbonneaux
2016-03-18factor return registers computationQuentin Carbonneaux
2016-03-18small fixes in selcall()Quentin Carbonneaux
* Floating point return values are now handled correctly (I thought they were...). * Use counts of the "stack pointer" used for memory arguments are tracked correctly. * Use counts of struct argument pointers are tracked correctly.
2016-03-17on the way to clean use countsQuentin Carbonneaux
2016-03-17support return of structsQuentin Carbonneaux
2016-03-17parse fixes for struct returnQuentin Carbonneaux
2016-03-17add sync target in doc/ MakefileQuentin Carbonneaux
2016-03-16document new shift operationsQuentin Carbonneaux
2016-03-16add unsigned division and remainderQuentin Carbonneaux
2016-03-16add shift instructionsQuentin Carbonneaux
2016-03-16refine comment of OpDesc.sflagQuentin Carbonneaux
2016-03-16document oddity in seljmp()Quentin Carbonneaux
2016-03-16test comparison elimination in iselQuentin Carbonneaux
2016-03-15document exts and truncdQuentin Carbonneaux
2016-03-15doc is now completeQuentin Carbonneaux
2016-03-15massage Instructions sectionQuentin Carbonneaux
2016-03-15generate readable internal linksQuentin Carbonneaux
2016-03-14finish the Memory sectionQuentin Carbonneaux
2016-03-14lesser hack to get rid of the css hackQuentin Carbonneaux
2016-03-14add css hack for nicer instruction descriptionsQuentin Carbonneaux
2016-03-14compactify some instruction listsQuentin Carbonneaux
2016-03-14start doc on memory instructionsQuentin Carbonneaux
2016-03-14start description of instructionsQuentin Carbonneaux
2016-03-13do not drop initial indent of Verb blocksQuentin Carbonneaux
2016-03-13rework the types sectionQuentin Carbonneaux
2016-03-13less redundancy in il.htmlQuentin Carbonneaux
2016-03-11BNF Syntax becomes NotationQuentin Carbonneaux
2016-03-11document constantsQuentin Carbonneaux
2016-03-10styleQuentin Carbonneaux
2016-03-10move constant section higherQuentin Carbonneaux