about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #348 from a-vincent/fix_getbitsCamille Mougey2016-04-051-2/+3
|\
| * fix bin_stream.getbits()Aymeric Vincent2016-04-051-2/+3
|/
* Merge pull request #347 from serpilliere/dg_has_loopCamille Mougey2016-03-234-5/+33
|\
| * Depgraph: use has_loop algorithm to spot data flow loops; fix reg testFabrice Desclaux2016-03-233-5/+5
| * Core/Graph: add loop testFabrice Desclaux2016-03-231-0/+28
* | Merge pull request #345 from serpilliere/loader_structCamille Mougey2016-03-231-46/+34
|\ \
| * | OS_Dep/Win_seh: fix link list entriesFabrice Desclaux2016-03-231-46/+34
| |/
* | Merge pull request #346 from commial/refactor-disasmEngineserpilliere2016-03-232-221/+233
|\ \ | |/ |/|
| * Comment disasmEngineAjax2016-03-231-6/+60
| * Move dis_bloc and dis_bloc_all into disasmEngine as methodAjax2016-03-231-199/+153
| * JitCore: update disbloc signature (and docstring)Ajax2016-03-231-3/+6
| * JitCore: use the disasmEngine instead f a direct call to dis_bloc internalsAjax2016-03-231-13/+15
| * Fix Jitload `load` signature in abstract methodAjax2016-03-231-3/+2
| * disasmEngine bin_stream argument must be providedAjax2016-03-231-4/+4
|/
* Merge pull request #341 from serpilliere/dg_track_reg_lower_caseCamille Mougey2016-03-223-4/+7
|\
| * Example/Depgraph: allow lower/upper register trackingFabrice Desclaux2016-03-223-4/+7
|/
* Merge pull request #340 from commial/ELF-symbolsserpilliere2016-03-213-2/+35
|\
| * Introduce Container.symbol_pool, containing container symbols (if any)Ajax2016-03-213-2/+35
|/
* Merge pull request #339 from serpilliere/new_depgraph_mod_fix01Camille Mougey2016-03-2141-1426/+1141
|\
| * Test/Depgraph: add DG emulation regression testsFabrice Desclaux2016-03-2135-0/+227
| * Example/Depgraph: add JSON outputFabrice Desclaux2016-03-211-8/+31
| * DependencyGraph: emul minimum effectsFabrice Desclaux2016-03-211-20/+29
| * Example/dg: fix print solutionsFabrice Desclaux2016-03-211-2/+5
| * Depgraph: updt apiFabrice Desclaux2016-03-214-32/+39
| * Test/depgraph: use z3 to remove unsatisfiable solutionsFabrice Desclaux2016-03-172-1/+27
| * Depgraph: implicit emulFabrice Desclaux2016-03-172-4/+112
| * Test/depgraph: autopepFabrice Desclaux2016-03-171-28/+29
| * Test/Depgraph: updt testsFabrice Desclaux2016-03-171-740/+556
| * Depgraph: simplified algorithmFabrice Desclaux2016-03-171-680/+175
|/
* Merge pull request #337 from commial/expr_possibleserpilliere2016-03-172-0/+164
|\
| * Add regression test for `possible_values`Ajax2016-03-171-0/+40
| * Introduce `possible_values` helperAjax2016-03-171-0/+124
|/
* Merge pull request #336 from serpilliere/asmcfg_pendingCamille Mougey2016-03-162-2/+36
|\
| * Asmcfg: add reg testFabrice Desclaux2016-03-161-2/+28
| * Core/asmbloc: remove pending on block splitserpilliere2016-03-151-0/+8
* | Merge pull request #334 from mrphrazer/fix_smt2translatorserpilliere2016-03-152-1/+7
|\ \
| * | translator: fixed init of smt2 translatorTim Blazytko2016-03-131-0/+1
| * | smt2 translator: added model generation flagTim Blazytko2016-03-131-1/+6
| |/
* | Merge pull request #335 from serpilliere/x86_sal_shlCamille Mougey2016-03-154-23/+2
|\ \ | |/ |/|
| * X86/sem: autopep8serpilliere2016-03-131-1/+1
| * Remove dummy operatorserpilliere2016-03-133-5/+0
| * X86/sem: sal is shlserpilliere2016-03-131-17/+1
|/
* Merge pull request #331 from a-vincent/fix_block_splitserpilliere2016-03-091-1/+1
|\
| * Fix range checking when splitting blocks.Aymeric Vincent2016-03-091-1/+1
* | Merge pull request #332 from commial/block_merge_speedupserpilliere2016-03-091-1/+10
|\ \ | |/ |/|
| * Speed up _block_mergeAjax2016-03-091-1/+10
|/
* Merge pull request #330 from serpilliere/assignblockCamille Mougey2016-02-2618-480/+485
|\
| * x86/sem: fix bad returnFabrice Desclaux2016-02-261-4/+4
| * Dead_simp: rename and remove intermediate variablesCamille Mougey2016-02-262-29/+36
| * Move dead_simp structures into AssignBlockCamille Mougey2016-02-262-72/+59