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 |
c8688ad4b21d19028eed03d3ee7c0c70f51da097 |
|
12-Aug-2015 |
cmaeder <c.maeder@jacobs-university.de> |
extended static analysis |
1a38107941725211e7c3f051f7a8f5e12199f03a |
|
08-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added a bunch of deriving Typeable and Data |
f730570f7c284b252ad2e24cf23cc594021f9e25 |
|
02-Dec-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
read in tptp files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18353 cec4b9c1-7d33-0410-9eda-942365e851bb |
3d3889e0cefcdce9b3f43c53aaa201943ac2e895 |
|
29-Nov-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
removed lots of hlint warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18342 cec4b9c1-7d33-0410-9eda-942365e851bb |
8ad0397be5c5aac150a0c5447d2a8f38e085aeaf |
|
16-Aug-2013 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
negation for SoftFOL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18129 cec4b9c1-7d33-0410-9eda-942365e851bb |
05fa51cf4404b1b8013522026a4f4597cf2f560f |
|
10-May-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
cleanup
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17957 cec4b9c1-7d33-0410-9eda-942365e851bb |
914425f2c2846927aa187964aee6ffb8dad9a2a7 |
|
03-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed triplicate code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13995 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 |
d3c9318c22fcf44d9135a3b2c64f880b9a785bab |
|
13-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added (dummy) positions to symbols and sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12976 cec4b9c1-7d33-0410-9eda-942365e851bb |
16e124196c6b204769042028c74f533509c9b5d3 |
|
26-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
require Ord instances also for signatures and morphism for efficiency reasons
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11438 cec4b9c1-7d33-0410-9eda-942365e851bb |
433bb7cb49200f4e6c7341101da25309e423c0e2 |
|
14-Nov-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored prover template
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11005 cec4b9c1-7d33-0410-9eda-942365e851bb |
a14767aeac3e78ed100f5b75e210ba563ee10dba |
|
24-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
reused the same proof tree
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10890 cec4b9c1-7d33-0410-9eda-942365e851bb |
c2f6729d0a023361c459099eac25bb20f6c37d05 |
|
17-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
only allowed symbols in literals
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9933 cec4b9c1-7d33-0410-9eda-942365e851bb |
56207d3d8820aef00cba6d90139265a9bc7f9c3d |
|
17-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed separate simple terms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9930 cec4b9c1-7d33-0410-9eda-942365e851bb |
37c4e519e6f5f187d22fabe348808704ccffd505 |
|
01-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed problem identifier back to String
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9854 cec4b9c1-7d33-0410-9eda-942365e851bb |
bfe34c9d0a279f8f86eae778b761f32e4788d42d |
|
01-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed SPIdentifier to Token
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9853 cec4b9c1-7d33-0410-9eda-942365e851bb |
3e8a2f62e5b1a188c86b81173529750884faa18e |
|
12-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved SPSetting treatment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8843 cec4b9c1-7d33-0410-9eda-942365e851bb |
25cac686bcbaa116c85d2bb618e709069ab10038 |
|
12-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
further refactored clauses
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8841 cec4b9c1-7d33-0410-9eda-942365e851bb |
dd18739ce1c4216190c66d3cd5d4cd8394292e73 |
|
12-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored SPLiteral
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8838 cec4b9c1-7d33-0410-9eda-942365e851bb |
38170b9a71483e0a477a066109d364de599f7997 |
|
10-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
only moved code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8823 cec4b9c1-7d33-0410-9eda-942365e851bb |
23bcd66b8e03a89fd3a4f67bf760a3ac7f1ab6ab |
|
04-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved special types out of Sign
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8790 cec4b9c1-7d33-0410-9eda-942365e851bb |
842ad298a9666f6de51ec53fabd6a9305b2bf245 |
|
04-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
identifiers may start with digits
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8789 cec4b9c1-7d33-0410-9eda-942365e851bb |
1f7e8d72a6636ba854cb9ab1f96353adc11e5ce9 |
|
04-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
tested clauses and proof steps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8786 cec4b9c1-7d33-0410-9eda-942365e851bb |
e886f76655ea805ae1410610cddce301f930b87a |
|
13-Aug-2007 |
Heng Jiang <jiang@tzi.de> |
add Prover of Darwin;
SPASS-Parser (DFG-Parser) extended with SPASS-INPUT-SYNTAX v3.0
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8592 cec4b9c1-7d33-0410-9eda-942365e851bb |
34bff097c14521b5e57ce37279a34256e1f78aa5 |
|
25-Jul-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
changed maintainer
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8483 cec4b9c1-7d33-0410-9eda-942365e851bb |
d2536530d313ae59aefa2989e25f46f26a1ae9b4 |
|
18-Jul-2007 |
Heng Jiang <jiang@tzi.de> |
adapted new syntax of list_of_settings into Print
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8411 cec4b9c1-7d33-0410-9eda-942365e851bb |
89e9687ab1427723e373996ddb9686f68f5c21ba |
|
16-Jul-2007 |
Heng Jiang <jiang@tzi.de> |
modified the syntax of spass-input with version 1.5; added parser of clauseFormulaRelation, prooflist and settinglist into dfg-parser.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8376 cec4b9c1-7d33-0410-9eda-942365e851bb |
22d0e652c0d53aee6cd0e8799b6a5d2f5cbee837 |
|
10-Jul-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
modified Literals for FOL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8317 cec4b9c1-7d33-0410-9eda-942365e851bb |
f04e8f3ff56405901be968fd4c6e9769239f1a9b |
|
26-Jun-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Renamed almost all files with SPASS into SoftFOL.
Only SoftFOL/Logic_SPASS remains.
It will be updated very soon.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8150 cec4b9c1-7d33-0410-9eda-942365e851bb |