about summary refs log tree commit diff stats
path: root/test/ir (follow)
Commit message (Expand)AuthorAgeFilesLines
* AssignBlockFabrice Desclaux2016-02-261-13/+12
* Symbexec: add apply_expr, taking in account side effectsAjax2016-02-161-1/+5
* z3 translator: fixed regression testsTim Blazytko2016-02-011-6/+9
* z3 translator: added regression tests for bsr and bsfTim Blazytko2016-02-011-0/+15
* smt2_translator: added regression testsTim Blazytko2016-01-051-0/+40
* IR: replace `.g` with a lazy built `.graph`, avoiding the need of `gen_graph`Ajax2015-12-071-104/+66
* IRA: ira parent class is now miasm2.ir.ir::irCamille Mougey2015-12-071-3/+5
* Jitter: remove unused div_op rem_opFabrice Desclaux2015-12-041-4/+0
* 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