about summary refs log tree commit diff stats
path: root/test/ir (follow)
Commit message (Expand)AuthorAgeFilesLines
* Test/ir: updt regression testserpilliere2015-07-311-1/+1
* IR: Compliance to python coding conventionsCaroline Leman2015-04-291-350/+390
* IR: Regression test integrationCaroline Leman2015-04-291-12/+10
* IR: Improve dead code eliminationCaroline Leman2015-04-291-0/+680
* Jitter: Factorize common cpu attributes in JitCpu; Update APIs in consequenceserpilliere2015-04-221-2/+2
* Translator: remove the mess with z3, and update Z3 translators and examplesAjax2015-03-241-2/+2
* Translator: Update usesAjax2015-03-241-7/+8
* TranslatorZ3: Better handling of asm_labels (translating to BitVecVal when po...Florent Monjalet2015-03-241-1/+7
* TranslatorZ3: Fixed from_ExprId when expr.name is an asmlabelFlorent Monjalet2015-03-241-0/+6
* TranslatorZ3: Fixed parity semanticFlorent Monjalet2015-03-241-1/+3
* TranslatorZ3: Handling 'parity' and '-' unary operators, and raising errors p...Florent Monjalet2015-03-231-0/+16
* X86: add regression tests for bsf/bsrFabrice Desclaux2015-02-201-1/+1
* Added TranslatorZ3 to the Miasm test suite.Florent Monjalet2015-01-231-0/+123
* Test: Update API of ir2C testCamille Mougey2014-12-141-35/+45
* Modify irbloc destination mecanism. Rework API in consequence.Fabrice Desclaux2014-09-051-2/+2
* Miasm v2serpilliere2014-06-032-0/+118