about summary refs log tree commit diff stats
path: root/example/symbol_exec (follow)
Commit message (Expand)AuthorAgeFilesLines
* Example/Depgraph: allow lower/upper register trackingFabrice Desclaux2016-03-221-1/+1
* Example/Depgraph: add JSON outputFabrice Desclaux2016-03-211-8/+31
* Example/dg: fix print solutionsFabrice Desclaux2016-03-211-2/+5
* Test/depgraph: autopepFabrice Desclaux2016-03-171-28/+29
* IR: replace `.g` with a lazy built `.graph`, avoiding the need of `gen_graph`Ajax2015-12-071-3/+0
* Example/SymbolExec: write code more arch-independentAjax2015-11-091-16/+14
* Example/SymbolExec: enhance and commentAjax2015-11-091-15/+27
* In interactive use, allow C-like prefixes to choose the base of integersAymeric Vincent2015-10-271-2/+2
* Example: Add an example "rename-args" argument for depgraphAjax2015-04-281-2/+15
* DepGraph: Introduce implicit result management, with constraint solving APIAjax2015-04-281-0/+8
* Depgraph: Add a new example `depgraph` calling DepGraph with optionsAjax2015-04-241-0/+77
* Example: Rename symbol_exec to single_instr in a specific symbol_exec directoryCamille Mougey2015-01-231-0/+31