config/configt required for WIN32

Release 1.4.1: re-enabled constant propagation

git-svn-id: https://sorr.dbai.tuwien.ac.at/repos/fshell/trunk@449 740c81f5-4728-4b1f-bc77-cf82a461b733

Release 1.4

git-svn-id: https://sorr.dbai.tuwien.ac.at/repos/fshell/trunk@445 740c81f5-4728-4b1f-bc77-cf82a461b733

Cleanup bugfix in CBMC source

git-svn-id: https://sorr.dbai.tuwien.ac.at/repos/fshell/trunk@429 740c81f5-4728-4b1f-bc77-cf82a461b733

Release 1.2

git-svn-id: https://svn.forsyte.informatik.tu-darmstadt.de/svn/fshell/trunk@399 740c81f5-4728-4b1f-bc77-cf82a461b733

Release 1.1.1

git-svn-id: https://svn.forsyte.informatik.tu-darmstadt.de/svn/fshell/trunk@373 740c81f5-4728-4b1f-bc77-cf82a461b733

Release 1.1

git-svn-id: https://svn.forsyte.informatik.tu-darmstadt.de/svn/fshell/trunk@366 740c81f5-4728-4b1f-bc77-cf82a461b733

Use includes from build tree, not necessarily source tree

- astl might not have been unpacked in source tree
- for consistency also do this with minisat


git-svn-id: https://svn.forsyte.informatik.tu-darmstadt.de/svn/fshell/trunk@338 740c81f5-4728-4b1f-bc77-cf82a461b733