about summary refs log tree commit diff stats
path: root/test (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | | Remove the optionnal 'size' argument form, use pointer equality to speed up comparision
* analysis: Introduction of use-definition chainsCaroline Leman2017-03-292-66/+71
| | | | | | - previous dead_simp function has been moved to data_flow.py - ira class has been simplified - reach analysis code has been 'clarified'
* 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
|\ | | | | Feature/expr range
| * Add regression tests for expr_range, based on z3Ajax2017-02-222-0/+99
| |
| * Add regression tests for ModularIntervalsAjax2017-02-172-0/+150
| | | | | | | | | | | | Some of the tests are deactivated, because they took too much time. These tests have been fully run, and one can choose to only actiavte a subset of them
| * 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
|/
* Merge pull request #494 from serpilliere/expression_reducerCamille Mougey2017-02-131-0/+1
|\ | | | | Expression: add ExprReduce
| * Expression: add ExprReduceFabrice Desclaux2017-02-131-0/+1
| |
* | Core/cpu: change ParseAst nameFabrice Desclaux2017-02-134-5/+5
|/
* Add a tracer exampleAjax2017-02-061-0/+2
|
* X86: add pslldqFabrice Desclaux2017-02-031-0/+3
|
* X86: fix rex_r in reg argsFabrice Desclaux2017-02-031-0/+8
|
* Add regression test for CPUID supportAjax2017-02-022-0/+22
|
* Add a only-tags option for test_allAjax2017-01-142-31/+51
|
* Merge pull request #476 from commial/fix/repr-exprserpilliere2017-01-141-0/+14
|\ | | | | Fix/repr expr
| * Expr: test that repr permit instanciationAjax2017-01-131-0/+14
| |
* | Merge pull request #477 from commial/fix/divisionserpilliere2017-01-141-1/+14
|\ \ | | | | | | Fix/division
| * | Modint: add tests for big intAjax2017-01-131-0/+9
| | |
| * | Div: fix modint operationAjax2017-01-131-1/+5
| |/
* | Merge pull request #473 from serpilliere/Fix_max_exec_self_loopCamille Mougey2017-01-121-16/+15
|\ \ | |/ |/| Fix max exec self loop
| * Jit: update example max execFabrice Desclaux2017-01-121-16/+15
| |
* | DepGraph: Add emul regression testsFabrice Desclaux2017-01-094-0/+13
|/
* Merge pull request #471 from commial/feature/llvm-cacheserpilliere2017-01-064-3/+105
|\ | | | | Feature/llvm cache
| * Test/jitter for each jitter engineAjax2017-01-064-11/+9
| |
| * Add a test for jit_maxline optionAjax2017-01-061-0/+22
| |
| * Add a test for max_exec_per_call optionAjax2017-01-062-0/+82
| |