~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2015-04-09	Normalised line endings	Cristian Cadar

2010-05-02	Add a little hack for visualizing KLEE branching.	Daniel Dunbar
	- This consumes the treestream files produced with --write-paths or --write-sym-paths, and renders out the tree in a very ad-hoc funky way. Your mileage may vary! :) Example image: http://klee.llvm.org/data/treegraph_example.jpg Example movie: http://klee.llvm.org/data/treegraph_example.avi git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@102869 91177308-0d34-0410-b5e6-96231b3b80d8
2009-06-27	emacs .pc mode: Numbers should be recognized before identifiers	Daniel Dunbar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@74365 91177308-0d34-0410-b5e6-96231b3b80d8
2009-06-14	Fixup syntax coloring for emacs .pc mode.	Daniel Dunbar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73344 91177308-0d34-0410-b5e6-96231b3b80d8
2009-06-08	Add some query logs in utils/data/Queries (for 3 and 4 byte pcregrep)	Daniel Dunbar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73057 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-21	Initial KLEE checkin.	Daniel Dunbar
	- Lots more tweaks, documentation, and web page content is needed, but this should compile & work on OS X & Linux. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72205 91177308-0d34-0410-b5e6-96231b3b80d8