Fabrice Desclaux
|
287cb1bb18
|
All: rename vars bloc -> block
|
2017-03-13 14:13:13 +01:00 |
|
Fabrice Desclaux
|
c3940991f2
|
IR: rename blocs to blocks
|
2017-03-13 14:13:09 +01:00 |
|
Fabrice Desclaux
|
d8cbc05965
|
IR/Symbexec: rename symbexec to SymbolicExecutionEngine
|
2017-03-13 13:56:26 +01:00 |
|
Ajax
|
308a634b7c
|
IR: replace .g with a lazy built .graph, avoiding the need of gen_graph
|
2015-12-07 11:15:43 +01:00 |
|
Ajax
|
b4114c3e78
|
Example: move output .txt to .dot
|
2015-11-09 15:01:12 +01:00 |
|
Ajax
|
039c2ca9d9
|
GraphDataflow: A function where never executed / tested
|
2015-04-30 19:12:43 +02:00 |
|
Ajax
|
7c4b58d2fb
|
GraphDataflow: Refactor, PyLinting
|
2015-04-30 19:12:36 +02:00 |
|
Ajax
|
b853add3ef
|
GraphDataflow: update API
|
2015-04-30 19:12:25 +02:00 |
|
Camille Mougey
|
2bc1d7810d
|
Expression examples: Rename examples with meaningfull names
|
2014-09-19 13:58:03 +02:00 |
|