towards supporting scanalysis...
[model-checker.git] / .gitignore
2013-02-12 Brian NorrisMerge branch 'fences'
2013-02-06 Brian NorrisMakefile / git: cleanup generated .dot and .pdf files
2012-12-06 Brian NorrisMakefile: build dependencies in .*.o.d files
2012-10-09 Brian Norris.gitignore: ignore 'benchmarks' folder
2012-09-27 Brian Norrisdocs: move to subdirectory
2012-09-14 Brian NorrisMerge branch 'norris'
2012-09-14 Brian Norris.gitignore: ignore .dot graph files
2012-08-20 Brian NorrisMakefile: rewrite header dependencies
2012-08-17 Brian Norris.gitignore: don't ignore /model anymore
2012-08-11 Brian Norris.gitignore: ignore other vim swap file type
2012-06-21 Subramanian GanapathyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-06-06 Brian Norris.gitignore: ignore docs directory
2012-05-21 Brian Norris.gitignore: fixup bad merge step
2012-05-18 Brian Demskymerging stuff...made need to clean up some stuff.....
2012-05-15 Subramanian GanapathyDefining the interfaces to add various regions to snapshot
2012-05-14 Brian Norris.gitignore: add *~ files
2012-04-24 Brian Norris.gitignore: add *.so
2012-04-16 Brian Norrisrename binary: libthreads -> model
2012-03-09 Brian Norrisadd "make tags" (using `ctags`)
2012-03-08 Brian Norrisadd .gitignore