about summary refs log tree commit diff stats
path: root/test (follow)
Commit message (Expand)AuthorAgeFilesLines
* Add a regression test for DIV 128bitsAjax2017-06-273-0/+29
* Expression: add an Expression parserFabrice Desclaux2017-06-142-0/+17
* Add a new simplification: {@X[base + i] 0 X, @Y[base + i + X] X (X + Y)} => @...Ajax2017-06-011-0/+5
* Test/X86: add push/pop regression testsFabrice Desclaux2017-05-171-1/+194
* Merge pull request #553 from commial/feature/symbexec-assignblkserpilliere2017-05-101-0/+4
|\
| * Use and tiny test of .as_assignblock() behaviorAjax2017-05-091-0/+4
* | Fix products filesAjax2017-05-091-15/+18
|/
* Add .items API to AssignBlockAjax2017-04-271-0/+1
* Remove absolute sys.pathAjax2017-04-241-3/+0
* Remove PYTHONSTARTUP in end-user scriptsAjax2017-04-246-35/+2
* Merge pull request #536 from commial/refactor/gcc-default-jitterserpilliere2017-04-211-3/+5
|\
| * Introduce a GCC tests, to let no TCC installs able to run more testsAjax2017-04-211-3/+5
* | Remove deprecated use of MatchExprAjax2017-04-211-17/+17
|/
* Example: add irblock simplification exampleFabrice Desclaux2017-04-211-3/+6
* Merge pull request #518 from commial/feature/dseserpilliere2017-04-214-3/+120
|\
| * Add regression test for DSE on lbl_genAjax2017-04-182-0/+100
| * Add an example illustrating DSEAjax2017-04-181-0/+11
| * TestAll: add support for other executableAjax2017-04-182-3/+9
* | Add regression test for AssignBlockAjax2017-04-202-0/+47
* | IRBlock: move lines in AssignBlockFabrice Desclaux2017-04-202-5/+3
* | Ir: make AssignBlock immutableFabrice Desclaux2017-04-202-3/+5
|/
* Jitter: regression test for post instrFabrice Desclaux2017-04-182-0/+47
* Tests: run md5_aarch64l from the very beginningAjax2017-04-061-1/+2
* Introduce Sandbox.call, for direct function callingAjax2017-04-061-0/+1
* MD5_arm: run from the very beginningAjax2017-04-061-1/+1
* Add regression test for command-line/env support in SandboxAjax2017-04-067-0/+52
* Introduce a naive "System V" calling conventionAjax2017-04-061-4/+4
* Aarch64: fix ldrFabrice Desclaux2017-04-061-1/+7
* Expr: fix singleton; add reg testFabrice Desclaux2017-03-312-0/+67
* Update regression tests fo ModularIntervals mulAjax2017-03-302-0/+12
* Replace ExprInt[num](x) -> ExprInt(x, num)Ajax2017-03-3012-271/+269
* Let ExprInt always use its Singleton capabilitiesAjax2017-03-301-20/+20
* analysis: Introduction of use-definition chainsCaroline Leman2017-03-292-66/+71
* Core/asmbloc: move asmbloc to asmblockFabrice Desclaux2017-03-1311-15/+15
* Asmbloc: rename asm_constraint[to/next] to AsmConstraint[To/Next]Fabrice Desclaux2017-03-131-8/+8
* Asmbloc: rename asm_constraint to AsmConstraintFabrice Desclaux2017-03-131-9/+9
* Asmbloc: rename asm_label to AsmLabelFabrice Desclaux2017-03-135-36/+36
* Asmbloc: rename asm_block_bad to AsmBlockBadFabrice Desclaux2017-03-131-3/+3
* Asmbloc: rename asm_bloc to AsmBlockFabrice Desclaux2017-03-131-8/+8
* All: rename vars bloc -> blockFabrice Desclaux2017-03-134-12/+12
* IR: rename blocs to blocksFabrice Desclaux2017-03-132-90/+90
* IR/ir: rename ir to IntermediateRepresentationFabrice Desclaux2017-03-131-1/+1
* IR/ir: rename irbloc to IRBlockFabrice Desclaux2017-03-132-241/+241
* IR/Symbexec: rename symbexec to SymbolicExecutionEngineFabrice Desclaux2017-03-134-11/+11
* Merge pull request #496 from commial/feature/expr_rangeserpilliere2017-02-224-0/+253
|\
| * Add regression tests for expr_range, based on z3Ajax2017-02-222-0/+99
| * Add regression tests for ModularIntervalsAjax2017-02-172-0/+150
| * Interval: add .length computationAjax2017-02-131-0/+4
* | Test: add access_c/expr_c exampleFabrice Desclaux2017-02-171-0/+19
* | Tests: add asm humanFabrice Desclaux2017-02-171-0/+4
|/