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 |
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 |
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 |
5e0f65b503c42660e798eb2fa57e7e3e6111a77f |
|
11-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow more breaks
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10475 cec4b9c1-7d33-0410-9eda-942365e851bb |
a04f5fc894c876fb0a8b108e1e898d9bd130c341 |
|
11-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added final dot to formula
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10474 cec4b9c1-7d33-0410-9eda-942365e851bb |
84933d742dc5bcf760653b5d1784e00cee342032 |
|
01-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced {-| with {- |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10424 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 |
a2aca2b98eaa6be286a066df3bd55c6504e46e07 |
|
01-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed wrong show call
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9859 cec4b9c1-7d33-0410-9eda-942365e851bb |
a558f62efc3526d426481c9f839928edb3413b6e |
|
01-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
deleted trailing whitespace
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9857 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 |
d8ba2f61ebf28b57712522df821739b2dc29d02b |
|
07-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
more breaks in formulas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8809 cec4b9c1-7d33-0410-9eda-942365e851bb |
d34e90a9b594f6fb5ec2aa71b26c968ca13943a2 |
|
07-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added blanks or break after commas and corrected constant string (that should be shared anyway)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8808 cec4b9c1-7d33-0410-9eda-942365e851bb |
f1bd301aff1cdffba15e9ffeed3f70f61b28c339 |
|
07-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
more corrections
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8807 cec4b9c1-7d33-0410-9eda-942365e851bb |
4656b7d6982294f31fca371d567f54e3ae3a68b8 |
|
04-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
wibble
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8794 cec4b9c1-7d33-0410-9eda-942365e851bb |
676a5da3f4d1b022d8efc96909c149458a69724e |
|
04-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved Conversion and checked for empty senAttr
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8792 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 |
08fc814c4d5ceb1e4821b0abae45a4cd08fea6bc |
|
04-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
made list of symbols more readable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8788 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 |
135bcb7f65991146c103e5e7599adbc49fe7359d |
|
16-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced senName with senAttr
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8627 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 |
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 |