ec60f8ca1475c7be6b0187e389472ff3dad7a2ea |
|
27-Mar-2018 |
mscodescu <mscodescu@gmail.com> |
Id -> IRI in origin, and removed import |
4f3a84cb1b7e55ce38df8f4ac71d06b574b23cb1 |
|
27-Mar-2018 |
mscodescu <mscodescu@gmail.com> |
origin of sentences |
af5d7b0c07b3879a6b5eac1b2507ec3f566f82a9 |
|
22-Nov-2017 |
mscodescu <mscodescu@gmail.com> |
removed unused import |
d7709fc2700060b11efc32b91b2f5aaec09b536a |
|
22-Nov-2017 |
mscodescu <mscodescu@gmail.com> |
spaces |
117a0f03fb483fc6d8ad4fb39cf2d142187c8e2f |
|
21-Nov-2017 |
mscodescu <mscodescu@gmail.com> |
answer to review |
8d60e45ae6ee598d910c5c85eba70c5500d7f519 |
|
20-Nov-2017 |
mscodescu <mscodescu@gmail.com> |
removed tracing |
5022458dbee9d20a1b9d0925384202124341c371 |
|
14-Nov-2017 |
Till Mossakowski <till@iws.cs.ovgu.de> |
tracing the dev graph |
e24628ebf98f8c4dc43cd1758468e956700d603c |
|
16-Oct-2017 |
mcodescu <mscodescu@gmail.com> |
removed trace |
7e347662208dee528a752c84bec8a59ff7bdff31 |
|
16-Oct-2017 |
mcodescu <mscodescu@gmail.com> |
flag for anaSpec |
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. |
c407b24867ead99e2a96fc382058a7ee52379d82 |
|
15-May-2016 |
mcodescu <mscodescu@gmail.com> |
corrected error |
e69f2676b133abcc72bc62a780d3762fd608a1dd |
|
15-May-2016 |
mcodescu <mscodescu@gmail.com> |
documented the code |
2fffd97efb53c792854c1557a87fd4f994e5a2b3 |
|
13-May-2016 |
mcodescu <mscodescu@gmail.com> |
static analysis of networks, renamed graphs to networks |
a7ea46d4c76b11735234092d0a50efcbc56f9642 |
|
03-May-2016 |
mcodescu <mscodescu@gmail.com> |
better error message |
2487bae09bf3aabc7085880aee616648fe5ca241 |
|
03-May-2016 |
mcodescu <mscodescu@gmail.com> |
fail if names of sentences appear as names of symbols |
74ae828c3bd071373c1474eeb8567585135e500d |
|
12-Apr-2016 |
mcodescu <mscodescu@gmail.com> |
warnings in AnalysisStructured.hs |
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 |
d5b702e995509f5bca70434c3649a9bd75454d79 |
|
15-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
answer to code review |
66d28f86d616f3b0eabbbdc2318b46dc9057c695 |
|
15-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
prepared for module extraction |
1aac973ee8f1d431f097c83797771b72d1f9e05f |
|
13-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
better error messages |
c4fb83732e318acadfa1276c6a11edf2dbea4ac4 |
|
12-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
rejecting several axioms |
ffc19c3520584d23cc1da4dfac6a32004e8595ac |
|
12-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
node name right |
fd5f47169d0cdb3ce37ce51489d84458cebbc5a9 |
|
12-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
better node name, however just internal |
a2f07df650cfeb9f69a6116df58ce4769cc13b59 |
|
12-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
rejecting sentences goes through |
6fc77b47163955779622b054bd0b9245eb80a9d2 |
|
11-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
removed conflict |
d500a2dce0d9ebcc9645492af851667d1fbba9d2 |
|
11-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
don't use prefixes to disambiguate in colimits and alignments |
3309ee889ed2b18e7d5d2ec7dfec07c92f0afd37 |
|
11-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
made combinations go through |
8fd3592085f1d0ea1e83838aa563a8a567c60288 |
|
10-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
node names |
b091c4dea1b7100eea1c1e61cfd534e85e43c5c3 |
|
10-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
static analysis of extract |
431eff6083370269f3a37767bcde001f389ac927 |
|
04-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
answered code review |
d5a225e7c58f6a8ab7b5acda22841784a19e261f |
|
03-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
cleaning up code |
42e78fd3454812d4f98b06154fdabc5ec3488718 |
|
29-Feb-2016 |
mcodescu <mscodescu@gmail.com> |
static analysis of intersections |
9784417c60301832780850e1ff9d7e46706268f1 |
|
25-Feb-2016 |
Till Mossakowski <till@communtu.de> |
references to DOL standard, part 3 |
72b8c0349a58cf0eb361cb5bb410d95a0372900a |
|
12-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
shared Network after combine and as lib-item |
dc62afbf79603699b39b2387f48298634f642e67 |
|
12-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
copied changes for dol-parsing into new branch |
39f54506ddf420d74afeeec4065ebf7222aca364 |
|
31-Oct-2014 |
SillyCodeValley <SillyCodeValley@users.noreply.github.com> |
Revert "1366 dol parsing" |
88aa478b56d02d4fad90a604de2dd12ceef25694 |
|
28-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added extraction |
764c796b88ef1d3921d7807683ee7bba3e764a29 |
|
27-Jun-2014 |
Christian Maeder <cmaeder@users.noreply.github.com> |
added source positions to DG node names (for xml output) #1265 |
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 |
91e24fc45834b35f2a3830d72565640251149bf3 |
|
20-Feb-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
added quick-option to OWL2 java parser #1247
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18506 cec4b9c1-7d33-0410-9eda-942365e851bb |
0c7a5718636b5ac4cd96688a004237554908d226 |
|
10-Feb-2014 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
better diagram for multiple edges in combinations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18472 cec4b9c1-7d33-0410-9eda-942365e851bb |
d6282e4cb193cc208ad07759cee3516714551d81 |
|
05-Feb-2014 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
add hiding links in combinations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18459 cec4b9c1-7d33-0410-9eda-942365e851bb |
b8bbe51da2883ef86242bccb3ee6744ba5922f08 |
|
06-Jan-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
shortend expCurie code / cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18423 cec4b9c1-7d33-0410-9eda-942365e851bb |
0a899fdf30f8a0702034d68cc348264562baa01d |
|
20-Dec-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
revert previous change
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18413 cec4b9c1-7d33-0410-9eda-942365e851bb |
834b3148bd0b947226a10a04aa7a69ec08a33a6f |
|
20-Dec-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to shortcut unions #1233
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18412 cec4b9c1-7d33-0410-9eda-942365e851bb |
366fdbbb365440e63a90302d65a2311400bb0fad |
|
19-Dec-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18410 cec4b9c1-7d33-0410-9eda-942365e851bb |
30cd8eefefc81e17c3f7b862d63ccb310057b14a |
|
17-Dec-2013 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
compute less paths
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18400 cec4b9c1-7d33-0410-9eda-942365e851bb |
450423c9f0a895858fca35a122783120df27eb4b |
|
16-Dec-2013 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
include all paths between the nodes in a diagram of a combination
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18399 cec4b9c1-7d33-0410-9eda-942365e851bb |
d687e0d953247ab99d8f2027466bd3c2962e3ba1 |
|
16-Dec-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
properly emit missing spec warning in all cases
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18391 cec4b9c1-7d33-0410-9eda-942365e851bb |
c5b4efccb69bee7186a47bc436d8d1895da80abb |
|
13-Dec-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
reverted hack of #1223
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18389 cec4b9c1-7d33-0410-9eda-942365e851bb |
966ad5a92ae6faa736f7abd8aff54aa239037f0a |
|
12-Dec-2013 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
first fix #1223
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18380 cec4b9c1-7d33-0410-9eda-942365e851bb |
be7add16c3f4e230929bcb948a67a710c6a4d222 |
|
29-Nov-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced # by ? see #1155
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18350 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 |
61fd362000bd36e5230f1bdb69cfa06dc766f3e6 |
|
21-Nov-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up using scan and hlint
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18319 cec4b9c1-7d33-0410-9eda-942365e851bb |
6f52b2f195d946649597c21e5888c70ccfeeb81e |
|
21-Nov-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
made OWL2Parser and hets ignore missing imports #1213
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18318 cec4b9c1-7d33-0410-9eda-942365e851bb |
02d61a52f776972238eef73fa8b752fd15e1f5dd |
|
06-Aug-2013 |
Marcel Zirbel <Marcel.Zirbel@dfki.de> |
extended parser to allow IDs in combine syntax; ID cannot be just a number
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18124 cec4b9c1-7d33-0410-9eda-942365e851bb |
e8b91b8571b73f2381bed87cb3ea95c76a4201b2 |
|
16-Jul-2013 |
Marcel Zirbel <Marcel.Zirbel@dfki.de> |
DOL's minimize
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18044 cec4b9c1-7d33-0410-9eda-942365e851bb |
2f5ff26a09d68be0b09eec62126c84637d102f4c |
|
14-Jun-2013 |
Marcel Zirbel <Marcel.Zirbel@dfki.de> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18015 cec4b9c1-7d33-0410-9eda-942365e851bb |
8b130bc25851c830d22a51ba03c8f2b778a6904f |
|
31-May-2013 |
Marcel Zirbel <Marcel.Zirbel@dfki.de> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17986 cec4b9c1-7d33-0410-9eda-942365e851bb |
28f6b9a4625b910f79be69a4dd819bbbd6e3f7b9 |
|
24-May-2013 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
nodesig for colimit
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17973 cec4b9c1-7d33-0410-9eda-942365e851bb |
64c1fbfdbd96b2ca16510c54aad75e70af0dc0d4 |
|
10-May-2013 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
added alignments in analysis of combine
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17954 cec4b9c1-7d33-0410-9eda-942365e851bb |
242880b83d6d77510e0890727dccb9f9ca00b4df |
|
05-May-2013 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
deleted comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17949 cec4b9c1-7d33-0410-9eda-942365e851bb |
7930893f9ef73686b16db85ca5534ff71050cba9 |
|
04-May-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
change missing in #17944
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17948 cec4b9c1-7d33-0410-9eda-942365e851bb |
fb891ddc67e73a126dfca1664396ec75068fd8cb |
|
03-May-2013 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
started analysis of combinations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17944 cec4b9c1-7d33-0410-9eda-942365e851bb |
e0925d14deeb1c13acac06d746ea985ec53ee35c |
|
03-May-2013 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
approximations added (first incomplete version)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17936 cec4b9c1-7d33-0410-9eda-942365e851bb |
2641573964f34ef1b269cc89e8b8608dfc122959 |
|
12-Mar-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17796 cec4b9c1-7d33-0410-9eda-942365e851bb |
87ad371ce86a15cd4424f59fa2fb8393f496cca4 |
|
23-Oct-2012 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
improvements on reftrees and arch specs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17596 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 |
f154f985ca01a20f0ea780fbc92ab55169c1e86b |
|
19-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added sublogic test and checked it for CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17362 cec4b9c1-7d33-0410-9eda-942365e851bb |
c1d06b3018b34ede2b3fb6c7fe2ad28cd5ce5b68 |
|
28-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added syntax IRI to theories
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17252 cec4b9c1-7d33-0410-9eda-942365e851bb |
6c244f12ab0dc7ba1baf1413266093886a570e13 |
|
03-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended Logic_name to LogicDescr
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17098 cec4b9c1-7d33-0410-9eda-942365e851bb |
1215a79cc737e4a4885ce4a6e21d24be20cedb0c |
|
01-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed warning
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17093 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 |
329f09824e0b9202d1327e52358912eddac8ad38 |
|
26-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
fix FlowOfTime failure
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16978 cec4b9c1-7d33-0410-9eda-942365e851bb |
d9435c21e9292561d38b689c1a0e5ab52982277a |
|
22-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
expand arch specs and reuse prefixErrorIRI
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16964 cec4b9c1-7d33-0410-9eda-942365e851bb |
076d5429ce08d87ebced34c308d41225e0d12cde |
|
22-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
also lookup short name
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16962 cec4b9c1-7d33-0410-9eda-942365e851bb |
d0bdd8509225b64accad2f9420d6a608e2dcffca |
|
21-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
applied scan and hlint
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16959 cec4b9c1-7d33-0410-9eda-942365e851bb |
b51ddb1ac112b948afbf0e1e5c02939f2b99d72e |
|
21-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
refined fix for #1043
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16958 cec4b9c1-7d33-0410-9eda-942365e851bb |
f6f34269532bfdff1e08e9038bf8b9098e3a5dae |
|
20-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not put imported symbols into the symbol set
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16957 cec4b9c1-7d33-0410-9eda-942365e851bb |
da3ef027f936e2fc0b053e27c9f01bd0c1213d90 |
|
13-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-reverted changeset spechub/Hets@6525edf400be7b108cd1a83f20c29b45952d2660 that reverted spechub/Hets@46a3a7f45ef99d1369eb89c02a305ca3c7e50e20
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16923 cec4b9c1-7d33-0410-9eda-942365e851bb |
6525edf400be7b108cd1a83f20c29b45952d2660 |
|
11-Jun-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
fixed #1038 by reverting spechub/Hets@46a3a7f45ef99d1369eb89c02a305ca3c7e50e20
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16895 cec4b9c1-7d33-0410-9eda-942365e851bb |
46a3a7f45ef99d1369eb89c02a305ca3c7e50e20 |
|
09-Jun-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
refactoring: removed unnecessary parameter
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16879 cec4b9c1-7d33-0410-9eda-942365e851bb |
f8065e835104ae5eaa148e9b37a81e768990724b |
|
01-May-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
added IRI expansion on library/structure/architecture level
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16844 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea39a854498febb718cbdd6035fb935fd145daac |
|
06-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
added DOL-parser, serialization syntax, prefix-map into GlobalAnnotations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16768 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 |
60dcc32017afaac58218b41feaea23ad4c7a022c |
|
29-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added error msg
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16199 cec4b9c1-7d33-0410-9eda-942365e851bb |
9b4d59bb654421c8fe405636bba0f12e09c65641 |
|
22-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added current base theory also to logic graph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16157 cec4b9c1-7d33-0410-9eda-942365e851bb |
b39504a1be2dc590fb06e313749b6d3690da3fe9 |
|
21-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
include base theory via ana genericity
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16155 cec4b9c1-7d33-0410-9eda-942365e851bb |
a07b1088ec14605a305cd48245f804b79cdce7b7 |
|
21-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
create reference nodes for base theories
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16154 cec4b9c1-7d33-0410-9eda-942365e851bb |
88e08f20c80fea4b7892bbb5e70c5002f7c1da18 |
|
19-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
joined variants
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16141 cec4b9c1-7d33-0410-9eda-942365e851bb |
aeb4e74b8b3328d8ea15512ec4e1e1b8d0919f01 |
|
15-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
output base theory node
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16132 cec4b9c1-7d33-0410-9eda-942365e851bb |
04d3cae33dab3092150060a8a5c8b0b046275725 |
|
15-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
set sublogics in logic graph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16131 cec4b9c1-7d33-0410-9eda-942365e851bb |
6505786996adb0239e26bb669ea579d630fa46a4 |
|
15-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved sublogic analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16130 cec4b9c1-7d33-0410-9eda-942365e851bb |
53ea24e19dbd4ca72fd75ab3a3105dc9f99e4f81 |
|
09-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow logic names being followed by spec names in parens
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16114 cec4b9c1-7d33-0410-9eda-942365e851bb |
d07992323218d9d6db42302fe91fdaab2d7f9ec0 |
|
09-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
created nodes for named specs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15945 cec4b9c1-7d33-0410-9eda-942365e851bb |
c208973c890b8f993297720fd0247bc7481d4304 |
|
05-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
splitted off plain data types for dev-graphs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15905 cec4b9c1-7d33-0410-9eda-942365e851bb |
3086cb15387bd2d08398aad31b8b7a891d45d249 |
|
01-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not discard inclusion errors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15823 cec4b9c1-7d33-0410-9eda-942365e851bb |
29d0d2c24fe5297b0ab3d48af9f96ce10059b610 |
|
14-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
improve source and target logic checking
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15568 cec4b9c1-7d33-0410-9eda-942365e851bb |
152c178f9f9969ce729361a5c61aa4ff2c9ed840 |
|
06-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved some map-set functions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15467 cec4b9c1-7d33-0410-9eda-942365e851bb |
f8c8c3e92d02616c7a2994b3aa62a541870796d8 |
|
27-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
used start signature of hiding link
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15323 cec4b9c1-7d33-0410-9eda-942365e851bb |
e46d78f7c6324ed9f1a191d46b6e5732e61e1835 |
|
25-Jun-2011 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
changeover to reveal hidden symbols for nodes via ToXml. Hidden symbols are now stored in DGOrigin using the DGRestriction Case. Also, DGLocal has been replaced with DGRestriction in AnalysisStructured for Local_Spec.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15310 cec4b9c1-7d33-0410-9eda-942365e851bb |
e44da4d9d6af17dd91b3542fb3a1522439fe7c18 |
|
10-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed hints and warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15110 cec4b9c1-7d33-0410-9eda-942365e851bb |
8c2e26231e509251734d474a6dc9a0c9970081d4 |
|
10-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
reverted spechub/Hets@bc5c4bddac99f88c5b1c7a4614566cdc15ec17b1
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15107 cec4b9c1-7d33-0410-9eda-942365e851bb |
bc5c4bddac99f88c5b1c7a4614566cdc15ec17b1 |
|
09-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
created identity morphism for free definition links
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15105 cec4b9c1-7d33-0410-9eda-942365e851bb |
5fe604bfecb45b5cf2a5c1db003d39d670423476 |
|
09-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented isInclusion properly, homogenity is checked elsewhere
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15103 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 |
60aa3aecbe2f2e85211d5d018eb4affd5d81ab81 |
|
08-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid identity def links by translations and restrictions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15092 cec4b9c1-7d33-0410-9eda-942365e851bb |
3eac470608bf2b665e810145d757622700d0cae5 |
|
07-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid cyclic global theorems for sources of views
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15086 cec4b9c1-7d33-0410-9eda-942365e851bb |
9bbe44a0670a21990fcaf328661ef03a8efd9fec |
|
27-May-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
turn failing signature-diff into warning
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15036 cec4b9c1-7d33-0410-9eda-942365e851bb |
da4b55f4795a4b585f513eaceb67cda10485febf |
|
27-May-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added signature difference to dg-basic-spec origin
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15035 cec4b9c1-7d33-0410-9eda-942365e851bb |
6ccaeced9d4aa7b1c0268eea85e2b6118ee1dff7 |
|
15-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
keep current logic in sync between parsing and static analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14920 cec4b9c1-7d33-0410-9eda-942365e851bb |
ba10e88b85904494bb9695da8d9a72ec683e2b0d |
|
12-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid identical nodes due to logic qualifications
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14903 cec4b9c1-7d33-0410-9eda-942365e851bb |
57dd851a0c98fe681443c74bfcb2d6ec8b07fbf5 |
|
12-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
reuse coerced data logic node
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14902 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 |
301797af7ed152a6cce563a3303c9fbc4ac16180 |
|
04-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not unnecessarily unite signature to avoid logic translations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14487 cec4b9c1-7d33-0410-9eda-942365e851bb |
58665d6a311aec23a2a6afd33f83b6911f4a9b6f |
|
04-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
fix wrong instantiation morphism link of HasCASL/LinearAlgebra.het
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14485 cec4b9c1-7d33-0410-9eda-942365e851bb |
fe9fabab6e959e383a746711b078c8fddbd5e553 |
|
04-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored parameter counting
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14482 cec4b9c1-7d33-0410-9eda-942365e851bb |
a74f814d3b445eadad6f68737a98a7a303698aff |
|
17-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
revert replacement of Map.foldWithKey to allow compilation using ghc-6.10.4
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14229 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e5c10805bd50b5baaf6bf1f6a3f085c7afb17d8 |
|
16-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Map.foldrWithKey
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14227 cec4b9c1-7d33-0410-9eda-942365e851bb |
1c8293dcdc80913c9d1188a62682ad85f0eb21e1 |
|
28-Oct-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
fail better for logic projections
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14174 cec4b9c1-7d33-0410-9eda-942365e851bb |
b4a750119742b015a815e6f370a7d58e7a4de634 |
|
27-Oct-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
first coerce node than restrict to fix #821
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14171 cec4b9c1-7d33-0410-9eda-942365e851bb |
78411227baa6b3c462c27cd0b8ec2f7ef318e961 |
|
27-Oct-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
restrictions can only be homogen
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14170 cec4b9c1-7d33-0410-9eda-942365e851bb |
953127f27b7854580057a92e8269fd7a8716a800 |
|
27-Oct-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
fix for #839
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14168 cec4b9c1-7d33-0410-9eda-942365e851bb |
e2e17b0b9cfa80cd17495911be5572e420806611 |
|
20-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjust node info to change
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14080 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 |
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 |
6892075087077b9a2f9baa1663be4afcee2e7254 |
|
12-Jul-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
forbid unsupported translation #839
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13708 cec4b9c1-7d33-0410-9eda-942365e851bb |
28cbeb7eb61216d3b5a27dca176333d1ff8d3357 |
|
03-Jun-2010 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
static analysis of refinements and interface for refinement trees, first version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13514 cec4b9c1-7d33-0410-9eda-942365e851bb |
e143a5fe284b80280b0465ab5f41161f305ea257 |
|
27-May-2010 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
fixed bug in analysis of revealings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13450 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 |
d75d2d11170f1339ebe37d9d9c06aff148637b13 |
|
12-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Common logic parser and basic analysis test
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13315 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 |
a67bea25edc56bbab82c1a1fc6b51e132452188c |
|
15-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added union between data logic and incoming spec
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13232 cec4b9c1-7d33-0410-9eda-942365e851bb |
38e6a7281140deb96436868d396e1a0a3c934c2c |
|
04-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added fitting morphisms to DG link origins
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13037 cec4b9c1-7d33-0410-9eda-942365e851bb |
7a6c50ecdec40e0278e8ed4fdadfd669112d887d |
|
04-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added restrictions to DG target node origins
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13035 cec4b9c1-7d33-0410-9eda-942365e851bb |
4fc9de0da898448f1d3597ebbd8c04a066464c21 |
|
04-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added literal renamings to DG target node origins
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13034 cec4b9c1-7d33-0410-9eda-942365e851bb |
83259a366597461d24e6b9236a8a33e201798e4d |
|
04-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added basic spec to DG
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13031 cec4b9c1-7d33-0410-9eda-942365e851bb |
333c50750432f91e80aa5608be64a07f17cbb1c1 |
|
10-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
support hiding with heterogeneous environment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12917 cec4b9c1-7d33-0410-9eda-942365e851bb |
20f242685d34882b97b7447426c50cfc5ac710cf |
|
10-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
fixed logic translation as required for Calculi/Time/FlowOfTime.casl
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12916 cec4b9c1-7d33-0410-9eda-942365e851bb |
064de40ef459b7d64b96a2296bbde25449a2a4c2 |
|
10-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
fixed static analysis for the cases of #583
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12915 cec4b9c1-7d33-0410-9eda-942365e851bb |
61fe8c57f8232d051ad9b483ece8d87b03ced2c7 |
|
08-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
make first case of #583 go through
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12899 cec4b9c1-7d33-0410-9eda-942365e851bb |
67e7a4ffd0ba22b6ba7f7fd7876f389b2e89df70 |
|
07-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to improve heterogeneous instantiation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12898 cec4b9c1-7d33-0410-9eda-942365e851bb |
c528d35d975276f43d31dec4db9b4e1bf08e1fe2 |
|
02-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
omit theorem links for identical formal and actual parameters
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12873 cec4b9c1-7d33-0410-9eda-942365e851bb |
1d10e9a6a3b03c7aa4306ff936ccaeacf474059a |
|
01-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid duplicate definition links
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12872 cec4b9c1-7d33-0410-9eda-942365e851bb |
d11391a2447a2005329a95b5d770f24e62bf5b63 |
|
16-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added a pending field to DG links
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12837 cec4b9c1-7d33-0410-9eda-942365e851bb |
54ea981a0503c396c2923a1c06421c6235baf27f |
|
26-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
use a single Conservativity data type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12527 cec4b9c1-7d33-0410-9eda-942365e851bb |
13d0d9a3df7f3998f3c18c2fccbf2e3bbacbd4b5 |
|
10-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refined link origins
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12451 cec4b9c1-7d33-0410-9eda-942365e851bb |
cdcca7a63a02d363730ee1060e2500343da76afa |
|
09-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
only moved code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12443 cec4b9c1-7d33-0410-9eda-942365e851bb |
c5653d37b37dcc025ff6dd1eada95ae67116e699 |
|
09-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
streamlined link and node origins
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12439 cec4b9c1-7d33-0410-9eda-942365e851bb |
cc4537e2e13b93e08fc8391d3abb8e412cb71b80 |
|
09-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
reused ingoing signature instead using signature of node
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12438 cec4b9c1-7d33-0410-9eda-942365e851bb |
083a5256468076d5a9bfeb22a6e97076c224252e |
|
09-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved symbol check to ext_induced_from_to_morphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12437 cec4b9c1-7d33-0410-9eda-942365e851bb |
1b2649da700cc49d0d49e463e3962c07770f6204 |
|
09-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
check reverse inclusion of parameter and view source (with import), too
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12436 cec4b9c1-7d33-0410-9eda-942365e851bb |
8ecf5884934cad4efbcd60b92671b74e4aaeb62b |
|
09-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
uniformly check formal parameter with view source
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12435 cec4b9c1-7d33-0410-9eda-942365e851bb |
691ca0c9c7b21d58170be61c9c58899c5594fb2f |
|
09-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
for nested instantiations the outer imports do not need to be considered
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12434 cec4b9c1-7d33-0410-9eda-942365e851bb |
3d774b4dfa0e459c1a3b08b4aa32c85aa4875362 |
|
07-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
factored out duplicate code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12428 cec4b9c1-7d33-0410-9eda-942365e851bb |
27c2593d35d1013f630271ca2d1b566307aa4fb4 |
|
04-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
two specs below local spec
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12422 cec4b9c1-7d33-0410-9eda-942365e851bb |
5b68f1141555736e0b7ddbe14218bcabcc44636f |
|
04-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
made relxpath correspond to pp.xml source
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12421 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f9fabb8ac5cfd9234431ecf19b51ff3e985595a |
|
03-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
properly collect new declarations only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12410 cec4b9c1-7d33-0410-9eda-942365e851bb |
24f14a27a838087b661c2e66fdec4e436ddbd832 |
|
03-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
reuse constructed xpath
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12406 cec4b9c1-7d33-0410-9eda-942365e851bb |
c5bc8d60f7c753f81746828329d9e92db1ab7aba |
|
01-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed node naming and xpaths
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12384 cec4b9c1-7d33-0410-9eda-942365e851bb |
22250d2b3c9f86fe19cba665d71c301de03db142 |
|
31-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
longer extensions for node names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12365 cec4b9c1-7d33-0410-9eda-942365e851bb |
a4cb1786d23060c8521a88f08f9909589fa83a12 |
|
31-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
create proper inclusions for free and cofree specs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12360 cec4b9c1-7d33-0410-9eda-942365e851bb |
5a87ed846cc38cb0e3adf8f736d95614d3e724a3 |
|
28-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored union and genericity
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12333 cec4b9c1-7d33-0410-9eda-942365e851bb |
996a56a455d65cfac4ddedd44fd90cfc1ea849ae |
|
28-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
hlinted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12332 cec4b9c1-7d33-0410-9eda-942365e851bb |
6010f37233a15cb25960c86afaa4a23bbaa6a86c |
|
28-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed fitting error to warning see #719
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12002 cec4b9c1-7d33-0410-9eda-942365e851bb |
010997ddd12186698c1ebdbcddb63a670552b3c2 |
|
22-Jul-2009 |
Adrián Riesco <ariesco@fdi.ucm.es> |
New datatypes, basic analysis of modules without relations, another function imported from AnalysisStructured
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11982 cec4b9c1-7d33-0410-9eda-942365e851bb |
ef2affdc0cdf3acd5c051597c04ab9b08a346a7d |
|
15-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
reused genericity signatures in spec entries
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11931 cec4b9c1-7d33-0410-9eda-942365e851bb |
bd986fa9d0f451b8166efdb9027c153d101aa65b |
|
15-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
use emptyProofBasis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11929 cec4b9c1-7d33-0410-9eda-942365e851bb |
46947810076241f06f3e2919edb2289ed84d6c15 |
|
15-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
properly inserted conservativities
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11927 cec4b9c1-7d33-0410-9eda-942365e851bb |
278af20bd154d99e884bdf8c66d35d36699643c9 |
|
14-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
insert cons links differently
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11917 cec4b9c1-7d33-0410-9eda-942365e851bb |
81337d455794a0b50fae10b53d0ed85d9e8f2faf |
|
14-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
insert conservativity into the node
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11915 cec4b9c1-7d33-0410-9eda-942365e851bb |
412aa5e819f3cd18f0be10b5571661036515b151 |
|
10-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added further cons links #715
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11899 cec4b9c1-7d33-0410-9eda-942365e851bb |
3345a70c1ef5ba1065e4c8243e16464529b9d2e6 |
|
10-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
improve node name for empty signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11898 cec4b9c1-7d33-0410-9eda-942365e851bb |
6b00a9239fe7c804524099ca3d25f4ffc6079cee |
|
10-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
handle %cons that precedes an extension #715
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11897 cec4b9c1-7d33-0410-9eda-942365e851bb |
4a8f990902448d0562fbe1a98ce685ddbd531d38 |
|
10-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
handle cons annotations following = in spec-defns #715
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11896 cec4b9c1-7d33-0410-9eda-942365e851bb |
63fb549acb4eddfd045bb55da66c1fd4ff5b1ac5 |
|
10-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
fixed second half of #715
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11895 cec4b9c1-7d33-0410-9eda-942365e851bb |
ecf557c0b4f953106755a239da2c0b168064d3f4 |
|
18-Jun-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
made induced_from_morphism symbol tests logic independent
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11818 cec4b9c1-7d33-0410-9eda-942365e851bb |
1af66b491a6164e07ac202abfa0d06c6c2462d64 |
|
31-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
attached conservativity to definition links
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11631 cec4b9c1-7d33-0410-9eda-942365e851bb |
9192fdd8f0e682ac0f0183dd854d5210fbfa4ec5 |
|
24-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored link types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11573 cec4b9c1-7d33-0410-9eda-942365e851bb |
ba5c87b3f4a921f0932a08de48a3aedd3ca4d25b |
|
21-Dec-2008 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
documentation for data logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11185 cec4b9c1-7d33-0410-9eda-942365e851bb |
2701083ab584807a8dec6f2c8bc03237a25d9809 |
|
24-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted error position
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10733 cec4b9c1-7d33-0410-9eda-942365e851bb |
9efe0bf51725355f7a8be26dd44bb6a69212e7be |
|
24-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added error position
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10732 cec4b9c1-7d33-0410-9eda-942365e851bb |
2d879b474429900e22aec178ed54be734bda5b8a |
|
24-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added error position
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10731 cec4b9c1-7d33-0410-9eda-942365e851bb |
3cb09c6460a2262e392c759e363bf645f913a47a |
|
24-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed finality test (see #586)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10728 cec4b9c1-7d33-0410-9eda-942365e851bb |
c40822a6238ef14ebd3df830204c2790a68c8076 |
|
01-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
made data node internal
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10616 cec4b9c1-7d33-0410-9eda-942365e851bb |
0dcb86310998e097d3b15608f980f0a89a11a322 |
|
10-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced sequence with map by mapM
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10301 cec4b9c1-7d33-0410-9eda-942365e851bb |
d8220f52119f85832e72228b82543fa638449eec |
|
10-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed duplicate code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10295 cec4b9c1-7d33-0410-9eda-942365e851bb |
06afcb70f335c6de74007dc5d6bb19a7d06de457 |
|
04-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added further coercion for #541
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10259 cec4b9c1-7d33-0410-9eda-942365e851bb |
f1b14608f0f3db464c3aded480e49522d73b08e5 |
|
16-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
try to share translated nodes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10107 cec4b9c1-7d33-0410-9eda-942365e851bb |
9d500b1d6d1946f9e6f0c1f9ee548a611b3166b0 |
|
16-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-add forgotten inclusion link
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10106 cec4b9c1-7d33-0410-9eda-942365e851bb |
95c27038582e8a2ce24923bee69ef15931b8b87b |
|
13-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
attempt to solve #512
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10105 cec4b9c1-7d33-0410-9eda-942365e851bb |
64601796d2f62ffe61e9a5340dc569dd41dc2244 |
|
13-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed extendMorphism from G_morphism to GMorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10103 cec4b9c1-7d33-0410-9eda-942365e851bb |
f8fe1f095d5b7fd96bde0784289b001446e60d0b |
|
12-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
shared VIEW_DEFN and FIT_ARG code for mappings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10094 cec4b9c1-7d33-0410-9eda-942365e851bb |
6157bf81d295795067c177aa870fedff83cbe750 |
|
09-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
reverted back to spechub/Hets@0be5c0a1bf7280886776861f8673d02f330cd3ff since RCCVerification no longer works
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9904 cec4b9c1-7d33-0410-9eda-942365e851bb |
14ccb7ad7ef9ccd32a92696192fe46bc19e9dd68 |
|
08-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
coerced formal parameter to current logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9897 cec4b9c1-7d33-0410-9eda-942365e851bb |
244119a37d5d6ec4f5f88525eaca8c9b737d8ebe |
|
08-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added message strings to gSigCoerce
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9892 cec4b9c1-7d33-0410-9eda-942365e851bb |
d6c1dfc7dd358094c2ccd5aa271fce55f8ae300a |
|
07-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
begin to fix #512
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9887 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 |
12368e292c1abf7eaf975f20ee30ef7820ac5dd5 |
|
10-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced differently typed index maps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9730 cec4b9c1-7d33-0410-9eda-942365e851bb |
8528053a6a766c3614276df0f59fb2a2e8ab6d18 |
|
06-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated link and node origins
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9703 cec4b9c1-7d33-0410-9eda-942365e851bb |
7688e20f844fe88f75c04016841ebb5e5e3d927f |
|
04-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced tuples by proper data types, renamed NODE_NAME to NodeName
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9685 cec4b9c1-7d33-0410-9eda-942365e851bb |
d77276baacf4850fe1658a3c5eee897cca125a99 |
|
04-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
insert fitting links first for #496
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9680 cec4b9c1-7d33-0410-9eda-942365e851bb |
3fe83d4c932a8266edcf0304a97814c59821d91f |
|
04-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
used a single unique id for edges and changed computation of proof basis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9516 cec4b9c1-7d33-0410-9eda-942365e851bb |
627ed7abdbae641636a2d0f2510c0d450f5ee915 |
|
19-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjust error positions also for renamings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9208 cec4b9c1-7d33-0410-9eda-942365e851bb |
c30cfe2a6ab063befdfb47449bc286caee6d8fc3 |
|
13-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended ana_SPEC to add or ignore incoming symbols
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9172 cec4b9c1-7d33-0410-9eda-942365e851bb |
64e1905404e5135e98a26d2ab4150b6764956576 |
|
02-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
check or (due to bugs #456 and #439) adjust symbol sets in extended signatures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9132 cec4b9c1-7d33-0410-9eda-942365e851bb |
de66af0f4b27f08f81c7ca9c573ef9cdf7ca7a07 |
|
01-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
prepare checking symbol sets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9121 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 |
37d0b201b8ba5d6056691e3055dd803e7928e163 |
|
29-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed indices for domain and codomain of G_morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9099 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 |
f9e0b18852b238ddb649d341194e05d7200d1bbe |
|
29-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended signatures are already needed during logic specific static analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9093 cec4b9c1-7d33-0410-9eda-942365e851bb |
c731c8a89177e9a63e6d97906b3b45e40f1054ad |
|
24-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
rejected renaming of symbols from local env, computed symbol set of basic specs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9082 cec4b9c1-7d33-0410-9eda-942365e851bb |
1bc5dccbf0083a620ae1181c717fea75e4af5e5c |
|
18-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added extended signatures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9060 cec4b9c1-7d33-0410-9eda-942365e851bb |
1805f9816e3414ab184fb8546ab1abc6241f04cd |
|
12-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
considered logic renaming for just structured analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9044 cec4b9c1-7d33-0410-9eda-942365e851bb |
74b841a4b332085d5fd79975a13313c2681ae595 |
|
12-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
reused insLink and insGSig and replaced foldl
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9043 cec4b9c1-7d33-0410-9eda-942365e851bb |
a80f2865b6b40a922bcccfce0cb0d047edc33e3a |
|
12-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
used foldM instead of foldl and more clean up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9041 cec4b9c1-7d33-0410-9eda-942365e851bb |
0d0047d6eb457b56ff10987569769a420754a56f |
|
12-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
factored out link insertion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9039 cec4b9c1-7d33-0410-9eda-942365e851bb |
be3f5e3e69900ececafea5b010a8400f26af5362 |
|
11-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
also create nodes for theories
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9038 cec4b9c1-7d33-0410-9eda-942365e851bb |
a05cad7f2f387b795a71a3aaec543c78e1b89d38 |
|
11-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
factored out node creation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9037 cec4b9c1-7d33-0410-9eda-942365e851bb |
c40f5b4da5caf568cf9cc6e81c79613450e321ae |
|
11-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
layout only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9034 cec4b9c1-7d33-0410-9eda-942365e851bb |
283fdbf051a1cbcfe003ffdcb434564495106f13 |
|
11-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed some duplicate code for free and cofree and logic quals
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9033 cec4b9c1-7d33-0410-9eda-942365e851bb |
0abad5ead54b899f0d53671931e09a51f6d7517e |
|
11-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed dgl_type to GlobalDef of logic qualified specs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9032 cec4b9c1-7d33-0410-9eda-942365e851bb |
6108a4c3e891e85e6b36a658382d7e78ad4ce9e7 |
|
10-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed some duplicate code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9031 cec4b9c1-7d33-0410-9eda-942365e851bb |
7d5f239f3f1c1397e5d80caea12929bdf8abe2d8 |
|
10-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed analysis of logic qualified specs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9026 cec4b9c1-7d33-0410-9eda-942365e851bb |
e5fae0f42a23c12fce5389f405659d4e5dce73a4 |
|
10-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved ana_err
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9022 cec4b9c1-7d33-0410-9eda-942365e851bb |
3ea571db6dd6e0c42d02de4e56648c7cd86a3734 |
|
09-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved ana_VIEW_TYPE
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9014 cec4b9c1-7d33-0410-9eda-942365e851bb |
17d4f8c5576d93f36cafe68161cdb960ec49ce7c |
|
09-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved ref info deeper into the node label
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9009 cec4b9c1-7d33-0410-9eda-942365e851bb |
1c8c2b04b40b5c054da07b8d059e5ef29d4dbc32 |
|
08-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
shortened node label creation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9005 cec4b9c1-7d33-0410-9eda-942365e851bb |
97f7ac06b3cbf4fc22c0a9eef523b68ee34fc164 |
|
04-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added range to basic specs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8990 cec4b9c1-7d33-0410-9eda-942365e851bb |
7ad31de80b6544478f15dde43e22f0b7f612c438 |
|
03-Oct-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
MVars for locking in DevGraph replaced by Maybe MVar to avoid using error.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8984 cec4b9c1-7d33-0410-9eda-942365e851bb |
df098122ddc81fe1cb033a151f7305c1dda2dc81 |
|
28-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved parsing of empty basic specs to the heterogeneous level
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8954 cec4b9c1-7d33-0410-9eda-942365e851bb |
f7625a49be588fea200bb7dd52ac661875eef056 |
|
24-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
better show unknown symbols in fitting morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8900 cec4b9c1-7d33-0410-9eda-942365e851bb |
b5a5755f7d034f5ebc9f7f45e878c68695e139c4 |
|
24-Aug-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
MVar for locking added to DGNode and DGRef.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8703 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 |
1842453990fed8a1bd7a5ac792d7982c1d2bfcd5 |
|
15-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
made a separate module for G_theory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8618 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3faf4e4346b6224a3aaeeac11bac8b5c8932a29 |
|
13-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved GENERICITY, PARAMS, IMPORTED to AS_Library
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8600 cec4b9c1-7d33-0410-9eda-942365e851bb |
e899b993b4f642217274fda6f462fe1318ae3626 |
|
07-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8550 cec4b9c1-7d33-0410-9eda-942365e851bb |
f69416aa2b00518744d25a93aefbdb778f399787 |
|
31-Jul-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
see ticket 269
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8527 cec4b9c1-7d33-0410-9eda-942365e851bb |
2afae0880da7ca73c9376fd4d653ab19833fe858 |
|
23-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced GlobalContext by DGraph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8454 cec4b9c1-7d33-0410-9eda-942365e851bb |
62607bfd8541a700d18aee4f9cdb037aded5ab0b |
|
20-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
fail if trying to hide unknown symbols
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8437 cec4b9c1-7d33-0410-9eda-942365e851bb |
df6a17db4941e2b24571112079dd742e3754a75f |
|
15-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added positions, fixed ticket #304
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8051 cec4b9c1-7d33-0410-9eda-942365e851bb |
edd35c6c970fa1707dc6ad7a3ba26119e0046223 |
|
30-May-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
step one of abstraction of DGraph, see ticket 269
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7947 cec4b9c1-7d33-0410-9eda-942365e851bb |
c709832fd2eca1b9970e36e1b8022f4cee1c0289 |
|
11-May-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved getMapAndMaxIndex from AnalysisStructured to DevGraph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7892 cec4b9c1-7d33-0410-9eda-942365e851bb |
ed4bb9215e1f14fc8147b36fa02272c05e4d91fe |
|
11-Mar-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
changed the edge_id from Int to [Int], details see ticket 290
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7636 cec4b9c1-7d33-0410-9eda-942365e851bb |
d4755076e0e91104c0a08fc71d8846db8c81be3e |
|
09-Mar-2007 |
Jian Chun Wang <wjch868@informatik.uni-bremen.de> |
added signature indices for G_morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7630 cec4b9c1-7d33-0410-9eda-942365e851bb |
9dfa1c020a030abdbcfce17b18000cc4e1f28462 |
|
02-Mar-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
properly computed locally declared symbols
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7590 cec4b9c1-7d33-0410-9eda-942365e851bb |
0066f18f8ce6221eb08845adf63cc034f90d62e0 |
|
26-Feb-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
for ticket 182
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7551 cec4b9c1-7d33-0410-9eda-942365e851bb |
0f2be8b95750f4ac578e8a92ac6ef73b48526580 |
|
22-Feb-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
moved things from todo lists into Trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7514 cec4b9c1-7d33-0410-9eda-942365e851bb |
2cafc2361fcaccf6b82d81f6a94f59e42af725c7 |
|
22-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved position of Spec_inst for ticket 176
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7510 cec4b9c1-7d33-0410-9eda-942365e851bb |
640bbf0d230043651258cb317510aa77621e8c36 |
|
22-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved position of fit args
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7509 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 |
410ff490af511ffa09b52e4de631d36a154b9730 |
|
21-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated extra set utils not in Data.Set
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7490 cec4b9c1-7d33-0410-9eda-942365e851bb |
262b469babd58a3442c8f3949093917e17997974 |
|
13-Feb-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
moved things to Trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7426 cec4b9c1-7d33-0410-9eda-942365e851bb |
8db9f3913d0449639e5ba99c0600852fbe6afe2b |
|
13-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
morphism number is unknown after ana_ren1
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7425 cec4b9c1-7d33-0410-9eda-942365e851bb |
6f7271963dfd7c46ffdf946d659a1cf791899270 |
|
30-Jan-2007 |
Jian Chun Wang <wjch868@informatik.uni-bremen.de> |
used auxiliary function for maps with maximum index
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7354 cec4b9c1-7d33-0410-9eda-942365e851bb |
dbbcdfeafa68c87e0b2be0096788844e2be08345 |
|
23-Jan-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored Map access
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7331 cec4b9c1-7d33-0410-9eda-942365e851bb |
e6aa023e6cf2d2c6978114a70d8c3ba7b8b027e1 |
|
16-Jan-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
further index changes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7316 cec4b9c1-7d33-0410-9eda-942365e851bb |
ebed90d00e82aebf729405fc3aa14504cd4176f7 |
|
16-Jan-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted local indices
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7314 cec4b9c1-7d33-0410-9eda-942365e851bb |
a980a2f16eda9aad70f1f53f9df713595f57cb78 |
|
16-Jan-2007 |
Jian Chun Wang <wjch868@informatik.uni-bremen.de> |
added indices
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7313 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 |
2bb9a3bf532ca82f097e01da9ab9e06015c246af |
|
19-Dec-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added theory map entry
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7275 cec4b9c1-7d33-0410-9eda-942365e851bb |
04909008511a6617acde6325d8f8547d6f49a859 |
|
19-Dec-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
used gEmbed2 from Grothendieck
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7273 cec4b9c1-7d33-0410-9eda-942365e851bb |
33902665eab01da3a367b5d67ed6513a5e669003 |
|
19-Dec-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added morphism into morMap
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7270 cec4b9c1-7d33-0410-9eda-942365e851bb |
e24d81c69aecd41abb2f4969519c9e7126b1d687 |
|
15-Dec-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added indices to G_sign, GMorphism, G_morphism und G_theory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7264 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 |
89ab08979dc23d72e9e09c8990a8c44847041d6f |
|
26-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up diags reporting
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6521 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 |
ff3bc28a09cff76d4d6cbe8914ab53d1e032d009 |
|
21-Feb-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
check that symbols from local env are left untouched
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5857 cec4b9c1-7d33-0410-9eda-942365e851bb |
c1f654e5454af20eca35aa69f13c5144f405aed9 |
|
25-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trace
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5706 cec4b9c1-7d33-0410-9eda-942365e851bb |
ed373f8356ebc42bd83aaa5ff9b908e07721f2be |
|
23-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
consistently used toList rather than Map.assocs or toAscList
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5692 cec4b9c1-7d33-0410-9eda-942365e851bb |
eb8a05567e94cb9f477cd9dee6b337aa8dee02d6 |
|
20-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Set.size uses with new Set operations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5684 cec4b9c1-7d33-0410-9eda-942365e851bb |
c3a264bbb3692f9b44024c6024382e3ed6590688 |
|
18-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
return GlobalContext instead of DGraph in Result
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5670 cec4b9c1-7d33-0410-9eda-942365e851bb |
b03274844ecd270f9e9331f51cc4236a33e2e671 |
|
12-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed GlobalContext to a record
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5635 cec4b9c1-7d33-0410-9eda-942365e851bb |
4cb77926a2d85ce3bb32ac0938f0100c8c528dc2 |
|
30-Dec-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added inclusion test to compInclusion; such that it can be used in a speculative manner
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5571 cec4b9c1-7d33-0410-9eda-942365e851bb |
22dd6d9af47163ee081d6c505d0a13dbf40ba87a |
|
07-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up, disambiguation is done by toThSens now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5497 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 |
b09e198429cbfc6038f0d0a558114ceb58c6d689 |
|
06-Oct-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
disambiguate sentence labels before entering these in DG
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5148 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 |
30f64088b9425c9b928bd4074e8f37ea35cb0278 |
|
29-Sep-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
disambiguate axioms already during static analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5103 cec4b9c1-7d33-0410-9eda-942365e851bb |
5d812ccb300d5ca8b6e9474d2a644b964faf2d28 |
|
10-Aug-2005 |
Jorina Freya Gerken <jfgerken@gmx.de> |
added dgn_cons and dgn_cons_status to DGNode (in Static/DevGraph.hs)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4897 cec4b9c1-7d33-0410-9eda-942365e851bb |
7bf4436b6f9987b070033a323757b206c898c1be |
|
03-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced type safe coercions, separated G_prover and G_cons_checker, partly removed G_ext_sign
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4854 cec4b9c1-7d33-0410-9eda-942365e851bb |
4ea99e115bbade1632815267d5e0dcb9931aac1e |
|
02-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
decorated theory sentences,renamed DevGraph.Open to LeftOpen,handcoded ATC/DevGraph.hs due to cyclic data types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4843 cec4b9c1-7d33-0410-9eda-942365e851bb |
b9804822fb178b0fc27ce967a6a8cedc42c5bf90 |
|
02-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored NodeSig
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4838 cec4b9c1-7d33-0410-9eda-942365e851bb |
02b3d9f81150bedd0916c2ffc637a14668e34097 |
|
01-Aug-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
todo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4833 cec4b9c1-7d33-0410-9eda-942365e851bb |
8a8880f1b6a0681e636480991d45dfea11d62ff8 |
|
29-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
used G_theory in DevGraph and removed G_l_sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4829 cec4b9c1-7d33-0410-9eda-942365e851bb |
d210b655b5f93a0fff2eefbb94c072d450cef3b4 |
|
26-Jul-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
raise fatal error if a specification name is not found, in order to prevent funny follow up errors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4790 cec4b9c1-7d33-0410-9eda-942365e851bb |
2b346670d3e146788fa056a4b0fafa357d8bf31b |
|
25-Jul-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
switched to fatal_error in cases where no value can be returned
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4771 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 |
6be12b57d589b1ee2d41d8c26502a68013fdf9ad |
|
27-Jun-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
removed cons annotation for %implies extensions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4512 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 |
587fb54160b66128cf17e4c9bca7494a7f2c3c4a |
|
23-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
homogenized FIT_ARG data type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4315 cec4b9c1-7d33-0410-9eda-942365e851bb |
de6c4edf5694b8bad67ecec910c492eaf1129dc8 |
|
17-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
used basic implementation of insEdgeNub
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4283 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 |
b645cf3dc1e449038ed291bbd11fcc6e02b2fc7f |
|
09-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed all position infos to [Pos]
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4224 cec4b9c1-7d33-0410-9eda-942365e851bb |
f9690de9acb57e279b8ad5792d71b48ffbb807e7 |
|
19-Apr-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
was not properly sorted (argh)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4092 cec4b9c1-7d33-0410-9eda-942365e851bb |
ed20c3b1e992d174a2cbb2077e61817527f8e061 |
|
19-Apr-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
speeded up kernel computation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4090 cec4b9c1-7d33-0410-9eda-942365e851bb |
db7143998eee23e3d781f1f1e97e953bb831df1f |
|
20-Mar-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added names for internal nodes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3981 cec4b9c1-7d33-0410-9eda-942365e851bb |
7f4c380d6b38e229de365db3c84be767515a3386 |
|
02-Mar-2005 |
Jorina Freya Gerken <jfgerken@gmx.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3880 cec4b9c1-7d33-0410-9eda-942365e851bb |
d290f2ee3d1a4d60c77c5dd06979453f3fa34faf |
|
02-Mar-2005 |
Jorina Freya Gerken <jfgerken@gmx.de> |
adapted usage of DGNode to changes of the data type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3878 cec4b9c1-7d33-0410-9eda-942365e851bb |
43b4c41fbb07705c9df321221ab9cb9832460407 |
|
25-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved modules from hetcats to Driver
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3858 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3782b0e45c58a2410166c52a0854f46e0cbac65 |
|
03-Feb-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
actual fitting morphism composed with inclusion into union with local env
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3767 cec4b9c1-7d33-0410-9eda-942365e851bb |
c1168130136b44bcfa8946dbda76be553aa7344b |
|
01-Feb-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Completed static analysis of conservativity annotations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3758 cec4b9c1-7d33-0410-9eda-942365e851bb |
a06f7d58d7684e8a9a2fbfee22d365a52f822fee |
|
21-Jan-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3700 cec4b9c1-7d33-0410-9eda-942365e851bb |
2bd8d46d63234fd3d3450577d59e40fd290f7413 |
|
20-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
fixed error and warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3694 cec4b9c1-7d33-0410-9eda-942365e851bb |
95656e84acc96386173c1d6fc068aa2fb8820020 |
|
20-Jan-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added further dummies for refinement analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3693 cec4b9c1-7d33-0410-9eda-942365e851bb |
2e946318c3fef0a5d026100080186096d467a28a |
|
11-Jan-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
preparations for conservativity annos
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3656 cec4b9c1-7d33-0410-9eda-942365e851bb |
7d6e50cd555041f5d86484285fa1d78f7fc7d3d5 |
|
11-Jan-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
preparations for conservativity annos
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3655 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 |
52aad0502f0ddd332a28ae3fcd3327fa66d002f7 |
|
28-Dec-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
static analysis of 'with logic'
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3596 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 |
0cb5f9c8582ad87ceef1c16b5d92347ae0878019 |
|
10-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced new Pos type in Id
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3413 cec4b9c1-7d33-0410-9eda-942365e851bb |
7297175957c5ad3c0498032190b1dee9ec5fb873 |
|
04-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced isStructured option query and untabified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3376 cec4b9c1-7d33-0410-9eda-942365e851bb |
6218c1f87fbce3087d7d013c41a3adac5ade1d9c |
|
02-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved position of a Spec_inst without fitargs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3370 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 |
f534c0116096e25659ceaa57de030c497ce9345a |
|
02-Sep-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
insert double edges only once into DGs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3124 cec4b9c1-7d33-0410-9eda-942365e851bb |
31c49f2fa23d4ac089f35145d80a224deb6ea7e4 |
|
28-Aug-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added flag UNI_PACKAGE to allow removal of UniForM workbench
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3112 cec4b9c1-7d33-0410-9eda-942365e851bb |
6a57a555c8ef0a79aa5d20e1d721400dbffa564a |
|
28-Aug-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Refactored to use full HetcatsOpts instead of just_struct
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3106 cec4b9c1-7d33-0410-9eda-942365e851bb |
ae17d457c2d00d47d65e8cd510c3fd21b9516ccb |
|
11-Aug-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Better printing of sublogics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3053 cec4b9c1-7d33-0410-9eda-942365e851bb |
3476beb5baf84bef7cc7d627b130de9d48700399 |
|
29-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
use adjustPos for propagating positions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2996 cec4b9c1-7d33-0410-9eda-942365e851bb |
d08907a7832988612fbc0682b216e150d1e738d2 |
|
26-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
prefer a cheaper subsignature test if possible
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2979 cec4b9c1-7d33-0410-9eda-942365e851bb |
5b1394673f35f4d23cfe08175841ab414a39678e |
|
20-Jul-2004 |
Markus Roggenbach <M.Roggenbach@swansea.ac.uk> |
analysis of data specs debugged
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2960 cec4b9c1-7d33-0410-9eda-942365e851bb |
70e2af8d4bf21bcdfb53e9a0414e27173b577a1e |
|
14-Jun-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
todo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2858 cec4b9c1-7d33-0410-9eda-942365e851bb |
2b4130336e941b7d01c78a6da55449a4c6eca609 |
|
23-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Refactoring for smooth integration of CASL extensions.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2310 cec4b9c1-7d33-0410-9eda-942365e851bb |
cf29cb0194d75de2182bfc73fa7da68e90a4a19e |
|
22-Mar-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Added extendMorphism to the list of exported symbols
Added Haddock comments for extendMorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2304 cec4b9c1-7d33-0410-9eda-942365e851bb |
c529224e0ec191fbaa87261f05c34f89c17b3f3a |
|
15-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Debugging of proof support; problem with optimized unions fixed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2277 cec4b9c1-7d33-0410-9eda-942365e851bb |
1a7b7802544aa94828d7f4e7be5788501c572934 |
|
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@2276 cec4b9c1-7d33-0410-9eda-942365e851bb |
16f81021a104661b1872eb5af876e7c4d22fdab5 |
|
11-Mar-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Made ana_RENAMING and ana_RESTRICTION exported
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2256 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 |
679d3f541f7a9ede4079e045f7758873bb901872 |
|
14-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added references to the CASL Reference Manual.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2169 cec4b9c1-7d33-0410-9eda-942365e851bb |
1bb1684c83317dfd1692ab53415027b67d8f2fae |
|
09-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Better error msg
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2118 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 |
79ee6b8eb396ed31807784a4bb1c9cc2ce094835 |
|
08-Jan-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1920 cec4b9c1-7d33-0410-9eda-942365e851bb |
a946fa1fe525f04a8b4e2734fa2082bbe5e6ed3f |
|
29-Dec-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Static analysis of generic fitting views completed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1902 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 |
c0380b947eef252db81ee562246bb732555427f4 |
|
08-Dec-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Implicit logic embeddings for spec_inst without params
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1892 cec4b9c1-7d33-0410-9eda-942365e851bb |
b98cda7c6baf98541ea5f41017cfa9606cab357b |
|
19-Nov-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Hack: extendMorphism is union of actual param + body
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1848 cec4b9c1-7d33-0410-9eda-942365e851bb |
49b9a9cbf17489cbaf97431247161f42e9fc5ae0 |
|
05-Nov-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Adapted to Haddock
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1822 cec4b9c1-7d33-0410-9eda-942365e851bb |
8fe1a8e240ccd5f3682a936ef2fa4c22fee973bc |
|
15-Oct-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1761 cec4b9c1-7d33-0410-9eda-942365e851bb |
bfa9e03532243ceb487f0384d0f6a447f1ce7670 |
|
08-Oct-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Extended just-struct flag also to signature morphism analysis.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1748 cec4b9c1-7d33-0410-9eda-942365e851bb |
022f4e4f5488defedc48581e87f0222f82d5afe4 |
|
30-Sep-2003 |
Jorina Freya Gerken <jfgerken@gmx.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1734 cec4b9c1-7d33-0410-9eda-942365e851bb |
1aa2d970e253d650a50873d5b1213c26b04d90dc |
|
29-Sep-2003 |
Jorina Freya Gerken <jfgerken@gmx.de> |
introduced data ThmLinkStatus
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1732 cec4b9c1-7d33-0410-9eda-942365e851bb |
0c2a90cbfb63865ff485c3fbe20a14589a5914be |
|
24-Sep-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Simple version of inducedFromTo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1721 cec4b9c1-7d33-0410-9eda-942365e851bb |
a938729e277da5c7742bb88946ab2c150416fd5d |
|
22-Sep-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Debugging
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1715 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 |
b09c4ce9ee62d8b62f6c7bb12956a3dea4defd95 |
|
25-Jul-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
DG proofs added (initial version)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1599 cec4b9c1-7d33-0410-9eda-942365e851bb |
a205324331077b7d5a2c08fb3f0f57e5c029f9aa |
|
25-Jul-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Fixed bug in dev graph construction
Other minor stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1598 cec4b9c1-7d33-0410-9eda-942365e851bb |
e18f5e61d29064a427ca7bef421e250a9a4c9701 |
|
21-Jul-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Type error removed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1566 cec4b9c1-7d33-0410-9eda-942365e851bb |
f7819aa9d183836144a98c70d4fa7d65e31cb513 |
|
21-Jul-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Verbosity level of error messages set to 1
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1565 cec4b9c1-7d33-0410-9eda-942365e851bb |
4184cb191a9081cb2a9cf3ef5f060f56f0ca5922 |
|
17-Jul-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Deleted the lid arguments from GMorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1548 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 |
51799b645c240de2b948dacd90dd7d218104d4d3 |
|
20-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused (and now invalid) import
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1514 cec4b9c1-7d33-0410-9eda-942365e851bb |
c0ba7121c93e4f9292f2d95a0ac7460a7b9e5aea |
|
20-May-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Output of diags commented in (who has commented this out???).
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1425 cec4b9c1-7d33-0410-9eda-942365e851bb |
21dae7237ac384abdb94a81e00b3f099873ec623 |
|
19-May-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Improved treatment of paths and filenames.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1413 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 |
74e82e43f5787027c5d4e523397525a259d6d001 |
|
06-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed pretty in favour of showPretty
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1347 cec4b9c1-7d33-0410-9eda-942365e851bb |
c06dd8856a03b72f6b3f69e874f8700f10cb8522 |
|
05-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
haddockified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1326 cec4b9c1-7d33-0410-9eda-942365e851bb |
1b05bdb88b90d3c947351f262d7ae7d68f0a4a6f |
|
04-May-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Introduced global contexts
Fed options into static analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1317 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 |
c616e681da8c052b62e14247fea522da099ac0e4 |
|
25-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced FiniteMap with Map
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@995 cec4b9c1-7d33-0410-9eda-942365e851bb |
ba904a15082557e939db689fcfba0c68c9a4f740 |
|
24-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
qualified module names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@976 cec4b9c1-7d33-0410-9eda-942365e851bb |
95c3e5d11dcee331dc3876a9bf0c1d6daa38e2ca |
|
21-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved down to Static
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@954 cec4b9c1-7d33-0410-9eda-942365e851bb |