77d4f2955c728c081378743debeb4156e5b6be6a |
|
09-Dec-2017 |
mscodescu <mscodescu@gmail.com> |
emptyKind to defaultKind |
c33a9046bf3b7ec3b3642a5d266543232fb88908 |
|
07-Dec-2017 |
mscodescu <mscodescu@gmail.com> |
made emptyKind default for symKind |
65853214a355ddc2fc7e4f1edc5ee8d05947b84a |
|
14-Oct-2017 |
Till Mossakowski <till@iws.cs.ovgu.de> |
added short_description as a method of type class Logic |
c483c5bbf56b326e0d51b6332da19630f1472ef7 |
|
10-Sep-2017 |
Till Mossakowski <till@iws.cs.ovgu.de> |
better error message for Logic.Logic.inclusion
better error message for Logic.Logic.inclusion
still better |
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7f |
|
22-Aug-2017 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Complete TPTP support (#1707)
* Add option to print the AST in XML/JSON output. Turn it off by default.
* Add abstract syntax of TPTP.
* Add parens and brackets to Common.Lexer.
* Add TPTP Parser.
* Add TPTP Sign.
* Add TPTP Morphism.
* Add TPTP StaticAnalysis.
* Fix IRI character parsing.
* Add TPTP Pretty.
* Add TPTP Logic.
* Map the tptp and p file extension to the TPTP logic for input.
* Add LibDefn parser for TPTP.
* Write TPTP output.
* Add EProver to TPTP.
* Add TPTP Sublogics.
* Add SPASS prover to TPTP.
* Add Vampire prover to TPTP.
* Add Darwin prover to TPTP.
* Add Leo-II prover to TPTP.
* Add Geo-III prover to TPTP - It does not support a timeout.
* Add CVC4 prover to TPTP.
* Add Isabelle prover to TPTP.
* Make IRI compatible with TPTP library file names.
* Revert "fail if names of sentences appear as names of symbols #1630"
This is a combination of 3 commits:
* Revert "check that the Result has no errors"
This reverts commit 9542b929f3cfabf1491c3f0489acf92ba703968f.
* Revert "better error message"
This reverts commit a7ea46d4c76b11735234092d0a50efcbc56f9642.
* Revert "fail if names of sentences appear as names of symbols"
This reverts commit 2487bae09bf3aabc7085880aee616648fe5ca241.
* Fix usage of magic file
There were other (system) magic files invoked as well with a higher
priority. Using the MAGIC environment variable instead of the
argument --magic-file overrides this behaviour and only uses the
specified magic file.
* Fix magic file
The escaping of "@" and "(" is not needed.
The escaping of a trailing space in clif is needed.
* Add TPTP to magic file.
* Add Satallax prover to TPTP.
* Properly check for http[s] URIs.
* Allow file:// in libdirs.
* Allow only one http[s] libdir - Parse the port correctly.
* Fix all remaining parsing problems.
* Move functions to debug the parser to a separate module.
* Get rid of all TPTP related compiler warnings.
* Move the type 'Morphism' to 'TPTP.Morphism'.
* Rename: TPTP/Logic.hs -> TPTP/Logic_TPTP.hs
* Implement all_sublogics.
* Recognise negated_conjecture as a proof obligation. |
792866245d2a07619868b9a207c84cfd894cf054 |
|
14-Aug-2016 |
mcodescu <mscodescu@gmail.com> |
almost no datatypes for now |
2487bae09bf3aabc7085880aee616648fe5ca241 |
|
03-May-2016 |
mcodescu <mscodescu@gmail.com> |
fail if names of sentences appear as names of symbols |
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 |
36780327ef7de799210a7fdcfdb666a4cf3ce648 |
|
17-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
added a flag to decide whether to add _source and _target or not |
5fd6270bfa78d9169d4124625898eb47fc0efb2b |
|
15-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
take IRIs as argument |
a4ffdfbef0df89ab0bf32590c380514d98b42331 |
|
15-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
return, not id |
9bbe05a8f91264c88000bafff12062021e276bbd |
|
15-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
module extraction function |
c4fb83732e318acadfa1276c6a11edf2dbea4ac4 |
|
12-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
rejecting several axioms |
a2f07df650cfeb9f69a6116df58ce4769cc13b59 |
|
12-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
rejecting sentences goes through |
96d8cf9817eeb0d26cba09ca192fc5a33e27bc09 |
|
11-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
analysis of alignments and non-imported symbols in colimit |
a7338b15cbc9b513aaded07198c8666f0fa9d612 |
|
26-Nov-2015 |
Till Mossakowski <till@communtu.de> |
added signature as argument to SymOfSens |
9f086fbf558eb1b21acbb2578661efbd2ce8d9f8 |
|
23-Oct-2014 |
notanartist <notanartist@outlook.com> |
labels are properly written in OWL2.Sign.symOf and are printed via Static.ToXml, using the new Logic.Logic.sym_label |
f5e43c6208179131e179f075248880a8cae1e111 |
|
15-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added sentence conversion to xml |
d9a45a35cd696085be1a038b2cc67bee6819c574 |
|
09-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
switch from Data to ToJson class |
1a38107941725211e7c3f051f7a8f5e12199f03a |
|
08-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added a bunch of deriving Typeable and Data |
d6c22304918206b9dc0218673c83d976d7a14b77 |
|
27-Jun-2014 |
Christian Maeder <cmaeder@users.noreply.github.com> |
added iri attribute for expanded OWL2 names #1270 |
8c7aa750542dcadb94b971be712564a9a8f1d189 |
|
10-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed join to avoid future clash with prelude name
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18572 cec4b9c1-7d33-0410-9eda-942365e851bb |
e40758c36e3e5312669558ad189b24b3eaf10c59 |
|
10-Mar-2014 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
static analysis of alignments, library level and for logic OWL2, first attempt
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18542 cec4b9c1-7d33-0410-9eda-942365e851bb |
68a0dfd3b2ae76877534ec1495aec6128dfbd287 |
|
10-Jan-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow to parse a single symb-item for #1227
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18433 cec4b9c1-7d33-0410-9eda-942365e851bb |
4f9fc8b01e3c01d538a12e6327241c8fc16bc102 |
|
07-Jan-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused symbol parser stuff #1227
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18427 cec4b9c1-7d33-0410-9eda-942365e851bb |
720eeee7c9d8442093c8d05bed743193eee906e0 |
|
27-Nov-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid a separate LibId data type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18335 cec4b9c1-7d33-0410-9eda-942365e851bb |
544c60683756b3ad5869a2e19bdb3d285eba16c6 |
|
28-Jun-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
removed property svn:executable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18033 cec4b9c1-7d33-0410-9eda-942365e851bb |
67addb93043ff2e795f5b5b802c9de2e5bd49328 |
|
28-Jun-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
scanned and hlinted, grrr
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18025 cec4b9c1-7d33-0410-9eda-942365e851bb |
81f49ee02aaa3bc870401f8883bf52742eb3ea7a |
|
20-May-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
Merge branch 'hybrid'
Conflicts:
CASL/Logic_CASL.hs
Comorphisms/LogicGraph.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17960 cec4b9c1-7d33-0410-9eda-942365e851bb |
e4e39c9a78ab34bafd75b292839c20506e7f539b |
|
07-May-2013 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
static analysis of alignments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17952 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 |
3382d5f5e7f22f92443e5ce8e82f60e728f4ebee |
|
11-Oct-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
spelling
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17525 cec4b9c1-7d33-0410-9eda-942365e851bb |
c3cfa8f613684439642d59fd89c6bae83cdbf6f0 |
|
08-Oct-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
minor parser issues
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17495 cec4b9c1-7d33-0410-9eda-942365e851bb |
feeab95fdf7ec92bcce607c104d9dc98e0e6ea90 |
|
08-Oct-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
introduced new API for prefixes and applied this to CommonLogic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17489 cec4b9c1-7d33-0410-9eda-942365e851bb |
d0916b96ca9f90822c0bb6062b13d5de83bf410a |
|
03-Oct-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
recognize IRIs for "logic" and "serialization"
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17475 cec4b9c1-7d33-0410-9eda-942365e851bb |
12e6a34c60b11e445c75fa7fab55b4e41263b269 |
|
30-Sep-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
implemented beautiful error messages
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17453 cec4b9c1-7d33-0410-9eda-942365e851bb |
287dd3ba06d2ebaa9c88bb0e38e36556c3b96152 |
|
28-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
fail for non-existent serializations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17445 cec4b9c1-7d33-0410-9eda-942365e851bb |
e16b3696b2c173aac14200321868ed81b8f7dc69 |
|
29-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Monoid instances to basic specs of all logics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17269 cec4b9c1-7d33-0410-9eda-942365e851bb |
411588cc915b27cef4e7e66fb23e67514b3a0c92 |
|
28-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
support OWL Ship syntax output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17255 cec4b9c1-7d33-0410-9eda-942365e851bb |
232612893bf5b1832ab4ef6dd120714b0a29d131 |
|
28-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
prepared serialisation of theories
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17250 cec4b9c1-7d33-0410-9eda-942365e851bb |
d9d72d6055f5c9440ca08ff6f0d8b8fcd06406b1 |
|
27-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
print whole theory at once
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17245 cec4b9c1-7d33-0410-9eda-942365e851bb |
cb1375e6805fbe42b931c54dcc37674193443267 |
|
27-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow grouping of axioms as frames
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17244 cec4b9c1-7d33-0410-9eda-942365e851bb |
9245fd7e7879edd306382f72e646d3154cf4ad7a |
|
09-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed defaults
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17163 cec4b9c1-7d33-0410-9eda-942365e851bb |
cccfa866662e6c37282cedd9d18bd1957c0469fb |
|
09-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
access of basic spec parser changed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17159 cec4b9c1-7d33-0410-9eda-942365e851bb |
8ca6bd4e7de178daa43f05b12cc26dc14d00ad3a |
|
07-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added KIF parser for CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17128 cec4b9c1-7d33-0410-9eda-942365e851bb |
71deb5c0bac1bacb1a3547461cc27978e0a571a5 |
|
07-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
more changes for default lookup
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17127 cec4b9c1-7d33-0410-9eda-942365e851bb |
9f7c47c9fc0ae4ed8c839f25ba795ccb0bab0ada |
|
07-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed lookup for defaults
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17125 cec4b9c1-7d33-0410-9eda-942365e851bb |
1a90bc449d8315ff4ef9cf44cc0fd136705194f3 |
|
03-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
support several parsers #1050
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17112 cec4b9c1-7d33-0410-9eda-942365e851bb |
544bd831b3a3434899db4008bbe131beafd07c4d |
|
30-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
better structured too many sublogics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17072 cec4b9c1-7d33-0410-9eda-942365e851bb |
e0c2bc4ba02902c20dae5c2e7a9bc25dbcfdfa49 |
|
27-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
handled the tests in OWL2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17069 cec4b9c1-7d33-0410-9eda-942365e851bb |
90d4b4667d5b25e067ac262aaf49efc0b175b74c |
|
23-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
inserted parsers and printers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17050 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea8e98e298f33f9362293f392c8fb192722b8904 |
|
30-Mar-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Changed Simple-ID to IRI on Library-, Structure- and Architecture-level
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16750 cec4b9c1-7d33-0410-9eda-942365e851bb |
669b3375925f7a145d287fa89f3a815708dbe7a1 |
|
08-Mar-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
compute syms of sentences for OWL2 and fixed one half of #1008
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16692 cec4b9c1-7d33-0410-9eda-942365e851bb |
fb30584379ba0e28954f21b27e79eb6adccec163 |
|
25-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
properly named default definitions (ghc-7.2.1 reports this problem)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16027 cec4b9c1-7d33-0410-9eda-942365e851bb |
8f584034666a94e60c207bd78263de5b44cee9af |
|
22-Aug-2011 |
Iulia Ignatov <i.ignatov@jacobs-university.de> |
methods for newcomorphism analysis added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15993 cec4b9c1-7d33-0410-9eda-942365e851bb |
2cb6df4f21c52732336579a79f7e5d28299b3500 |
|
16-Aug-2011 |
Iulia Ignatov <i.ignatov@jacobs-university.de> |
morphism parser added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15973 cec4b9c1-7d33-0410-9eda-942365e851bb |
656f17ae9b7610ff2de1b6eedeeadea0c3bcdc8d |
|
29-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed legal_mor
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15779 cec4b9c1-7d33-0410-9eda-942365e851bb |
4c5a72571395f1f6c2390a869656fb5014a11f15 |
|
09-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Ord instance for AnyLogic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15104 cec4b9c1-7d33-0410-9eda-942365e851bb |
f223a90d51db0fb060381211cfc07fc5b0672f58 |
|
08-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added identity test for morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15094 cec4b9c1-7d33-0410-9eda-942365e851bb |
ef60398f3b9f24614b074f8f0f1349ab527e1c77 |
|
26-May-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented CASL function for subsort symbols
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15024 cec4b9c1-7d33-0410-9eda-942365e851bb |
bf9cff07568918c41e8098ec84a20c16ae6006f0 |
|
26-May-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added a new symbols-of-signature function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15022 cec4b9c1-7d33-0410-9eda-942365e851bb |
a66daefdf373648277688ad0dbab180949627e36 |
|
25-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
provided non-failing default definitions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14802 cec4b9c1-7d33-0410-9eda-942365e851bb |
a669e4685b32ff5ca1bca785eacc5e30a545b010 |
|
24-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added optional target signature to static analysis of symbol map items
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14791 cec4b9c1-7d33-0410-9eda-942365e851bb |
80d2ec8f37d5ddec13c14b17b1bab01e9c94630a |
|
18-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
pass source signature to static symbol analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14745 cec4b9c1-7d33-0410-9eda-942365e851bb |
d71bb9deea089887b4fd829c5b766e7e4de9f204 |
|
13-Feb-2011 |
Kristina Sojakova <kristinas@cmu.edu> |
Added views for object logics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14524 cec4b9c1-7d33-0410-9eda-942365e851bb |
5e35940c3516ccea02caa0450d2b075de0106fa5 |
|
09-Feb-2011 |
Kristina Sojakova <kristinas@cmu.edu> |
Implemented signature extensions for LF and its object logics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14506 cec4b9c1-7d33-0410-9eda-942365e851bb |
9eb910977472b66b5c65223518f4846bf5c2ef75 |
|
21-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
support signature differences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14408 cec4b9c1-7d33-0410-9eda-942365e851bb |
180ab8c3df8cb0c88f0e881bca93354df6b5d560 |
|
05-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
make view output logic independent
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14196 cec4b9c1-7d33-0410-9eda-942365e851bb |
411392046c2ba1752cde81eaa92a95a2c28b672d |
|
01-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
output OWL morphisms differently for #871
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14181 cec4b9c1-7d33-0410-9eda-942365e851bb |
17fb8195482b86011a61598c232d5f8d5c2c4627 |
|
07-Oct-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added a new interface function for syntax rule support to the logic class
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14119 cec4b9c1-7d33-0410-9eda-942365e851bb |
3abc5468cbab40bfb146605c6825bd428e596cc0 |
|
09-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
reused guarded inclusion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14039 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e5811a3323b00d6ff8d3fe91a185de1ab31150b |
|
09-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
made induced_from_to_morphism generic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14038 cec4b9c1-7d33-0410-9eda-942365e851bb |
8b52f992f2f7a0c4fa6e3692cf868a6baadaa69b |
|
07-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed parse_sentence method
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14018 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 |
fa15ba427d20bfe2b50fbe6e2f6f51616aaed016 |
|
26-Aug-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
joined comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13941 cec4b9c1-7d33-0410-9eda-942365e851bb |
4dfed20c33d6c11a723c0c34d4a38006b9f8d4c1 |
|
26-Aug-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added arguments to basic analysis #825
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13940 cec4b9c1-7d33-0410-9eda-942365e851bb |
dd4bd4dedda875b27c189720a7706719ee5f79ac |
|
19-Aug-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
rely on missing generic implementation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13905 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 |
f1ed8902070833efd4b3b139bbc7ec0f331c7155 |
|
25-Jun-2010 |
Kristina Sojakova <kristinas@cmu.edu> |
Moved the LogicFram class to Logic.Logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13632 cec4b9c1-7d33-0410-9eda-942365e851bb |
0833beb79f31e71a77e39dabdf37b2e77b8525d7 |
|
25-Jun-2010 |
Kristina Sojakova <kristinas@cmu.edu> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13630 cec4b9c1-7d33-0410-9eda-942365e851bb |
13408ef5ae630d80e57e704734c00538f23b6078 |
|
02-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13482 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 |
9e696fa37baafc39bbf41f89ce72571339cb49fd |
|
09-Apr-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
comment changed to algebraic datatype
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13311 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 |
295566c1778f463b624caf1be714b70d808e2a51 |
|
25-Mar-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
refactored the G_symbolplmap to more generic types 'Map a symbol' and 'Map symbol a'
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13278 cec4b9c1-7d33-0410-9eda-942365e851bb |
33b2195dac69479b30c95fdfe83f97bab937f9e9 |
|
19-Mar-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added comment to omdoc_metatheory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13256 cec4b9c1-7d33-0410-9eda-942365e851bb |
0355e56ef1cfb8a81ba7f986eee33d8201d9816b |
|
18-Mar-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
restricted the imports from omdoc.datatypes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13249 cec4b9c1-7d33-0410-9eda-942365e851bb |
cae4916b0844b837a4dd7e29730c56a3e26ef94d |
|
15-Mar-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
refactored the CASL OMDoc export
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13230 cec4b9c1-7d33-0410-9eda-942365e851bb |
0850c3e5fb6285405ebaeb5aa433985203ac892d |
|
12-Mar-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
changed the omdoc logic interface, added mapping datatypes to omdoc, added utility function for writing multiple files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13218 cec4b9c1-7d33-0410-9eda-942365e851bb |
ba7903578ca168160ed411ef534fa95c5cddf8f0 |
|
15-Feb-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
pathify doesn't need an interface in Logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13072 cec4b9c1-7d33-0410-9eda-942365e851bb |
831b0d8f47480be51d14f2cf122913507859f9c3 |
|
12-Feb-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
prepared the type of Linkpath in order to integrate heterogeneous path computation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13066 cec4b9c1-7d33-0410-9eda-942365e851bb |
10b1417752a7cd79344892ad4dbb14831851c638 |
|
01-Feb-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added new logic dependent structure G_symbolplmap and finished pathlist generation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13018 cec4b9c1-7d33-0410-9eda-942365e851bb |
e2e5830e2562de2f9a7daa31704fca25285180f0 |
|
29-Jan-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added a pathlist map to the DGNodeLab record and extended the StaticAnalysis class interface to the pathify method
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13014 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 |
9ab0e17a1478d65b355987bc148e288844df3810 |
|
08-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added negation to class Logic and two instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12970 cec4b9c1-7d33-0410-9eda-942365e851bb |
aff117d059bb30eb85de03fc9a23029821a4c484 |
|
27-Oct-2009 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
removed node M'
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12741 cec4b9c1-7d33-0410-9eda-942365e851bb |
077bc312aa50a2131cc98095f5a0cb511de35dd4 |
|
21-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
is_sign_of is unused
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12681 cec4b9c1-7d33-0410-9eda-942365e851bb |
e7d2b3903c7b44db432538b0d720c21062c24823 |
|
26-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
hlinted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12526 cec4b9c1-7d33-0410-9eda-942365e851bb |
d2e1ea7e00412ba6a7c29b491e6fca6ca4d6fb18 |
|
26-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
require instance GetRange for basic specs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12522 cec4b9c1-7d33-0410-9eda-942365e851bb |
e49fd57c63845c7806860a9736ad09f6d44dbaed |
|
23-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored, camel cased, library names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12493 cec4b9c1-7d33-0410-9eda-942365e851bb |
5e49e7c9cdf9762a903d7ecbc668b52e7bb2dd7b |
|
04-Sep-2009 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
very experimental version of normal form for freeness
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12415 cec4b9c1-7d33-0410-9eda-942365e851bb |
637006109c22e1c853f1ad847e3ff48f686a83ce |
|
28-Aug-2009 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
added method for quotient term algebra
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12326 cec4b9c1-7d33-0410-9eda-942365e851bb |
96c4acc5e2c2e283ca1f61ffcd1df86fe7d3f933 |
|
24-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
used global annos for pretty printing xml
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12265 cec4b9c1-7d33-0410-9eda-942365e851bb |
63081428d2cb6225a19be7c3b63b27c15b526709 |
|
21-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed xml generation attempt via annoted strings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12215 cec4b9c1-7d33-0410-9eda-942365e851bb |
91b3147021cbeebb0590f4a577acba73142785c5 |
|
20-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
global annotations need to be passed through
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12197 cec4b9c1-7d33-0410-9eda-942365e851bb |
14d7908303969441ba30c2748de45f20345c6b31 |
|
20-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected rangeSpan derivation and used it for xml output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12185 cec4b9c1-7d33-0410-9eda-942365e851bb |
ef9e8535c168d3f774d9e74368a2317a9eda5826 |
|
13-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved ATerm library to separate directory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12107 cec4b9c1-7d33-0410-9eda-942365e851bb |
ee0a2d09cc38ab3f8a863d6b033f5abcfe0d4347 |
|
13-Aug-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
imported only Item dt
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12105 cec4b9c1-7d33-0410-9eda-942365e851bb |
3e8b136f23ed57d40ee617f49bcac37830b58cab |
|
13-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Binary stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12102 cec4b9c1-7d33-0410-9eda-942365e851bb |
2f78f94ebc1ffa9a9cc84dc305af21b9104e60d4 |
|
11-Aug-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
new interface function toItem for the syntax-class
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12089 cec4b9c1-7d33-0410-9eda-942365e851bb |
c911a0ec80ca4a178399c68f1e28be4e2bf42fce |
|
11-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
derive Binary instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12079 cec4b9c1-7d33-0410-9eda-942365e851bb |
b1ff9119f5f461065a8ecaae4fc69c9d132353a4 |
|
11-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up shortcut classes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12075 cec4b9c1-7d33-0410-9eda-942365e851bb |
b8771c56fc23db58fa0549a703cb34f34bb9ced5 |
|
30-Jun-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added method to convert basic specs to annoted strings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11859 cec4b9c1-7d33-0410-9eda-942365e851bb |
fc5cd838fb20cabc8494e3fba1c76c434dc92f30 |
|
19-Jun-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
require GetRange instances for better raw_symbol error messages
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11820 cec4b9c1-7d33-0410-9eda-942365e851bb |
42994fea8e167a6e58c189f3b6aa8a0d8034b4a9 |
|
09-Jun-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed warning
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11787 cec4b9c1-7d33-0410-9eda-942365e851bb |
7c0236eaf52069f809aa484c4395c892b65c8c0b |
|
26-May-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added a metatheory-entry to the logic-interface
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11769 cec4b9c1-7d33-0410-9eda-942365e851bb |
9ca69220a0abbe69e819566ea6dc8a81cffaf203 |
|
26-Apr-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Fix a typo in the `is_of_sign` function.
Class Sentences, module Logic.Logic.
`is_of_sign` was defined for a type variable `signature` instead of `sign`
used in the fundep, which left it a rigid type variable even when instantiated
with an lid:
<dl><dt> is_of_sign Maude
</dt><dd>forall signature. Sentence -> signature -> Bool
This lead to type errors like the following:
Couldn't match expected type `signature'
against inferred type `Sign'
`signature' is a rigid type variable bound by
the type signature for `is_of_sign' at <no location info>
where `Sign` is the type instantiating the `sign` type variable.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11758 cec4b9c1-7d33-0410-9eda-942365e851bb |
5a94b6bea39d3c6c65fa2d5f81cdad1e027fddbd |
|
21-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
default morphisms are always inclusions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11737 cec4b9c1-7d33-0410-9eda-942365e851bb |
83190ff3a1ac4e2b674f80e055ea5ed1cc5ce354 |
|
20-Mar-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
removed the libid and specid from the omdoc-morphism export
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11552 cec4b9c1-7d33-0410-9eda-942365e851bb |
3b212f4b21bc53b5fdb76d28e1281c049cf58f39 |
|
09-Mar-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
only changed functionnames in error messages
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11502 cec4b9c1-7d33-0410-9eda-942365e851bb |
a23e572c8f957cc051a1b0831abd6fe9380d45c7 |
|
03-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow unchecked composition of morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11466 cec4b9c1-7d33-0410-9eda-942365e851bb |
da01795faa7f64f8100f66bdadec4795667970d0 |
|
27-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
make haddock happy
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11444 cec4b9c1-7d33-0410-9eda-942365e851bb |
dada658692dfbbd04b7a08cdc4826616f84ad6ef |
|
26-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
support unguarded inclusion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11441 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 |
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 |
56596e51928c7a6f8bbf3386523b5b6e0bf38441 |
|
19-Feb-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
corrected a typo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11407 cec4b9c1-7d33-0410-9eda-942365e851bb |
be07598ce95aa6c3fea3dc010c13245f2931b1f2 |
|
19-Feb-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added omdoc interface functions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11405 cec4b9c1-7d33-0410-9eda-942365e851bb |
a9de0a2f34860a24f457c777e740b7e87e6e3827 |
|
24-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed language options for ghc-6.10.1
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11193 cec4b9c1-7d33-0410-9eda-942365e851bb |
49fa7d85898a14d6631eced9dc590ebe81787816 |
|
16-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
fail rather than produce a wrong result
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11164 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 |
29e3963b4f9f9a741ed7d3f7b8cf2a4a53f6e7a4 |
|
10-Nov-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed replaced variable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10981 cec4b9c1-7d33-0410-9eda-942365e851bb |
f456529a89bfb620d39e5fd5b0a53b24643db96d |
|
31-Oct-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
refactoring for support for >1 conservativity Checker / Logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10928 cec4b9c1-7d33-0410-9eda-942365e851bb |
4ef5e33657aae95850b7e6941f67ac1fb73cd13f |
|
16-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
made sublogic name a single string
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10840 cec4b9c1-7d33-0410-9eda-942365e851bb |
d58809391d5b755935766befb1726aed7c02c4d2 |
|
13-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored qualification
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10816 cec4b9c1-7d33-0410-9eda-942365e851bb |
d92b7760ec10aa83e780cb3e6cd96ad8f18d87c7 |
|
06-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
add unused argument
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10777 cec4b9c1-7d33-0410-9eda-942365e851bb |
d058429727dd696a0327cdc28cadd268c34c36ba |
|
06-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added inverse for morphisms and changed qualify method
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10773 cec4b9c1-7d33-0410-9eda-942365e851bb |
92dc581bf568c9e225aa9d0570ab0a4b6ebdab69 |
|
26-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
use LIB_ID for qualification
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10748 cec4b9c1-7d33-0410-9eda-942365e851bb |
ecd98975b8a8ab5a7bc075562bdab51cf47d2a90 |
|
22-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed CASL dependency
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10707 cec4b9c1-7d33-0410-9eda-942365e851bb |
0992b212df8eec8af18e1c208da54897021964c4 |
|
22-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
create a qualified signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10706 cec4b9c1-7d33-0410-9eda-942365e851bb |
cc7662da034ea10b999070945e08247e09737273 |
|
15-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added method for #360
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10684 cec4b9c1-7d33-0410-9eda-942365e851bb |
c43270ad64272b1509c4c29645136c269dae7c9e |
|
02-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added print_sign method
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10636 cec4b9c1-7d33-0410-9eda-942365e851bb |
1ff993f8816f130046499524b43cbf914a31d7f8 |
|
27-Aug-2008 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
show proof obligations from cons check
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10590 cec4b9c1-7d33-0410-9eda-942365e851bb |
3a6c7a7ff823616f56cd3d205fc44664a683effd |
|
01-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
shortened too long lines
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10430 cec4b9c1-7d33-0410-9eda-942365e851bb |
46d6534d53066bceedef789238c5af45ffe0b092 |
|
28-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed weakly_amalgamable_colimit from class method to function in WACocone
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10399 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 |
e1542391fc8fe6f74f75e0f83366ec254ae909f8 |
|
23-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted error message
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10176 cec4b9c1-7d33-0410-9eda-942365e851bb |
50a9e877f37782e4fa048030ecb36e2530248d6d |
|
23-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added intersection
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10175 cec4b9c1-7d33-0410-9eda-942365e851bb |
542cf2bcd5e1766ec5977ea5b43baff253bfeff9 |
|
05-May-2008 |
Mingyi Liu <xinga@tzi.de> |
conservative status
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9991 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 |
b8fd7d3741b38158b5d3a4e24d78b1cbac08433e |
|
26-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed usage of unsafeConstructGr
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9645 cec4b9c1-7d33-0410-9eda-942365e851bb |
109bfb0f817fcb94b049836da185c5241cebc3cc |
|
04-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed signature_difference
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9284 cec4b9c1-7d33-0410-9eda-942365e851bb |
67869d63d1725c79e4c07b51acd466a31932b275 |
|
30-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
logic specific induced_from_to_morphism handle extended signatures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9106 cec4b9c1-7d33-0410-9eda-942365e851bb |
792df0347edab377785d98c63e2be8e2ce0a8bde |
|
29-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
basic analysis now returns an extended signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9098 cec4b9c1-7d33-0410-9eda-942365e851bb |
c7e03d0708369f944b6f235057b39142a21599f2 |
|
29-Oct-2007 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
CASL signatures colimits and gWeaklyAmalgamableCocone
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9094 cec4b9c1-7d33-0410-9eda-942365e851bb |
c683dfeebc4a9307ca64adda2114205bb681d62a |
|
23-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
derived Typeable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9075 cec4b9c1-7d33-0410-9eda-942365e851bb |
a3bc3432c3591bc3cde600bdb3f8b8b966669fad |
|
16-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced comments with code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9057 cec4b9c1-7d33-0410-9eda-942365e851bb |
799324d26ba36f0a22f0559a53924ffd163158f5 |
|
27-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added default definitions to reduce warnings for instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8927 cec4b9c1-7d33-0410-9eda-942365e851bb |
726ea3b8b7273280c440207a31f9ccc422cdd711 |
|
26-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
made a default error definition for the unused is_of_sign method
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8919 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 |
0f0ddf8b810b0a4a7df6f7769278e4752732573f |
|
16-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved haddock markup
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8624 cec4b9c1-7d33-0410-9eda-942365e851bb |
1453ee2c04f1164dd62e48009880db51d3eddfbc |
|
07-Aug-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
axioms -> formulas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8548 cec4b9c1-7d33-0410-9eda-942365e851bb |
23e0b003dd27c804487db4d3a9fc8ff2f452cb77 |
|
03-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Ord to SemiLatticeWithTop
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8227 cec4b9c1-7d33-0410-9eda-942365e851bb |
cd6e5706893519bfcf24539afa252fcbed5097dd |
|
26-Jun-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
* Refactoring of classes Logic, Sentences and StaticAnalysis
* Logic.Prover.ProverTemplate has now a field for the maximal sublogic
needed by a Prover/ConsChecker
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8145 cec4b9c1-7d33-0410-9eda-942365e851bb |
95b6ee8157129be073d7516a4c54fba8a1479832 |
|
02-May-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
better formatting
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7855 cec4b9c1-7d33-0410-9eda-942365e851bb |
7474388b4c2236f8ab2327289555000268c7901a |
|
02-May-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added explanation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7854 cec4b9c1-7d33-0410-9eda-942365e851bb |
705d04a6d3b01afd249f53397e5cbfa76fc0e179 |
|
21-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Data.Dynamic by Data.Typeable and removed trailing blanks
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7497 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad270004874ce1d0697fb30d7309f180553bb315 |
|
21-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to Data.Set, Data.Map and Data.Dynamic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7491 cec4b9c1-7d33-0410-9eda-942365e851bb |
ebd2befc3c4acb721e6855f3f6cf3ca0b849045e |
|
20-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added lid as argument to empty_proof_tree
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7474 cec4b9c1-7d33-0410-9eda-942365e851bb |
c6e131b1b79ccea24ebb92653a6d773b3c28194e |
|
19-Feb-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
improved documentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7467 cec4b9c1-7d33-0410-9eda-942365e851bb |
212ded2709e18da9cbd5096b969f869f316c460b |
|
09-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
ignore a missing amalgamability test with a warning
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7398 cec4b9c1-7d33-0410-9eda-942365e851bb |
bfe5e0f2dadc80b2324c16023f860565d5af8ee4 |
|
26-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
removed double -
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7349 cec4b9c1-7d33-0410-9eda-942365e851bb |
f42a5ef19b4201900cbb62af61b3911bb07bc17d |
|
26-Jan-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
escaped slash for haddock
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7348 cec4b9c1-7d33-0410-9eda-942365e851bb |
d73a6d88ee6df62ad7c7ed9a8f6e25d20a75b801 |
|
26-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
more references
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7345 cec4b9c1-7d33-0410-9eda-942365e851bb |
da4322217ab730a670a6db04ffe7f1ac77a64b0a |
|
26-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
made comments Haddock-comaptible
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7344 cec4b9c1-7d33-0410-9eda-942365e851bb |
b5fc41107de690f9f989906353d391b9222e5c5c |
|
26-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added much documentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7343 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 |
daac72fb88219af022a1749a4e2e9432be5d83f9 |
|
20-Oct-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added empty_proof_tree
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7081 cec4b9c1-7d33-0410-9eda-942365e851bb |
eca4db63ed0bdbd93b62678feea6e3eb80aa47bb |
|
20-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed functions for signature differences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6695 cec4b9c1-7d33-0410-9eda-942365e851bb |
33ec1afedd9922e3a54536a0ae14bcbbc4f91c23 |
|
19-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoided error default implementations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6691 cec4b9c1-7d33-0410-9eda-942365e851bb |
ca732bc259f74cb4f3f725daab7fe80fc7e1d9a0 |
|
19-Jul-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added test for injectivity of signature morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6688 cec4b9c1-7d33-0410-9eda-942365e851bb |
b1f59a4ea7c96f4c03a4d7cfcb9c5e66871cfbbb |
|
14-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructured Sublogics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6664 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 |
c51ea285811413e90e6ebfe3cb16225b1ac69478 |
|
23-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
raw_symbol needs Pretty, too
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6494 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 |
fbb2d28086a1860850f661fbf4af531322bac405 |
|
21-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
Pretty instances for all logics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6468 cec4b9c1-7d33-0410-9eda-942365e851bb |
296c6cdef9162217e9d9d1c17790dc71335b8d72 |
|
09-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed meet operation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6431 cec4b9c1-7d33-0410-9eda-942365e851bb |
54e817678f5e4b2b2a68739bdee19db4afb99b6a |
|
18-Apr-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoided irritating Ord instances for LatticeWithTop
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6206 cec4b9c1-7d33-0410-9eda-942365e851bb |
724be620c516160e7d2c203999f01df4ccc53048 |
|
31-Jan-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Refactored Logic.Prover.Proof_status:
now a Record datatype with only two variants:
(1) Proof_status for goals
(2) Consistency
The status of a goal is now represented by a separate enumerated datatype:
GoalStatus
added field goalIsUsedInProof which should be True if the goal was in the
list of used formulae
other changes:
* improved display of proof details in GUI.ProofManagement
* added todo point for Isabelle.IsaProve
* Logic.Logic.Sentences demands Ord instancew for proof_tree now
so it was easier to derive the Ord instance of Proof_status automatically
* SPASS removes now the goal from the list of used axioms and stores the
derived information properly
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5750 cec4b9c1-7d33-0410-9eda-942365e851bb |
412e440f8acdbae3df0e2fd12ff078f3f23a2799 |
|
24-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
supplied a (better) Graph instance based on Common.Lib.Map
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5695 cec4b9c1-7d33-0410-9eda-942365e851bb |
819e29dba060687cf391e444e0f6ff88c1908cc3 |
|
03-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
derive ATC and Typeable for DefaultMorphism and import instances in Logic.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5587 cec4b9c1-7d33-0410-9eda-942365e851bb |
8d97ef4f234681b11bb5924bd4d03adef858d2d2 |
|
30-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
derive Typeable along with ATC
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5572 cec4b9c1-7d33-0410-9eda-942365e851bb |
9603ad7198b72e812688ad7970e4eac4b553837a |
|
25-Oct-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Refactoring of ThSens, Theory, SenStatus:
* SenStatus is now parametrised over a theoremStatus, too;
it is used for structured and basic theories;
value is no longer a (Named a);
isDef, isAxiom are now fields of SenStatus, too
* ThSens is not a Set any longer it is now a Common.OrderedMap.OMap
* Theory contains now a ThSens OMap with
theoremStatus == Proof_status proof_tree
version_nr is updated for changed ThSens structure
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5250 cec4b9c1-7d33-0410-9eda-942365e851bb |
b65e16b9e5652ff341ab0f49be5da51e2c0e10a5 |
|
18-Oct-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
introduced stabilities of logics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5200 cec4b9c1-7d33-0410-9eda-942365e851bb |
e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0 |
|
29-Sep-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
expanded tabs to spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5106 cec4b9c1-7d33-0410-9eda-942365e851bb |
a587dd2622ed1919e6e6a4b5cfc7bf4810d3410f |
|
27-Sep-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated the printing of annotation of named sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5084 cec4b9c1-7d33-0410-9eda-942365e851bb |
b897feff048b0f827e4526e9fbf90637f220c053 |
|
09-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
required Show separately
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4881 cec4b9c1-7d33-0410-9eda-942365e851bb |
091a143aa351e9e639d1267fdb831cb2b5b937b3 |
|
03-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved class Language back
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4851 cec4b9c1-7d33-0410-9eda-942365e851bb |
9f40b1f548f7d75f5b71e7d8345d661d6ce7da73 |
|
29-Jul-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added is_transportable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4828 cec4b9c1-7d33-0410-9eda-942365e851bb |
1c1d0abeab7e81019442f67624a1ff954ec909ec |
|
28-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
make unexpanded *.inline.hs file type correct
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4812 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 |
8b5f9f72ba210940b26034bcadd34b2fe7f93bbd |
|
31-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructered Logic.Prover
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4345 cec4b9c1-7d33-0410-9eda-942365e851bb |
0799b5dc3f06d2640e66e9ab54b8b217348fd719 |
|
13-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
ported to fgl
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4275 cec4b9c1-7d33-0410-9eda-942365e851bb |
88ece6e49930670e8fd3ee79c89a2e918d2fbd0c |
|
12-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted Common.Lib.Set and Map to ghc-6.4 library version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4263 cec4b9c1-7d33-0410-9eda-942365e851bb |
71db86b6baa4a8f1c2bf454cf66e0f36bfefd588 |
|
10-May-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
documentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4240 cec4b9c1-7d33-0410-9eda-942365e851bb |
c64d33a7fbeae730cbe65193fe3cc24e7aa1ddd6 |
|
09-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed PosItem and ShATermConversion instance generation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4217 cec4b9c1-7d33-0410-9eda-942365e851bb |
e687bd70d6e6c98d82b239e01fef4a60de6739f4 |
|
15-Apr-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
improved documentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4062 cec4b9c1-7d33-0410-9eda-942365e851bb |
68569244a5472c2aef1d50811407de7900701a2d |
|
22-Feb-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added functions for weakly amalgamable cocones
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3840 cec4b9c1-7d33-0410-9eda-942365e851bb |
f2a87c712ea3cd13f86a95cae738f861f6c4a908 |
|
21-Feb-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
fixed wrong cancellation of id comorphisms on sublogics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3831 cec4b9c1-7d33-0410-9eda-942365e851bb |
a89e661aad28f1b39f4fc9f9f9a4d46074234123 |
|
05-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed from Maybe to Result
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3619 cec4b9c1-7d33-0410-9eda-942365e851bb |
414ffa281d82f05a2d742c702f8e06b0cb05b229 |
|
20-Dec-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
made AParser polymorphic in further user state component
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3578 cec4b9c1-7d33-0410-9eda-942365e851bb |
9d34a8049237647d0188ee2ec88db2dc45f1f848 |
|
19-Dec-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Made heterogeneous spec CCS_Automaton go through; inserted true unions of Grothendieck signatures everywhere
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3574 cec4b9c1-7d33-0410-9eda-942365e851bb |
56482892fa04a24630557e6953218cf39dec89f1 |
|
29-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved amalgamation data types to new module Common.Amalgamate and renamed Yes and No constructors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3491 cec4b9c1-7d33-0410-9eda-942365e851bb |
83246e3721a495df3d1871dcbd66449138b592e4 |
|
26-Nov-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Added a function to class StaticAnalysis for taxonomy translation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3473 cec4b9c1-7d33-0410-9eda-942365e851bb |
5308ef83ee1b668f4cf6c8278bc645e7e0f8b4ed |
|
26-Nov-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Connected Isabelle consistency checker
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3468 cec4b9c1-7d33-0410-9eda-942365e851bb |
8ddc7a5666b6887cf3a2c7c29e4691e04373545f |
|
26-Nov-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added consistency checking of nodes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3466 cec4b9c1-7d33-0410-9eda-942365e851bb |
a01c11e8b7dee2344a9c6ab54124d01bbca69a39 |
|
11-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added further default implementations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3419 cec4b9c1-7d33-0410-9eda-942365e851bb |
c1a9cfbf9cebd3ba80fef9bd0c0d632c0e0efacd |
|
11-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
yield at least the top sublogic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3418 cec4b9c1-7d33-0410-9eda-942365e851bb |
d9e79b2e2a52bee028fd250daeea7db8fc9a1e06 |
|
11-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added default dummy implementations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3417 cec4b9c1-7d33-0410-9eda-942365e851bb |
29f8e05e3ac7eb8e86c5a8f43e8deae1fc3b3237 |
|
27-Oct-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added parameter (for theory of source node) to checkCons
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3326 cec4b9c1-7d33-0410-9eda-942365e851bb |
933baca0720dae81434de384b32a93b47e754d09 |
|
18-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
supplied a meaningful sublogic_names implementation and checked for an unsafe head
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3263 cec4b9c1-7d33-0410-9eda-942365e851bb |
1df33829303cbf924aa018ac5ce9a28e69c17d22 |
|
03-Oct-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Completed integration of existing CspCASL parts into Hets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3206 cec4b9c1-7d33-0410-9eda-942365e851bb |
b3dca469a9e267d6d71acfdeca7bf284d0581dc7 |
|
29-Sep-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Made CspCASL logic more completed
Completed static analysis of data specs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3201 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e2e744c6b967c3f5f581acf01c13769b6769285 |
|
02-Sep-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added Eq and Show instances for DGRule. Needed refactoring of dynamics stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3125 cec4b9c1-7d33-0410-9eda-942365e851bb |
c1a887ac50563518fc6218c787ea4b5b9100d6d3 |
|
28-Aug-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Added description string to DontKnow variant of Amalgamates
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3109 cec4b9c1-7d33-0410-9eda-942365e851bb |
2d25d5c234b53c78575bb8c5734832b5f2210deb |
|
28-Aug-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Added HetcatsOpt parameter to ensures_amalgamability function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3104 cec4b9c1-7d33-0410-9eda-942365e851bb |
dc8357107a3c4917a50bf5658b98b6fa257de9f8 |
|
26-Aug-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Changed the type of sink passed to ensures_amalgamability
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3093 cec4b9c1-7d33-0410-9eda-942365e851bb |
59cc761000d4416b127ab07c41411d58419a4a97 |
|
26-Aug-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Started the implementation of simplify_sen for CASL and corrected its type signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3092 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad602cf9fc48c213018a82f87f6f92575866061e |
|
17-Aug-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
changed result type of cons checker to Result (Maybe Bool)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3067 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3b8c90c6f0ab1171fcedcc37acaa69ea0a3ac21 |
|
12-Aug-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added simplification for theories
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3056 cec4b9c1-7d33-0410-9eda-942365e851bb |
586af0e9490a14dd3075095692b584c652584875 |
|
10-Aug-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added sublogics to IdComorphism
Avoided !! below ==> in IsaPrint
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3040 cec4b9c1-7d33-0410-9eda-942365e851bb |
679bcaab915140dc9a5c3fa3b9c673ac0d8da321 |
|
29-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused rcoerce1 and generalized coerce
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2995 cec4b9c1-7d33-0410-9eda-942365e851bb |
771eade85bc8bbee2308220677b9804cdc11e3c1 |
|
23-Jun-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added preliminary consistency check to edge menu
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2891 cec4b9c1-7d33-0410-9eda-942365e851bb |
40d4f8937514c502e4758ab6aeb294981c44a833 |
|
07-Jun-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Modified ensures_amalgamability profile -- added description diagram
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2824 cec4b9c1-7d33-0410-9eda-942365e851bb |
3e2c4de10a0eb284938b5d5307d1c1fc2f799456 |
|
04-Jun-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Sublogics corrected/todo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2816 cec4b9c1-7d33-0410-9eda-942365e851bb |
3ac6fe61ab941dd93a935d5cc0434fc8b6e03928 |
|
01-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added print_named
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2776 cec4b9c1-7d33-0410-9eda-942365e851bb |
e9ff0191d6e44e5a39c36c19a5ae44191ffb08d8 |
|
30-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added default implementations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2755 cec4b9c1-7d33-0410-9eda-942365e851bb |
05ca76b03b6d16bcfb3e7654c31e41a220e85663 |
|
29-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added descriptions to logics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2754 cec4b9c1-7d33-0410-9eda-942365e851bb |
15de18533a4d9a82b5fa956f88c964a3462302ee |
|
26-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Typeable instances for AnyLogic and AnyComorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2710 cec4b9c1-7d33-0410-9eda-942365e851bb |
58250477af3deb7070d03c754ac7613448285f5f |
|
19-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
fewer constraints for Category
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2658 cec4b9c1-7d33-0410-9eda-942365e851bb |
bbdf9b2b58f24581e798570c78a739c1b418dc30 |
|
19-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed fromShATerm and restructured
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2655 cec4b9c1-7d33-0410-9eda-942365e851bb |
7ce50de323aa5255cf502c5aaa5cfe0286468613 |
|
13-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed implied constraints
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2589 cec4b9c1-7d33-0410-9eda-942365e851bb |
59fa9b1349ae1e001d996da732c4ac805c2938e2 |
|
06-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
adaptions for ghc-6.3: mkAppTy -> mkTyConApp
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2556 cec4b9c1-7d33-0410-9eda-942365e851bb |
eee239283ffdaafb5acc779b6ac8ef4f3377cb1c |
|
21-Apr-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Added a String parameter to "No" value in the Amalgamates data type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2445 cec4b9c1-7d33-0410-9eda-942365e851bb |
2f0c87c2ee68e3505ffcc74920c660aca54e3b6f |
|
20-Apr-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Created Amalgamates type for the result of amalgamability analysis
Changed the profile of ensures_amalgamability: the sink is now passed as a list of diagram edges and the function returns a value of type Amalgamates
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2423 cec4b9c1-7d33-0410-9eda-942365e851bb |
83a6224a2e24cc3b590884e45b1fd2020fd0ec47 |
|
14-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added some default definitions for (missing) sublogics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2393 cec4b9c1-7d33-0410-9eda-942365e851bb |
aa0ef8adb2833838c1954e6f93c61d85d2cb226a |
|
14-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Prover interface cont'd
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2275 cec4b9c1-7d33-0410-9eda-942365e851bb |
c9eec96d66e1fd90bcfe5e2b8a814be269341e13 |
|
13-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Show theory hack removed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2274 cec4b9c1-7d33-0410-9eda-942365e851bb |
7d09621f989f5e6dfbf603b36b2fccbacf639a3c |
|
12-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Comorphism from CASL to Isabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2260 cec4b9c1-7d33-0410-9eda-942365e851bb |
c0641de659bcc324b1a0ac768c3856eb2b236afc |
|
10-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed ParseFun to AParser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2253 cec4b9c1-7d33-0410-9eda-942365e851bb |
242691238a8d1a89581751d782af87ec5d7470c0 |
|
23-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added translation of Grothendieck sentence lists
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2219 cec4b9c1-7d33-0410-9eda-942365e851bb |
50fa3b3e1ab035a2360291876623458edf3c6c0d |
|
19-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
only imported PrettyPrint
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2200 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f6b3834ba54649fc02cae002bac0258b6b5dcba |
|
19-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated text and latex printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2196 cec4b9c1-7d33-0410-9eda-942365e851bb |
b2183391dee434e4d389f0b99444aa1f2e3d584b |
|
17-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved Typeable instance of Named to Logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2183 cec4b9c1-7d33-0410-9eda-942365e851bb |
4b338e9d8a4e0bffb4d1bc6fb5fa371a8a0dec1a |
|
09-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Moved symbol stuff to class Sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2119 cec4b9c1-7d33-0410-9eda-942365e851bb |
3dfe46137de1d3330727fedd22babe510531f35f |
|
02-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed overlapping instance comment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2051 cec4b9c1-7d33-0410-9eda-942365e851bb |
82d681fe6950e2a35f28fdefb874d060632facca |
|
23-Jan-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Minor comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1991 cec4b9c1-7d33-0410-9eda-942365e851bb |
58b671de3fe578346fef9642ffa3c5a0a0edb3cb |
|
29-Dec-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Completed symbol map analysis and most of structured analysis
Improved error messages
Fixed reload problem with libraries
Added utilities
Added PrettyPrint instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1901 cec4b9c1-7d33-0410-9eda-942365e851bb |
9744c7d9fa61d255d5e73beec7edc3499522e9e2 |
|
02-Dec-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Pretty print Morphism added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1882 cec4b9c1-7d33-0410-9eda-942365e851bb |
5e46b572ed576c0494768998b043d9d340594122 |
|
22-Sep-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Symbol maps for translations: the sort mapping.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1714 cec4b9c1-7d33-0410-9eda-942365e851bb |
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5 |
|
22-Sep-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added inclusion list to logic graph.
Better representation for CASL signature morphisms.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1713 cec4b9c1-7d33-0410-9eda-942365e851bb |
788dd403da4203e895e15892ef7fa48129617d30 |
|
19-Sep-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Replaced undefined by more instructive error messages
Completed composition in Grothendieck sisgnature category
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1711 cec4b9c1-7d33-0410-9eda-942365e851bb |
75a6279dbae159d018ef812185416cf6df386c10 |
|
22-Aug-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Updated licence statements
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1673 cec4b9c1-7d33-0410-9eda-942365e851bb |
8db2d2c5a8df6dd6d7302bc59577150b87237940 |
|
21-Aug-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
licence added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1670 cec4b9c1-7d33-0410-9eda-942365e851bb |
425b287f28abf82702d46c176a38b668fb017ce4 |
|
31-Jul-2003 |
Felix Reckers <felix@informatik.uni-bremen.de> |
added fromShATerm* function in the classes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1646 cec4b9c1-7d33-0410-9eda-942365e851bb |
dac41c1d12ba1114c083e7b694ca7ae8a30d09df |
|
29-Jul-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added Eq for DGLinkLab.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1616 cec4b9c1-7d33-0410-9eda-942365e851bb |
e9249d3ecd51a2b6a966a58669953e58d703adc6 |
|
24-Jun-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Changed logic representations to comorphisms; switched to type classes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1522 cec4b9c1-7d33-0410-9eda-942365e851bb |
efb6fe325ec165f2a0f474d725fe1b6cc6788cd9 |
|
19-May-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
replaced show with showPretty for displaying signatures with hetdg.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1418 cec4b9c1-7d33-0410-9eda-942365e851bb |
e379124f467e5d0ef7d3c0ca238bff0521f70831 |
|
16-May-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Static analysis now returns new AS tree (with analysed axioms).
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1397 cec4b9c1-7d33-0410-9eda-942365e851bb |
c44fef1788a2195da885083eae005f4f18ed2000 |
|
15-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed comment for the order of output signs by basicAnalysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1394 cec4b9c1-7d33-0410-9eda-942365e851bb |
e3c9174a782e90f965a0b080c22861c3ef5af12d |
|
02-May-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added data construct to structured specs.
Adapted CspCASL parser to this.
New structure for hets.hs.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1305 cec4b9c1-7d33-0410-9eda-942365e851bb |
a795ceac801e3ab32e4f6c4a63f1ea7c3fc27250 |
|
02-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
used Named sentences in Logic and Grothendieck
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1184 cec4b9c1-7d33-0410-9eda-942365e851bb |
7469bf906d0d2447c0ac44ff67dd7fc1272a8549 |
|
31-Mar-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
The LogicGraph type in Logic.Grothendieck is now based on
Common.Lib.Map. There is an access function in Logic.Grothendiek, a
specialized one in Syntax.Parse_AS_Structured and a static one in
Logic-LogicGraph.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1166 cec4b9c1-7d33-0410-9eda-942365e851bb |
1033b8cb3feeba0d1094861277348e05a06c326a |
|
19-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified Logic.ParseFun
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1127 cec4b9c1-7d33-0410-9eda-942365e851bb |
2db9dc9058d0b36ec6089a6c131f00bc0875283b |
|
13-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed equality for basic (and structured) specs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1098 cec4b9c1-7d33-0410-9eda-942365e851bb |
9f51872ec53cb249652bb4cf12a77434098dbe93 |
|
05-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced dummy instance for sublogics of class LatticeWithTop
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1059 cec4b9c1-7d33-0410-9eda-942365e851bb |
d21f1db14625cb0a536fc06b46fcc115d48a25bb |
|
25-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
unused package data and FiniteMap
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@990 cec4b9c1-7d33-0410-9eda-942365e851bb |
2eb84fc82d3ffa9116bc471fda3742bd9e5a24bb |
|
24-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced qualified names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@972 cec4b9c1-7d33-0410-9eda-942365e851bb |
dbdae9a7cd57a9080536a5fce4ae52be5fe69081 |
|
21-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved to Logic sudirectory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@943 cec4b9c1-7d33-0410-9eda-942365e851bb |