projects / kayrebt-pathexaminer2.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

 
descriptionThe hopefully correct this time path examiner
ownerLaurent Georget
last changeFri, 8 Apr 2016 08:23:02 +0000 (10:23 +0200)
shortlog
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
...
heads
4 years ago master shortlog | log | tree
The hopefully correct this time path examiner