about summary refs log tree commit diff stats
path: root/test (follow)
Commit message (Expand)AuthorAgeFilesLines
* Test/simplification: add cmpx regression testsserpilliere2015-07-291-0/+33
* Test/sem: add daa/dasFabrice Desclaux2015-07-293-0/+184
* Test/Expression: add regression test for shift/sliceFabrice Desclaux2015-07-231-0/+8
* X86/Test: add stack unit testserpilliere2015-07-202-0/+61
* X86/test: update arch regression testsserpilliere2015-07-201-6/+60
* test/simplification: reg testserpilliere2015-07-101-0/+2
* Merge pull request #175 from serpilliere/add_simp_sliceCamille Mougey2015-06-111-1/+52
|\
| * Test: add simplification regressionFabrice Desclaux2015-06-051-1/+52
* | Test/Graph: extended regression tests for g2Tim Blazytko2015-06-021-0/+7
* | DiGraph: fixed order in dominance_frontierTim Blazytko2015-06-021-4/+8
* | Tests/graph: extended regression testsTim Blazytko2015-06-021-1/+41
|/
* Test/Graph: add regression tests for walk_dominator/walk_postdominatorFabrice Desclaux2015-06-021-0/+36
* TestAll: Update disasm 'file.py' example addressAjax2015-05-271-1/+1
* Merge pull request #157 from commial/enhance-graphdataflowserpilliere2015-05-021-4/+5
|\
| * GraphDataflow: A function where never executed / testedAjax2015-04-301-4/+5
* | TestAll: Coverage mode was brokenAjax2015-04-302-1/+2
|/
* IR: Compliance to python coding conventionsCaroline Leman2015-04-291-350/+390
* IR: Regression test integrationCaroline Leman2015-04-292-12/+15
* IR: Improve dead code eliminationCaroline Leman2015-04-291-0/+680
* DepGraph: Avoid failing if z3 is not presentAjax2015-04-281-4/+4
* Example: Add an example "rename-args" argument for depgraphAjax2015-04-281-1/+1
* Merge pull request #150 from serpilliere/fix_uintCamille Mougey2015-04-261-1/+4
|\
| * Test: add intmod regressionserpilliere2015-04-251-1/+4
* | Merge pull request #149 from commial/sembuilderserpilliere2015-04-241-5/+32
|\ \ | |/ |/|
| * SemBuilder: Introduce the 'if cond' statement, building a new IRBlockAjax2015-04-241-2/+26
| * SemBuilder: Add `('X' % Y)(Z) -> ExprOp('X' % Y, Z)` and `('X')(Y) -> ExprOp(...Ajax2015-04-231-3/+6
* | Depgraph: Add a new example `depgraph` calling DepGraph with optionsAjax2015-04-241-0/+9
* | TestAll: Bad productAjax2015-04-241-1/+0
* | TestDepgraph: Bad counter name (credits C. Leman)Ajax2015-04-241-3/+4
|/
* Merge pull request #147 from commial/printable_semserpilliere2015-04-222-0/+26
|\
| * SemBuilder: Handle real variable declarationAjax2015-04-221-0/+3
| * Core: Introduce SemBuilder, a helper for building semantics side effectsAjax2015-04-222-0/+23
* | Jitter: Factorize common cpu attributes in JitCpu; Update APIs in consequenceserpilliere2015-04-221-2/+2
* | Test: add regression test for automod codeserpilliere2015-04-221-1/+1
|/
* Test: add expression reg testFabrice Desclaux2015-04-082-0/+8
* Merge pull request #138 from commial/test-do-not-supprserpilliere2015-04-022-13/+25
|\
| * TestAll: missing products for DepGraphAjax2015-04-021-1/+2
| * TestAll: Add a "do-not-clean" optionAjax2015-04-022-3/+14
| * TestSet: `Message*` must inherited from `Message`Ajax2015-04-021-3/+3
| * TestSet: Some methods should be protectedAjax2015-04-021-7/+7
* | Interval: fix contains; updt reg testsFabrice Desclaux2015-04-021-0/+1
* | Cpu: modify instructions' offset relative encodingFabrice Desclaux2015-04-014-35/+38
* | Clean: remove unecessary ast_parser modificationFabrice Desclaux2015-04-011-12/+0
* | Asmbloc: updt asmbloc apiFabrice Desclaux2015-04-012-5/+3
|/
* Translator: remove the mess with z3, and update Z3 translators and examplesAjax2015-03-241-2/+2
* Translator: Update usesAjax2015-03-241-7/+8
* Test/simplification: add reg test against multiplication simplificationFabrice Desclaux2015-03-241-0/+3
* Test/simplification: reg test reference must not be expr_simp to match resultFabrice Desclaux2015-03-241-7/+6
* 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