projects / kayrebt-pathexaminer2.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
kayrebt-pathexaminer2.git
2016-04-08 Laurent GeorgetHandle pointer constraints (!=,==,...) master origin/HEAD origin/master commit | commitdiff | tree | snapshot
2016-04-04 Laurent GeorgetChange how loops are handled, make the analysis much... commit | commitdiff | tree | snapshot
2016-03-27 Laurent GeorgetUpdate gitignore commit | commitdiff | tree | snapshot
2016-03-27 Laurent GeorgetDocument everything commit | commitdiff | tree | snapshot
2016-03-25 Laurent GeorgetOutput statistics commit | commitdiff | tree | snapshot
2016-03-25 Laurent GeorgetAdd an argument 'function' for the plugin commit | commitdiff | tree | snapshot
2016-03-25 Laurent GeorgetHandle simple casts in constraints commit | commitdiff | tree | snapshot
2016-03-25 Laurent GeorgetPrint the paths as they are found commit | commitdiff | tree | snapshot
2016-03-25 Laurent GeorgetAdd the DebugMe sink commit | commitdiff | tree | snapshot
2016-03-24 Laurent GeorgetFix some predicates with obvious mistakes... commit | commitdiff | tree | snapshot
2016-03-24 Laurent GeorgetHandle loops and regular basic blocks differently commit | commitdiff | tree | snapshot
2016-03-24 Laurent GeorgetRefactor all the graph walk and the configuration update commit | commitdiff | tree | snapshot
2016-03-24 Laurent GeorgetFix the construction of constraints commit | commitdiff | tree | snapshot
2016-03-21 Laurent GeorgetRefactor a lot the Evaluator to make the construction... commit | commitdiff | tree | snapshot
2016-03-18 Laurent GeorgetMake matchFlow() a predicate looking for a dummy functi... commit | commitdiff | tree | snapshot
2016-03-18 Laurent GeorgetAdd the loop structure as a required property commit | commitdiff | tree | snapshot
2016-03-14 Laurent GeorgetAdd a virtual destructor to RichBasicBlock for use... commit | commitdiff | tree | snapshot
2016-03-14 Laurent GeorgetFix the DFS visit and the LoopBasicBlock construction commit | commitdiff | tree | snapshot
2016-03-11 Laurent GeorgetImplement the loop nodes commit | commitdiff | tree | snapshot
2016-03-10 Laurent GeorgetCode the behavior for more types of nodes commit | commitdiff | tree | snapshot
2016-03-04 Laurent GeorgetReintroduce Yices and the constraints commit | commitdiff | tree | snapshot
2016-03-04 Laurent GeorgetInclude backward edges in dfs_visit commit | commitdiff | tree | snapshot
2016-03-02 Laurent GeorgetMove the responsability of dealing with the types of... commit | commitdiff | tree | snapshot
2016-03-02 Laurent GeorgetAdd the Phi nodes in the evaluation of paths commit | commitdiff | tree | snapshot
2016-03-02 Laurent GeorgetSet up most of the algorithm commit | commitdiff | tree | snapshot
2016-02-29 Laurent GeorgetSet up the build chain commit | commitdiff | tree | snapshot
2016-02-29 Laurent GeorgetImplement the construction of the subgraph commit | commitdiff | tree | snapshot
The hopefully correct this time path examiner