cdcf5d3f1e79d8798d77efa29e6193af94ea0604 |
|
14-Oct-2017 |
Till Mossakowski <till@iws.cs.ovgu.de> |
adjusted stabilities |
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 |
dc48a60a45c68ea488561416c8f723df5639875c |
|
26-Nov-2015 |
Till Mossakowski <till@communtu.de> |
added correct types for symbols, using the signature |
79ce6bbddf1a29383df321896655e5a5e8db52f9 |
|
26-Nov-2015 |
Till Mossakowski <till@communtu.de> |
first try of fixing #1546 for SoftFOL, but without correct symbol types |
c8688ad4b21d19028eed03d3ee7c0c70f51da097 |
|
12-Aug-2015 |
cmaeder <c.maeder@jacobs-university.de> |
extended static analysis |
06883ac1d9999098ffb26e6f916fab1ff9d5fe63 |
|
18-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
make it work without #ifdef UNIPACKAGE |
e24ad3f655daa60ddabe690e4b11de3187996c16 |
|
22-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
moved the IO availability test into the prover and checker records |
7b336a27b56727a0f016ba99abe635a1f488ace9 |
|
23-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to new Hyper-1.0 using old ekrh link to binary
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18579 cec4b9c1-7d33-0410-9eda-942365e851bb |
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 |
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 |
a65c6747c9acbbebc93baba7bae94d2e3d8cdafb |
|
03-May-2013 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added symbol parser, for use in correspondences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17942 cec4b9c1-7d33-0410-9eda-942365e851bb |
e7c56dd52801632f689ad0986bbae26505d67d7c |
|
22-Dec-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow compilation without the HTTP package
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16572 cec4b9c1-7d33-0410-9eda-942365e851bb |
ca6438edcc850fbfa4e176c278bd337bb8dd444c |
|
21-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added leo and cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16362 cec4b9c1-7d33-0410-9eda-942365e851bb |
bd6052142b024b1c88ce2b4e10c1777ab79c9d83 |
|
21-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added eprover directly
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16359 cec4b9c1-7d33-0410-9eda-942365e851bb |
55cf6e01272ec475edea32aa9b7923de2d36cb42 |
|
04-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
ghc-7.2 requires language with flexible instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15876 cec4b9c1-7d33-0410-9eda-942365e851bb |
d9709c3c12f954c8bb60db068a1eea8f156011a8 |
|
10-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added darwin consistency checker without (usually better) finite domain option
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14047 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 |
553eb35550099af36ac941010a3291c751a92801 |
|
30-Aug-2010 |
Franz Koenig <koenigfs@informatik.uni-bremen.de> |
added the prover metis to SoftFOL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13949 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 |
8fce4253be9c76f2b0532f318e592f31e3089288 |
|
09-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added e-darwin
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13553 cec4b9c1-7d33-0410-9eda-942365e851bb |
8a77240a809197c92c0736c431b4b88947a7bac1 |
|
02-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added some LANGUAGE pragmas for haddock
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13490 cec4b9c1-7d33-0410-9eda-942365e851bb |
bdf2e01977470bedcb4425e2dadabc9e9f6ba149 |
|
16-Apr-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
replaced the result type of sym_of in Logic by List of set of symbol. See also revision 13301 for the previous change.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13348 cec4b9c1-7d33-0410-9eda-942365e851bb |
eaf02872307b4578250fbeb9dc371cac177b0924 |
|
08-Apr-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
replaced the result type of sym_of in Logic by List of symbol. Repaired all implementations of this interface function.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13301 cec4b9c1-7d33-0410-9eda-942365e851bb |
6c6d2a6f4311ec0548fcbbf8b4a77ed05d57fcda |
|
31-Mar-2010 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
now with e-krh consistency checker... but it sucks
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13283 cec4b9c1-7d33-0410-9eda-942365e851bb |
7c5b9e36788476b052a83f4c815f956a507139ab |
|
31-Mar-2010 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
hyperhyper is working
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13282 cec4b9c1-7d33-0410-9eda-942365e851bb |
d56ece59c372cb887355825901222b9f3377f7e6 |
|
13-Nov-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Gtk consistency checker was broken, fixed. removed all warnings from building hets with and without Gtk and or HTk. fixed bugs from my last commit when building without Gtk and or HTk. One bug still remaining in consistency checker when pressing invert, i am trying to fix it now.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12833 cec4b9c1-7d33-0410-9eda-942365e851bb |
2665d7759e63acff0bcd4135678f2cc6f2041d46 |
|
21-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched from OPTIONS to LANGUAGE pragma
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12478 cec4b9c1-7d33-0410-9eda-942365e851bb |
a7be28e157e9ceeec73a8fd0e642c36ea29d4218 |
|
26-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-added a separate subsig test to allow building inlusions more efficiently
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11439 cec4b9c1-7d33-0410-9eda-942365e851bb |
b245066d98c5dc97fbbaed711b9eb5a94da55d5b |
|
03-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
made it run without mathserve
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11141 cec4b9c1-7d33-0410-9eda-942365e851bb |
899f477679e6da34a847ac2f85632b2687bb75f7 |
|
01-Dec-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
provers are now only shown if available
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11130 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 |
d5fe06af711a6912ae028ebf873eada4ee8733f8 |
|
23-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced umlaut in Luettich
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10718 cec4b9c1-7d33-0410-9eda-942365e851bb |
3df62855407557d42ee0caa1e7d4cd2a2f53f75b |
|
25-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed sign_to_basic_spec
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10392 cec4b9c1-7d33-0410-9eda-942365e851bb |
48ac1f7da3ecc1cbbed28c1f055637e264eeb3e8 |
|
25-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow to exclude the Math Server
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10194 cec4b9c1-7d33-0410-9eda-942365e851bb |
20726b92eefa84d136097e5bd2bc675b22195b26 |
|
18-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed loop between is_subsig and inclusion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9940 cec4b9c1-7d33-0410-9eda-942365e851bb |
4c7f058cdd19ce67b2b5d4b7f69703d0f8a21e38 |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored class Category
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9797 cec4b9c1-7d33-0410-9eda-942365e851bb |
5c4bac169b47c39f9d0477a42da39b179091f723 |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added inclusion flag to default morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9796 cec4b9c1-7d33-0410-9eda-942365e851bb |
6155ffd7d005f443d69067fc50f17134887e9e6b |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed is_subsig to a global function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9795 cec4b9c1-7d33-0410-9eda-942365e851bb |
7fbf12fecc1b24b2ed48de3ec12a7a7e6072ca92 |
|
26-Nov-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
renamed Prove to ProveSPASS
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9247 cec4b9c1-7d33-0410-9eda-942365e851bb |
7fd4c34af8415eb699517b1b238a24c02a9a2e9b |
|
21-Nov-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
added darwin as model finder
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9224 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 |
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 |
2eeec5240b424984e3ee26296da1eeab6c6d739e |
|
23-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced @tzi with @informatik.uni-bremen
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8698 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 |
54e0c28a33990a0b3da7a892c169f9e867faa47a |
|
26-Jun-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Renaming of SPASS into SoftFOL on the level of Modules/Files completed.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8151 cec4b9c1-7d33-0410-9eda-942365e851bb |