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
2016-04-04 Laurent GeorgetChange how loops are handled, make the analysis much...
2016-03-27 Laurent GeorgetUpdate gitignore
2016-03-27 Laurent GeorgetDocument everything
2016-03-25 Laurent GeorgetOutput statistics
2016-03-25 Laurent GeorgetAdd an argument 'function' for the plugin
2016-03-25 Laurent GeorgetHandle simple casts in constraints
2016-03-25 Laurent GeorgetPrint the paths as they are found
2016-03-25 Laurent GeorgetAdd the DebugMe sink
2016-03-24 Laurent GeorgetFix some predicates with obvious mistakes...
2016-03-24 Laurent GeorgetHandle loops and regular basic blocks differently
2016-03-24 Laurent GeorgetRefactor all the graph walk and the configuration update
2016-03-24 Laurent GeorgetFix the construction of constraints
2016-03-21 Laurent GeorgetRefactor a lot the Evaluator to make the construction...
2016-03-18 Laurent GeorgetMake matchFlow() a predicate looking for a dummy functi...
2016-03-18 Laurent GeorgetAdd the loop structure as a required property
...
heads
4 years ago master