e9458b1a7a19a63aa4c179f9ab20f4d50681c168 |
|
25-Mar-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
applied utils/replaceAllHeaders.sh
- all $Header$ tokens in doc comments replaced with corresponding filename |
e24ad3f655daa60ddabe690e4b11de3187996c16 |
|
22-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
moved the IO availability test into the prover and checker records |
142fd5dd7fcfa170f08b2a0ab232859428f6e3c2 |
|
03-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced readProcessWithCode by executeProcess
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17099 cec4b9c1-7d33-0410-9eda-942365e851bb |
bee61fad012aa824636f9ffe5df6494deb8ad58f |
|
02-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13977 cec4b9c1-7d33-0410-9eda-942365e851bb |
f2c9ecaa586248abeabf1d3e689ef9f38866176e |
|
01-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
made timeout more portable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13964 cec4b9c1-7d33-0410-9eda-942365e851bb |
98890889ffb2e8f6f722b00e265a211f13b5a861 |
|
01-Sep-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Added see license.txt to license field
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13959 cec4b9c1-7d33-0410-9eda-942365e851bb |
b87efd3db0d2dc41615ea28669faf80fc1b48d56 |
|
11-Aug-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Changed haddock headers and inserted empty headers for the ones missing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13857 cec4b9c1-7d33-0410-9eda-942365e851bb |
b06c4591505328304ede152a5d517f832c08950a |
|
09-Aug-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
made zchaff behave like minisat and cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13843 cec4b9c1-7d33-0410-9eda-942365e851bb |
720b49a927030cdac234a0dbb3d64b3f1dc704c8 |
|
28-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
fixed #830
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13640 cec4b9c1-7d33-0410-9eda-942365e851bb |
058742b6d5afefcb60de8db85080ef09e1a8cb62 |
|
09-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to fix #561
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13566 cec4b9c1-7d33-0410-9eda-942365e851bb |
74263ad7f0cf1c1fa474dc37b38f680249960d14 |
|
09-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
prepared for minisat2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13564 cec4b9c1-7d33-0410-9eda-942365e851bb |
06a44734a23e4ac9518a305f4056134c9e071f2d |
|
03-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
revert spechub/Hets@8e20240a8adf4ce71806cf94b03599c3e70a5a73 back to Prop2CNF since my cnf fails for propositionalTest.APropP
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13503 cec4b9c1-7d33-0410-9eda-942365e851bb |
1dba61839205ed6882dff6c63295558fe3ebb26f |
|
05-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12964 cec4b9c1-7d33-0410-9eda-942365e851bb |
970835ca7cec4085ba84151d5b901cde934ec8f6 |
|
11-Dec-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
removed duplicated code (timewatch). used timeoutCommand from Common.Utils instead. hlinted files.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12918 cec4b9c1-7d33-0410-9eda-942365e851bb |
f30f834d81e1c294aff8eb2752fd864f6488820d |
|
26-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused genericCMDLautomatic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12853 cec4b9c1-7d33-0410-9eda-942365e851bb |
2f1781ab0a0a58328ef9d1ad8bda1984fd80259d |
|
10-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
only use two states proved consistent or inconsistent
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12816 cec4b9c1-7d33-0410-9eda-942365e851bb |
d1c15b86fa5f1b34ef777ff740a4bc9ae7fd0a54 |
|
03-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored consistency checker interface
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12778 cec4b9c1-7d33-0410-9eda-942365e851bb |
80c2d23821d095b55d9a547f48fc3fcdc27df405 |
|
28-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored consistency checkers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12745 cec4b9c1-7d33-0410-9eda-942365e851bb |
c3f7e132e0c214b755c6c4b485f4748c4dd1595c |
|
26-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed redundant imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12730 cec4b9c1-7d33-0410-9eda-942365e851bb |
3a6decfd748f532d5cb03fbcb7a42fa37b0faab3 |
|
16-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored prover stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12661 cec4b9c1-7d33-0410-9eda-942365e851bb |
6ecf48126b5967bde09dcf74d54bce4bba86f5e3 |
|
22-Jan-2009 |
Markus Gross <Markus.Gross@dfki.de> |
Fixed a bug that the dimacs file was not written because there are '/' in the theory name.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11302 cec4b9c1-7d33-0410-9eda-942365e851bb |
8c918efa912baece0663ab6dd2946abea2eb517b |
|
19-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused searchResult
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11184 cec4b9c1-7d33-0410-9eda-942365e851bb |
983f31c46183d70750222dabd12c4c4c90d3b183 |
|
01-Dec-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
fixed file name bug
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11134 cec4b9c1-7d33-0410-9eda-942365e851bb |
33b8014ebb147f1da8a9211d53f41d412258922a |
|
01-Dec-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11133 cec4b9c1-7d33-0410-9eda-942365e851bb |
1e4b1338cf7a8ce60e98a274e4bfb6f576895166 |
|
01-Dec-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
minisat
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11132 cec4b9c1-7d33-0410-9eda-942365e851bb |
096b9d7877856cc6b0def1e087aac58b33481604 |
|
01-Dec-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
added minisat
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11131 cec4b9c1-7d33-0410-9eda-942365e851bb |