git.unchartedbackwaters.co.uk Git - francis/stp.git/commit

]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit

author	vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
	Thu, 3 Sep 2009 19:22:47 +0000 (19:22 +0000)
committer	vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
	Thu, 3 Sep 2009 19:22:47 +0000 (19:22 +0000)
commit	9a639ab1fea939f864d201197fe3c41c36da506e
tree	1c00dafbcdd9d8c2b9da91bfeb39e452e1e44d3e	tree \| snapshot
parent	363ba29e764bdeebf3febe99ed718f5385333964	commit \| diff

added scripts to do emacs formatting

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@174 e59a4935-1847-0410-ae03-e826735625c1

26 files changed:

scripts/emacs-format-file	[new file with mode: 0644]	blob
scripts/emacs-format.sh	[new file with mode: 0755]	blob
src/AST/AST.cpp		diff \| blob \| history
src/AST/AST.h		diff \| blob \| history
src/AST/ASTUtil.cpp		diff \| blob \| history
src/AST/ASTUtil.h		diff \| blob \| history
src/AST/AbstractionRefinement.cpp		diff \| blob \| history
src/AST/BitBlast.cpp		diff \| blob \| history
src/AST/SimpBool.cpp		diff \| blob \| history
src/AST/ToCNF.cpp		diff \| blob \| history
src/AST/ToSAT.cpp		diff \| blob \| history
src/AST/Transform.cpp		diff \| blob \| history
src/AST/asttest.cpp		diff \| blob \| history
src/AST/bbtest.cpp		diff \| blob \| history
src/AST/cnftest.cpp		diff \| blob \| history
src/bitvec/consteval.cpp		diff \| blob \| history
src/c_interface/c_interface.cpp		diff \| blob \| history
src/c_interface/c_interface.h		diff \| blob \| history
src/c_interface/fdstream.h		diff \| blob \| history
src/constantbv/constantbv.cpp		diff \| blob \| history
src/constantbv/constantbv.h		diff \| blob \| history
src/parser/let-funcs.cpp		diff \| blob \| history
src/parser/main.cpp		diff \| blob \| history
src/simplifier/bvsolver.cpp		diff \| blob \| history
src/simplifier/bvsolver.h		diff \| blob \| history
src/simplifier/simplifier.cpp		diff \| blob \| history

STP Constraint Solver.

RSS Atom