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 |
c698ca3d47b105a82ec1f19e8c6bc29ab1d1b63d |
|
12-Mar-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
generalized
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17797 cec4b9c1-7d33-0410-9eda-942365e851bb |
ed3a4d61e64742a74eee093bec44f7df7e8de47d |
|
02-Oct-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
speed up simplification
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17469 cec4b9c1-7d33-0410-9eda-942365e851bb |
94e112d16f89130a688db8b03ad3224903f5e97e |
|
04-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored CASL formulas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17288 cec4b9c1-7d33-0410-9eda-942365e851bb |
ccd28c25c1aee73a195053e677eca17e20917d84 |
|
28-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored printing of formula extensions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14815 cec4b9c1-7d33-0410-9eda-942365e851bb |
c8ecc5578d32b222f35b625d4dfe7a3fd8bb4173 |
|
25-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added support for boolean FPL terms as formulas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14637 cec4b9c1-7d33-0410-9eda-942365e851bb |
a208edf329751a734895216ad5b0e334a9ac6a44 |
|
18-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added simplification for FPL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14588 cec4b9c1-7d33-0410-9eda-942365e851bb |
e00f5b4d89ac027e883461aab6248e33ad10ae8e |
|
18-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended sort of term computation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14584 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 |
dade808234103ea180fa5a2457f2ee8ff76c8e1d |
|
03-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
consider SOL formulas and hlinted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12405 cec4b9c1-7d33-0410-9eda-942365e851bb |
def40d8182c4db2a91afaec94458809a7568baf3 |
|
22-Jan-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
-> improved the simplification of CspCASL sentences some more
-> Added a top level draft of the CspCASLProver main function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11300 cec4b9c1-7d33-0410-9eda-942365e851bb |
eaf34cf96fbfcdcce7f3bdb322c4ea7ebd1fd220 |
|
07-Jan-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Implemented SimplySen for CspCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11226 cec4b9c1-7d33-0410-9eda-942365e851bb |
a480b70e29a3ed7e77b89e410fd7bbab3e5a7e67 |
|
14-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
shortened too long lines
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10313 cec4b9c1-7d33-0410-9eda-942365e851bb |
90c174bac60a72ffd81bc3bf5ae2dd9a61943b8b |
|
10-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
globally replaced PosItem and UpPos with GetRange
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10298 cec4b9c1-7d33-0410-9eda-942365e851bb |
328a85c807f2a95c3f147d10b05927eaf862ebeb |
|
05-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added PosItem to overload resolution
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10071 cec4b9c1-7d33-0410-9eda-942365e851bb |
3bacd4ccc8f2bed36d183b38ccb7eee6836d2f7a |
|
03-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added simplification of program terms and conditions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10056 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f69b6948966979163bdfe8331c38833d5d90ecd |
|
05-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed my maintainer email
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8261 cec4b9c1-7d33-0410-9eda-942365e851bb |
e6d40133bc9f858308654afb1262b8b483ec5922 |
|
01-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added Description header
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7287 cec4b9c1-7d33-0410-9eda-942365e851bb |
0095c7efbddd0ffeed6aaf8ec015346be161d819 |
|
01-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added Description header
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7284 cec4b9c1-7d33-0410-9eda-942365e851bb |
23a00c966f2aa8da525d7a7c51933c99964426c0 |
|
30-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved class Pretty from Doc to DocUtils
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6555 cec4b9c1-7d33-0410-9eda-942365e851bb |
c438c79d00fc438f99627e612498744bdc0d0c89 |
|
22-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched over to new Doc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6478 cec4b9c1-7d33-0410-9eda-942365e851bb |
e85b224577b78d08ba5c39fe9dcc2e53995454a2 |
|
11-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove GlobalAnnos argument that is now part of the signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5382 cec4b9c1-7d33-0410-9eda-942365e851bb |
9b814d51dfcf9b22b391c99c0b08fc48efcafca2 |
|
03-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not rely on show
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4855 cec4b9c1-7d33-0410-9eda-942365e851bb |
42c01284bba8d7c8d995c8dfb96ace57d28ed1bc |
|
15-Jul-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
refactoring: [Pos] replaced with Range in order to exclude positions from equality of abstract syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4671 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3a94a197960e548ecd6520bb768cb0d547457bb |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
aligned module description for haddock-0.7
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4438 cec4b9c1-7d33-0410-9eda-942365e851bb |
97018cf5fa25b494adffd7e9b4e87320dae6bf47 |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Licence with License for haddock-07
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4433 cec4b9c1-7d33-0410-9eda-942365e851bb |
b4fbc96e05117839ca409f5f20f97b3ac872d1ed |
|
13-Jun-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added maintainers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4412 cec4b9c1-7d33-0410-9eda-942365e851bb |
e935423c16e00af45bffbe131f4bd9ae01853fcb |
|
14-Mar-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
rearranged static analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3941 cec4b9c1-7d33-0410-9eda-942365e851bb |
4fd9d02aaec1d0447c2897f977c4c48b0c7e5c20 |
|
11-Mar-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
really simplified (I hope)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3929 cec4b9c1-7d33-0410-9eda-942365e851bb |
b78d7a9dc7ec94a98820affb745cec63c96ab6e1 |
|
10-Mar-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
further case for position
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3924 cec4b9c1-7d33-0410-9eda-942365e851bb |
bec7e681b0ba4d085638ec7af0cf7ae5068840ca |
|
10-Mar-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed simplifySen and added injections, -v5 still fails with splitAppl
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3922 cec4b9c1-7d33-0410-9eda-942365e851bb |
729bcb10ecaad874ca91fe14a57011d2e254d8c5 |
|
10-Mar-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
calling anaFormula for a term condition was wrong, cleaned up rest
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3921 cec4b9c1-7d33-0410-9eda-942365e851bb |
bca2964b2523becd5b83dc93b503276a20b41290 |
|
04-Dec-2004 |
Heng Jiang <jiang@tzi.de> |
simplify of Sorted_Term
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3520 cec4b9c1-7d33-0410-9eda-942365e851bb |
436bb9afcdcab57c88e4d7921c716ce2e55f1726 |
|
01-Nov-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added matches on True_atom, False_atom and Sort_gen_ax in simplifySen and rmTypes_F where they where missing and causing trouble
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3355 cec4b9c1-7d33-0410-9eda-942365e851bb |
dc8009d694ddc502dc6024569caa4973e74b073f |
|
06-Oct-2004 |
Heng Jiang <jiang@tzi.de> |
dummy instead of id for simplify_sen
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3224 cec4b9c1-7d33-0410-9eda-942365e851bb |
7f8560d31e30100c40e1357318c942efbca83317 |
|
10-Sep-2004 |
Heng Jiang <jiang@tzi.de> |
added short documentations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3159 cec4b9c1-7d33-0410-9eda-942365e851bb |
e045bf637395611bbc6780ca64d7db8543394be7 |
|
09-Sep-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
corrected a small documentation error, that yielded a parse error in haddock
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3155 cec4b9c1-7d33-0410-9eda-942365e851bb |
2a0b5e7b246cc32d46b4ed4e53ab8e909e41c3d0 |
|
09-Sep-2004 |
Heng Jiang <jiang@tzi.de> |
Module for reduction formula/term informations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3152 cec4b9c1-7d33-0410-9eda-942365e851bb |