8d60e45ae6ee598d910c5c85eba70c5500d7f519 |
|
20-Nov-2017 |
mscodescu <mscodescu@gmail.com> |
removed tracing |
85e47ae3b5dc43834dd9b10af3bd42ca2e10fc88 |
|
20-Nov-2017 |
mscodescu <mscodescu@gmail.com> |
add condition for freeness in shortcutUnions |
5022458dbee9d20a1b9d0925384202124341c371 |
|
14-Nov-2017 |
Till Mossakowski <till@iws.cs.ovgu.de> |
tracing the dev graph |
4a0d4d0e376ef140ec57e47084d65f540e555a92 |
|
01-Nov-2017 |
mscodescu <mscodescu@gmail.com> |
removed tracing |
e7bd3ae7fc8b063f253c450dfb7cce6229416f3a |
|
01-Nov-2017 |
mscodescu <mscodescu@gmail.com> |
method for ensuring unique names |
3c5c7e3fbc88e305dfb8a017757da84b2565d919 |
|
29-Oct-2017 |
mscodescu <mscodescu@gmail.com> |
made node names different |
907d5e21f3e81ffbc994fa7ca7ef06a33f62252b |
|
15-Aug-2017 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Remove dead code: SLinkPath and LinkPath. (#1719) |
2fffd97efb53c792854c1557a87fd4f994e5a2b3 |
|
13-May-2016 |
mcodescu <mscodescu@gmail.com> |
static analysis of networks, renamed graphs to networks |
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 |
d839c07e1c3c115ea814b8b767969959b24991ea |
|
11-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
some comments on the alignment signature |
b091c4dea1b7100eea1c1e61cfd534e85e43c5c3 |
|
10-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
static analysis of extract |
42e78fd3454812d4f98b06154fdabc5ec3488718 |
|
29-Feb-2016 |
mcodescu <mscodescu@gmail.com> |
static analysis of intersections |
dc62afbf79603699b39b2387f48298634f642e67 |
|
12-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
copied changes for dol-parsing into new branch |
fa8878c6145f652f615a04a5e9c15a1d1327bc92 |
|
09-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
derived more Typeable and Data instances |
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 |
c246854fd9abd0cdb3d11a52a350ebad2fbaa09b |
|
20-Dec-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
fixed union shortcut for basic library
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18415 cec4b9c1-7d33-0410-9eda-942365e851bb |
3d3889e0cefcdce9b3f43c53aaa201943ac2e895 |
|
29-Nov-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
removed lots of hlint warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18342 cec4b9c1-7d33-0410-9eda-942365e851bb |
e4e39c9a78ab34bafd75b292839c20506e7f539b |
|
07-May-2013 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
static analysis of alignments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17952 cec4b9c1-7d33-0410-9eda-942365e851bb |
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 |
6f08518fe3561930fef290b8e01384a6f1c90598 |
|
05-Apr-2013 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
better conservativity messages
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17839 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 |
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 |
55b14de0878c596dc00920ecac65bab478e930e8 |
|
22-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed more simple ids to IRIs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16963 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 |
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 |
52a517e75f259c5be9ee7924d5595cb4e93f44d0 |
|
28-Nov-2011 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
reverted changes at DevGraph since i did not use them at all
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16492 cec4b9c1-7d33-0410-9eda-942365e851bb |
01bf5a978a5dd7aecf7dea0ee2e1046922c64fd2 |
|
28-Nov-2011 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
keep and use nodes cons status information from xml data
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16490 cec4b9c1-7d33-0410-9eda-942365e851bb |
26210e52bda19c75ac6a4287d16ce9d8789b68de |
|
02-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added function to rename edge-ids
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16416 cec4b9c1-7d33-0410-9eda-942365e851bb |
47d8a884a2009b0d107796340fbde2caf9c9c1d8 |
|
31-Oct-2011 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
employ changeDGH for element deletion to update dghistory accordingly
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16406 cec4b9c1-7d33-0410-9eda-942365e851bb |
66c6e29ddfa36396c7ebfc02d01d8d7e6c26976c |
|
26-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed addToRefNodesDG
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16392 cec4b9c1-7d33-0410-9eda-942365e851bb |
8df6fc1760075824439893f25d30f9de4bd636e8 |
|
26-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
keep all ref nodes in sync during node insert and delete
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16391 cec4b9c1-7d33-0410-9eda-942365e851bb |
0a88e7637a6280d946690aff9014d370c15e5d97 |
|
26-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed refNodes map since ref nodes can be looked up in the label
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16390 cec4b9c1-7d33-0410-9eda-942365e851bb |
4dbc9075fdbcffbdf7bc0809d185c3bfc38fbd9d |
|
25-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16383 cec4b9c1-7d33-0410-9eda-942365e851bb |
91fa591190dcfdd3ecec50a4fbfc26397b36056e |
|
25-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed inefficient lookup function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16382 cec4b9c1-7d33-0410-9eda-942365e851bb |
bac5a791547aa3ac8e7554fcc2c9533e609ef474 |
|
25-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored nameMap usage
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16378 cec4b9c1-7d33-0410-9eda-942365e851bb |
da263622b03672e32a32418ba8085cc074ad8afe |
|
24-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added newConsNodeInfo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16373 cec4b9c1-7d33-0410-9eda-942365e851bb |
5d75e163c4134d97bba0ced346c3095d7150685c |
|
24-Oct-2011 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
applied scan
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16368 cec4b9c1-7d33-0410-9eda-942365e851bb |
0013ad45ed76357d2ca114ce128d9c75d42fc2ff |
|
24-Oct-2011 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
use DevGraph functions instead of (interactive) ChangeGraph ones
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16366 cec4b9c1-7d33-0410-9eda-942365e851bb |
17be7914f897d0b0c6488eb1391f5695ec74f7e1 |
|
18-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
delete global theorem links
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16314 cec4b9c1-7d33-0410-9eda-942365e851bb |
be5ff99194b2ba0a1a35093e0ea21d4da332b526 |
|
17-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
further renaming and moving
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16307 cec4b9c1-7d33-0410-9eda-942365e851bb |
e055d03c5a3acdcaa978bceadbd4e27926f54756 |
|
17-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added thmProofBasis function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16306 cec4b9c1-7d33-0410-9eda-942365e851bb |
a5bd19ccaa5ad701cbfb9fdee0514f6e5d7fbc35 |
|
17-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added isLocalThm test
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16304 cec4b9c1-7d33-0410-9eda-942365e851bb |
0d0278c34a374b29c2d6c58b39b8b56e283d48e8 |
|
14-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
modified dev-graphs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16292 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 |
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 |
f5257648a040fda02fc27a28b1d17f6ba53307c5 |
|
15-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed (still unused) link names to plain strings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16135 cec4b9c1-7d33-0410-9eda-942365e851bb |
cb677b28797cf29452620f58606e174ab93ac426 |
|
15-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved link type tests and removed duplicate function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16133 cec4b9c1-7d33-0410-9eda-942365e851bb |
1fc675533b073b8cd17be69f4b42fd900043cc1d |
|
14-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
check sublogic theory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16126 cec4b9c1-7d33-0410-9eda-942365e851bb |
5f662be3a5a327b763dbc53e28836a04cfc3bd3a |
|
07-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
minor refactoring
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16103 cec4b9c1-7d33-0410-9eda-942365e851bb |
dc21a74c78d138d5eba4a2b7c7965936f0892d77 |
|
10-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoided GeneralizedNewtypeDeriving
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15955 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 |
eebfd27d0164fc09ff3ad8e178cc3614975ca5f1 |
|
05-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed roughElem test
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15900 cec4b9c1-7d33-0410-9eda-942365e851bb |
f7858d3322f3af50b2c240ff06c2b249a6743f4d |
|
05-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused data type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15899 cec4b9c1-7d33-0410-9eda-942365e851bb |
672f7d206eca9fa50e6acb4f9450b3f3daf67d7e |
|
05-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected docu
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15897 cec4b9c1-7d33-0410-9eda-942365e851bb |
0a5165c161ce13d434b5c0488b533a8de98aafaa |
|
05-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified DGRule data type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15895 cec4b9c1-7d33-0410-9eda-942365e851bb |
9deba6a2981f6b73fc57f27d525cabbb4f8bf484 |
|
21-Jul-2011 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
refname and relxpath is kept for node elements
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15664 cec4b9c1-7d33-0410-9eda-942365e851bb |
2002ef9b3374fac8ee011b4f15b2e2f3fc871d8b |
|
20-Jul-2011 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
added special edge insertion that uses original edgeIDs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15615 cec4b9c1-7d33-0410-9eda-942365e851bb |
eccd7c7446e270bda674c07248d04fccc41cba0b |
|
04-Jul-2011 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
edgeId is read from Xml-file and used to insert DGLinks
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15442 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 |
e9e841a0d565b535a2c1d57a9517f902942b86c7 |
|
16-Jun-2011 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
added reading of DGEdgeType from a String
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15156 cec4b9c1-7d33-0410-9eda-942365e851bb |
6991b9cb29b2d8f106642e547fee727aeac5e52b |
|
16-Jun-2011 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
changed DevGraph.DGEdgeTypeModInc so that FreeOrCofree information is kept for FreeOrCofreeThm also
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15155 cec4b9c1-7d33-0410-9eda-942365e851bb |
5c9d9c85e0aac314175d6804a994993aabbd1a89 |
|
16-Jun-2011 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
changed DevGraph.DGEdgeTypeModInc so that FreeOrCofree information is kept
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15154 cec4b9c1-7d33-0410-9eda-942365e851bb |
d24317c8197e565e60c8f41309de246249c1e57e |
|
07-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added source node for hiding thm-link morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15084 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 |
4f8a6dee8333cac3769f6952d64965867e017f4d |
|
16-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
show conservativity labels
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14722 cec4b9c1-7d33-0410-9eda-942365e851bb |
a40269fb18e1305cb83ef3dde94758b86a0bb917 |
|
08-Feb-2011 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
removed typing links
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14500 cec4b9c1-7d33-0410-9eda-942365e851bb |
ff2f6cd95824982d1a521e460f0beddb408eb479 |
|
02-Feb-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
moved some lookup functions to DevGraph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14469 cec4b9c1-7d33-0410-9eda-942365e851bb |
5dad1d101f19a24ec783767c720a9b36640a1222 |
|
31-Jan-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
changed some lookup function names to more appropriate filter name, added substitution processing in CAD matching
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14455 cec4b9c1-7d33-0410-9eda-942365e851bb |
47eccce31f61e167e5f279cd4b8ad5db7f859019 |
|
27-Jan-2011 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
show theory from dependency diagram
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14431 cec4b9c1-7d33-0410-9eda-942365e851bb |
fc817bd850c8758e28e8a559edfa1e47d6fee1dc |
|
20-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
generalize liftE
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14393 cec4b9c1-7d33-0410-9eda-942365e851bb |
bd89c4685932384bd8b8ab8788969f4822d415c9 |
|
20-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected haddock markup and cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14392 cec4b9c1-7d33-0410-9eda-942365e851bb |
1c039dc13801bb9c90ad6a1bac0e56af19fd2fbf |
|
18-Jan-2011 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
consistency check for arch specs, needs some testing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14385 cec4b9c1-7d33-0410-9eda-942365e851bb |
4042abb1169a3786988de7b61e3af2bf82982654 |
|
12-Jan-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added new module for development graph navigation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14376 cec4b9c1-7d33-0410-9eda-942365e851bb |
50cdae110022fab83b502e9336f7d28ef3c1ceb6 |
|
11-Jan-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
removed duplicate function getLinkOriginName, added pretty instance for NodeName, changed result type of getSigSens and adapted the calls to it
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14373 cec4b9c1-7d33-0410-9eda-942365e851bb |
8a2beea4bd05c640b6848837c2ab0399f22afb72 |
|
11-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored hasSenKind
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14371 cec4b9c1-7d33-0410-9eda-942365e851bb |
f9cb06fe57b092da1972509c24341e02af131bb5 |
|
10-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added comment to ConsStatus
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14357 cec4b9c1-7d33-0410-9eda-942365e851bb |
f99c9fca932e8e6e8111049fd93164ed81e1b0ab |
|
09-Dec-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed ghc-7 warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14306 cec4b9c1-7d33-0410-9eda-942365e851bb |
df5eb1b8e587946c9d072f4ee6ac7d001719b034 |
|
01-Dec-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added LibDefn to DevGraph and modified anaLibDefn
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14278 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 |
498fc2a11ba7fdfd698382a3478858fbae7fda88 |
|
15-Nov-2010 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
made the example from WADT submission go through, nothing left to do in refinement trees
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14222 cec4b9c1-7d33-0410-9eda-942365e851bb |
01de02558623122ae23015566f1eb5d4c9406b1a |
|
08-Oct-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
change unused getDGLinksByName to getDGLinksById
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14126 cec4b9c1-7d33-0410-9eda-942365e851bb |
eddee8f827d2eb40befa0be6bcaeaa24cb444b9f |
|
08-Oct-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused getDGNodesByName
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14125 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 |
40673b95e958603e990266baef936c28cdbb6e5e |
|
13-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
keep globally track of open graphs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14062 cec4b9c1-7d33-0410-9eda-942365e851bb |
66c8f65be7015a17341647cbbf57400644c4abce |
|
07-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove unused function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14012 cec4b9c1-7d33-0410-9eda-942365e851bb |
e9aaf6898bd871f71d839c804351c98216806f5b |
|
02-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13973 cec4b9c1-7d33-0410-9eda-942365e851bb |
98890889ffb2e8f6f722b00e265a211f13b5a861 |
|
01-Sep-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Added see license.txt to license field
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13959 cec4b9c1-7d33-0410-9eda-942365e851bb |
b87efd3db0d2dc41615ea28669faf80fc1b48d56 |
|
11-Aug-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Changed haddock headers and inserted empty headers for the ones missing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13857 cec4b9c1-7d33-0410-9eda-942365e851bb |
a3bd23830164c4bfcd5fd8b5f6dc9295594aaa72 |
|
02-Aug-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
removed the automatic naming of def-links
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13805 cec4b9c1-7d33-0410-9eda-942365e851bb |
a3963596b8a24e870708767e064a9e24cfa7e5ed |
|
12-Jul-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13713 cec4b9c1-7d33-0410-9eda-942365e851bb |
3e701ac50ef78728d1d2468582b21ec034011f38 |
|
05-Jul-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed questionable noNodesDG
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13675 cec4b9c1-7d33-0410-9eda-942365e851bb |
1655691b738edd00746fdc94927c0f08ed2ff93e |
|
05-Jul-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13674 cec4b9c1-7d33-0410-9eda-942365e851bb |
7a52b2e40cd72aa539e7390e87d108450d5c135a |
|
05-Jul-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused DG rules
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13673 cec4b9c1-7d33-0410-9eda-942365e851bb |
9d8a5f5421f33ed438e7ddaddd1f6ef17b4d24c5 |
|
05-Jul-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved functions for unlabelled edges
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13672 cec4b9c1-7d33-0410-9eda-942365e851bb |
f55d53ec111c3ce2039a2dc0f3fb35463e708bb0 |
|
05-Jul-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
prefer lists of maybe values
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13671 cec4b9c1-7d33-0410-9eda-942365e851bb |
23a0c19ea8d6075fc765c64a20c70b119434823a |
|
05-Jul-2010 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
shortened names, removed some warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13668 cec4b9c1-7d33-0410-9eda-942365e851bb |
5829d032d11d29e0a4d7dde9091fc743db206dfc |
|
29-Jun-2010 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
refinement trees
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13654 cec4b9c1-7d33-0410-9eda-942365e851bb |
32647be84c5f21615df50b202bb0ea689e65500c |
|
29-Jun-2010 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
refinement trees
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13653 cec4b9c1-7d33-0410-9eda-942365e851bb |
e181d57fe50575dc0ae688cba639397be5591dfa |
|
29-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13650 cec4b9c1-7d33-0410-9eda-942365e851bb |
959d773197e47fd9313355442755fb134e483b9e |
|
29-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored BranchRefSig
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13649 cec4b9c1-7d33-0410-9eda-942365e851bb |
de67b2d13d17c56fab574d0326c4492d19e4df73 |
|
24-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
used safeContextDG instead of matchDG
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13625 cec4b9c1-7d33-0410-9eda-942365e851bb |
c35969f341eb137848e9c0874503bed8c419cbd2 |
|
14-Jun-2010 |
Kristina Sojakova <kristinas@cmu.edu> |
Added static analysis for Framework
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13585 cec4b9c1-7d33-0410-9eda-942365e851bb |
b9e7c27252b02c6e444fb5555dcf191dfaf3065b |
|
09-Jun-2010 |
Kristina Sojakova <kristinas@cmu.edu> |
Twelf sigs and morphisms and now added to the global environment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13551 cec4b9c1-7d33-0410-9eda-942365e851bb |
ee8fa30911551361cae1eeb9912afe7fb76d0a1d |
|
08-Jun-2010 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
non-persistent free links for maude
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13546 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 |
8a77240a809197c92c0736c431b4b88947a7bac1 |
|
02-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added some LANGUAGE pragmas for haddock
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13490 cec4b9c1-7d33-0410-9eda-942365e851bb |
d117e9878b92dd77367f2550ce4fc109c4cb1576 |
|
20-Apr-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added node lookup functions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13362 cec4b9c1-7d33-0410-9eda-942365e851bb |
e0c666e6515ea45fbeb47d7bb045b6ba4274c165 |
|
15-Apr-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added suffix number extraction and nodename parsing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13342 cec4b9c1-7d33-0410-9eda-942365e851bb |
c488ac18796ad6383b1edf7fa2820edc8296c89e |
|
14-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
use a double underscore to indicate internal node names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13325 cec4b9c1-7d33-0410-9eda-942365e851bb |
295566c1778f463b624caf1be714b70d808e2a51 |
|
25-Mar-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
refactored the G_symbolplmap to more generic types 'Map a symbol' and 'Map symbol a'
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13278 cec4b9c1-7d33-0410-9eda-942365e851bb |
40f8e29910681011b2bd04b21e85eb6a8d348f9c |
|
23-Mar-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
changed type of linklabel name to NodeName
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13266 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f89164f81319e9f5a0fb0663a84bdb4c517f4a7 |
|
22-Mar-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
Added two lookup node functions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13259 cec4b9c1-7d33-0410-9eda-942365e851bb |
9d2674ede8060c67e3af884c58e1a7ab9d19a611 |
|
09-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added names for links #795
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13189 cec4b9c1-7d33-0410-9eda-942365e851bb |
2714e35f9c575622095cefdadbc2cc2a950cb5f6 |
|
09-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added node selection by name
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13181 cec4b9c1-7d33-0410-9eda-942365e851bb |
8cf5ad8064698166cea6f42b53cf68dcf91b8d2c |
|
04-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
ignore duplicate edges for OWL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13161 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 |
36cc18f33255376130f35cd23fe7b36a14572049 |
|
04-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
used newtype
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13036 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 |
b993e5e9d60ceeb2fccaf8f88615f35453a16fbc |
|
02-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed warning
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13019 cec4b9c1-7d33-0410-9eda-942365e851bb |
10b1417752a7cd79344892ad4dbb14831851c638 |
|
01-Feb-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added new logic dependent structure G_symbolplmap and finished pathlist generation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13018 cec4b9c1-7d33-0410-9eda-942365e851bb |
e2e5830e2562de2f9a7daa31704fca25285180f0 |
|
29-Jan-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added a pathlist map to the DGNodeLab record and extended the StaticAnalysis class interface to the pathify method
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13014 cec4b9c1-7d33-0410-9eda-942365e851bb |
55c5e901b5c3466300009135585bc70bd576dcb6 |
|
09-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
created history entries for computed theories
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12905 cec4b9c1-7d33-0410-9eda-942365e851bb |
92487d2ec0c4f9fa81e0213311e214861d232f42 |
|
04-Dec-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
consistency check results will be stored in libenv after closing consistency checker window.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12894 cec4b9c1-7d33-0410-9eda-942365e851bb |
0bc3e99a05ed12fafe271ab855c15c866b50827c |
|
02-Dec-2009 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
experimental TheoremFreeShift rule
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12875 cec4b9c1-7d33-0410-9eda-942365e851bb |
e57e182f38aaa50363a28420fbaaa18877b34867 |
|
30-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
keep track of pending edges (GUI only)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12869 cec4b9c1-7d33-0410-9eda-942365e851bb |
591c279c7bacf79bccdb1e7417cc44130527d895 |
|
27-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored marking consistent nodes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12860 cec4b9c1-7d33-0410-9eda-942365e851bb |
cf4e3ef8ae405824ae1bd39be9762e207836c0e0 |
|
26-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored ordered maps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12858 cec4b9c1-7d33-0410-9eda-942365e851bb |
d8314b65330fccf19838b273d1612b2a846beade |
|
26-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
properly mark goals proven after local inference
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12857 cec4b9c1-7d33-0410-9eda-942365e851bb |
4b59523909ca1636387585da64baa491663634cb |
|
18-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
compute theories differently and start to set pending edges
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12842 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 |
fb37a248ebad4696bbc9d9b94ce1cfc6497a9160 |
|
04-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
check for duplicate def edges
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12780 cec4b9c1-7d33-0410-9eda-942365e851bb |
39a2520d13a7d43f0c0fa71b94255c3f7c500005 |
|
27-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted display
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12742 cec4b9c1-7d33-0410-9eda-942365e851bb |
a2e1df1a654e9f683373245b6fbfc5f415842eb5 |
|
09-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
thread through index maps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12615 cec4b9c1-7d33-0410-9eda-942365e851bb |
83545811458937ffe75a3d6c67f13f69aa693315 |
|
08-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
made RefNodesDG functions total
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12605 cec4b9c1-7d33-0410-9eda-942365e851bb |
ec25781c1180ea07f66b48c34f93cf5634e9277c |
|
07-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved ComputeTheory to folder Static
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12587 cec4b9c1-7d33-0410-9eda-942365e851bb |
0155c8d32b79581866f07cc593aa8a4c722ceef2 |
|
07-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
precompute global theories to speed up local inference
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12586 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 |
e49fd57c63845c7806860a9736ad09f6d44dbaed |
|
23-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored, camel cased, library names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12493 cec4b9c1-7d33-0410-9eda-942365e851bb |
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 |
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 |
987696e96527051add2483eba583b73da930bf39 |
|
04-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not show xpath for generated (normal-form) nodes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12423 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 |
6f0be2db2f8bc6bd826fd41cd28cdf56d890cf49 |
|
03-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
add moved theorems to local inference rule
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12408 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 |
3bcf8bbafdda23d3c6be2deec9e68f98223b78c1 |
|
31-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended node names by xpath
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12364 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 |
8b6672f6ce82c3e0b93ab5114c30b0f51d6ff3d2 |
|
27-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added xpath to DG node labels
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12321 cec4b9c1-7d33-0410-9eda-942365e851bb |
cd6354cc2af5958c304c84e65707435293c5ccc7 |
|
27-Aug-2009 |
Markus Gross <Markus.Gross@dfki.de> |
Implements rules from #698
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12317 cec4b9c1-7d33-0410-9eda-942365e851bb |
b591bc3f446ade1bd3dc648eb432414392a8f449 |
|
10-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added prooftheoretic conservativity
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12052 cec4b9c1-7d33-0410-9eda-942365e851bb |
8e7df4df486c21d40207c537b7d9a82b17e3916c |
|
28-Jul-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
preparation for ticket #16
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12007 cec4b9c1-7d33-0410-9eda-942365e851bb |
25372cda8c33ad5df6dfdc17e3208b8b261d38e1 |
|
17-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected isProvenConsStatusLink
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11971 cec4b9c1-7d33-0410-9eda-942365e851bb |
fa1bf658051ac503f27ff1b59edb093398eed6ed |
|
16-Jul-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
proven links with open cons goals are now yellow and are not hiden if hide proven nodes is active untill no open cons goals are left. see #716
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11959 cec4b9c1-7d33-0410-9eda-942365e851bb |
260bfc3b7dc8ed037b7d98ee044302415db6fcd7 |
|
16-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored hasOpenConsStatus for nodes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11957 cec4b9c1-7d33-0410-9eda-942365e851bb |
1cd0e77046ce5b6923b86f4b4a69d8c663928f99 |
|
16-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
move conservativity info into the normal form node
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11956 cec4b9c1-7d33-0410-9eda-942365e851bb |
6c83d2b44b0451d099f97c57274684f1a92fe850 |
|
15-Jul-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
proven nodes with open cons are now yellow. fixed a bug, compressed edges were not gray in uncolored mode.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11948 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 |
9a9860760c6f30558e5e60049692b6fc63904590 |
|
15-Jul-2009 |
Markus Gross <Markus.Gross@dfki.de> |
Node conservativity check
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11924 cec4b9c1-7d33-0410-9eda-942365e851bb |
defcc77937b42860d33eeac30e85c218d8468c6b |
|
14-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
implement cons proving later
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11918 cec4b9c1-7d33-0410-9eda-942365e851bb |
2b6aa5d5fc7da111461c0837f1a0abe0f35fa984 |
|
14-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
use ConsStatus within node labels
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11913 cec4b9c1-7d33-0410-9eda-942365e851bb |
5c4d35b8cd25e3547eda72daea6b036548573e55 |
|
18-Jun-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
ref nodes are never internal
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11817 cec4b9c1-7d33-0410-9eda-942365e851bb |
f5b31c8df89d0c8898cfabe0bd6c671e8285c0f1 |
|
18-Jun-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed string test using getDGNodeType
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11816 cec4b9c1-7d33-0410-9eda-942365e851bb |
041f100aad732af02d566c18e3295140bc0c3ca1 |
|
18-Jun-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored EdgeId showing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11815 cec4b9c1-7d33-0410-9eda-942365e851bb |
0b8b26a22f136a9b2a8e99d655f6fe6b0b96008c |
|
11-May-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
refactored gui change propagationn also moved applyChanges to GraphAbstraction. see #691
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11764 cec4b9c1-7d33-0410-9eda-942365e851bb |
ab1fe642759c3652c153fe101657787c8ce0d1b8 |
|
20-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
inserted line break only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11714 cec4b9c1-7d33-0410-9eda-942365e851bb |
fb88eac77c89b668f5c306173a6fbe2d513e4bcc |
|
06-Apr-2009 |
Markus Gross <Markus.Gross@dfki.de> |
Store conservativity proof result in a second field.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11653 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 |
10f46e60ea9ea8787e4584ad0a9e5db6cfd76446 |
|
27-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
use more descriptive constructors for flattening links
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11618 cec4b9c1-7d33-0410-9eda-942365e851bb |
c1c1d5fe20b5dd747c7defecfb2579afbc3dda9d |
|
26-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructured code, computeLocalTheory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11600 cec4b9c1-7d33-0410-9eda-942365e851bb |
a0efda9ffb465daf1e735c5ced1be3174af42dff |
|
25-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11590 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad1f65fa6375114f84888537c9b6d34deae8e16e |
|
24-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not match on strings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11574 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 |
6c1f6e0b2f3a8d046525a8309e5448fdfb2d0714 |
|
26-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
only consider imported libraries of a current one
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11437 cec4b9c1-7d33-0410-9eda-942365e851bb |
bfb2ae5ac1ccfacbfa29ffa240838461e18f4d49 |
|
26-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid keeping track of labelHasHiding, make it False by default
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11434 cec4b9c1-7d33-0410-9eda-942365e851bb |
dda4e358a429dc24dd09d42b409d709a19eff159 |
|
25-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored Theorem Hide Shift
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11433 cec4b9c1-7d33-0410-9eda-942365e851bb |
f4651a172fa4d00037b061fbe4df71abc69f12b5 |
|
25-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructured normal form computation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11432 cec4b9c1-7d33-0410-9eda-942365e851bb |
607b972b45ce513052c55cc28e2bab19d6bf7311 |
|
25-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored wrt hlint
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11431 cec4b9c1-7d33-0410-9eda-942365e851bb |
df9a64f1f61bf944b2116f92fce7083ff291debc |
|
25-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
top sort nodes of a graph too, when marking hasHiding, because
Static.ArchDiagram.extendDGraphRev inserts reversed GlobalDefs
(which made UserManual/Chapter8 fail in "nodeHasHiding")
isDefEdge was moved and extended which may change Proofs.Global
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11429 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3e815e0f960f2c002904b18ad75c149a3827d9f |
|
24-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added node info about ingoing hiding edges
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11426 cec4b9c1-7d33-0410-9eda-942365e851bb |
4b136ad539bd9f4e115dff4eee4d552a42d4437e |
|
14-Nov-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored proof history #601
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11015 cec4b9c1-7d33-0410-9eda-942365e851bb |
c40a1fdc8ec6978bd27240d6780d0e0a7b6b0056 |
|
31-Oct-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
no green yet
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10929 cec4b9c1-7d33-0410-9eda-942365e851bb |
15a50ae940b17c65d2b3c68918a26de29e565370 |
|
15-Oct-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Moved functions for listing all DGEdgeType and DGNodeType types to DevGraph. Added new functionality to GtkLinkTypeChoice, not finished yet.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10828 cec4b9c1-7d33-0410-9eda-942365e851bb |
5b00a9d748d5bea461601ed7ed5198dfd30cf2d2 |
|
14-Oct-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Changes DGNodeType and DGEdgeType to a structured datatype. The nodeType list and edgeType list are now created by functions using the new datatypes.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10825 cec4b9c1-7d33-0410-9eda-942365e851bb |
697e63e30aa3c309a1ef1f9357745111f8dfc5a9 |
|
22-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated library names from HetCASL libraries
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10708 cec4b9c1-7d33-0410-9eda-942365e851bb |
74d9a385499bf903b24848dff450a153f525bda7 |
|
18-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
white space change only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10688 cec4b9c1-7d33-0410-9eda-942365e851bb |
c72a6b711518a31fe947a03601426d06c59edbd2 |
|
01-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected printing of has open goals
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10611 cec4b9c1-7d33-0410-9eda-942365e851bb |
d0c07f12da630428931d6b23b4000b11b260cf49 |
|
30-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added missing rule `FlatteningThree`
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10227 cec4b9c1-7d33-0410-9eda-942365e851bb |
443aca1d6014f40ce67120c09313330592153033 |
|
30-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added missing `DGLinkFlatteningThree`
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10226 cec4b9c1-7d33-0410-9eda-942365e851bb |
10e12ec6ab28a40706609341c727422a0cd8d34d |
|
27-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved calculateMorphismOfPath
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10216 cec4b9c1-7d33-0410-9eda-942365e851bb |
de032cadc7614e12d301354e09dd6677c68977bf |
|
19-Jun-2008 |
Igor Stassiy <i.stassiy@jacobs-university.de> |
Introducing new rules
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10148 cec4b9c1-7d33-0410-9eda-942365e851bb |
574bbf918ed165267b11e30e93aae0a0cb7054b1 |
|
17-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
recognize paramterization by parameter list length
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10128 cec4b9c1-7d33-0410-9eda-942365e851bb |
f0a878166ba1497fb43b65ff8126c8007116b0ac |
|
17-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
declared NodeSig accessors via record syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10126 cec4b9c1-7d33-0410-9eda-942365e851bb |
94fab9c2984681c5be0eb1c718efa70dd8f7bd31 |
|
13-Jun-2008 |
Igor Stassiy <i.stassiy@jacobs-university.de> |
Adding new DGOigin and DGLinkOrigin
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10100 cec4b9c1-7d33-0410-9eda-942365e851bb |
36f69d35e01d2d6b6bdc165b49661f2a80af8687 |
|
11-Jun-2008 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
computeTheory and theoremHideShift changes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10088 cec4b9c1-7d33-0410-9eda-942365e851bb |
fcb4299d21975e02b3e6bcacc4ecbda425deba9c |
|
10-Jun-2008 |
Igor Stassiy <i.stassiy@jacobs-university.de> |
Adding Flattening rule.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10083 cec4b9c1-7d33-0410-9eda-942365e851bb |
84ba39232a012abf2085c8a421ebce6abc52d56e |
|
21-Mar-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Added DGNodeType and DGEdgeType datatypes to Static.DevGraph and changed the GUI Modules to use them instead of the string representation.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9828 cec4b9c1-7d33-0410-9eda-942365e851bb |
b60a22e76e983e8129c5dae4d713fe2794ed7054 |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added isInclusionComorphism method
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9798 cec4b9c1-7d33-0410-9eda-942365e851bb |
e934658887c8af3ecdb3e42ca60db00389d02370 |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
keep track of next edge id
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9791 cec4b9c1-7d33-0410-9eda-942365e851bb |
d1b2ff60eca24a058f50a6acce0475a6798c3665 |
|
18-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added comments to node label accessors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9781 cec4b9c1-7d33-0410-9eda-942365e851bb |
66fd8f017efdb8a6c862c3f1856dfaef90865dd5 |
|
17-Mar-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Added new module GraphAbstraction as a replacement for AbstractGraphView. See ticket #480. This commit also contains fixes for the tickets #399, #471 and #482.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9775 cec4b9c1-7d33-0410-9eda-942365e851bb |
810292cfd2cc8ab106e371d86d605678f752fc89 |
|
13-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed strictness without speed-up indication
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9767 cec4b9c1-7d33-0410-9eda-942365e851bb |
7b8cbe941bf90256d31f11e5e9c60c7b933b7b62 |
|
13-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not increment edge counter unnecessarily (also in insLEdgeNubDG)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9761 cec4b9c1-7d33-0410-9eda-942365e851bb |
3c72744cb050a481a3f83af8277cdd7baff78731 |
|
13-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not increment edge counter unnecessarily
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9760 cec4b9c1-7d33-0410-9eda-942365e851bb |
f409ea7e4a6a1fee58595481759fcd2e839ce152 |
|
13-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved getNameOfNode to DevGraph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9759 cec4b9c1-7d33-0410-9eda-942365e851bb |
8d27f8421c558cae0024cf6031b2adbedee61350 |
|
12-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
shorter error messages for delLNode
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9748 cec4b9c1-7d33-0410-9eda-942365e851bb |
e90d90d9363711dbdf9e5461474aeb85fd2d1871 |
|
12-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved pretty printing to PrintDevGraph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9746 cec4b9c1-7d33-0410-9eda-942365e851bb |
93ae4a267df8162c785c3cebc4062fbd2a4adf13 |
|
11-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
shorter pretty output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9744 cec4b9c1-7d33-0410-9eda-942365e851bb |
133a50f16f14a3be1a66ec0f2b3f79d42f4a5818 |
|
10-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added some pretty printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9733 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 |
09aa12aebe61c224a53ed608808baf11130e03b1 |
|
10-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added some pretty instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9729 cec4b9c1-7d33-0410-9eda-942365e851bb |
9efd6c53035431532177713f3aabd092e63ddf1f |
|
07-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed indentation only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9727 cec4b9c1-7d33-0410-9eda-942365e851bb |
32240a990f9cdfd8ba13af7b1d33fee9cdcb0c11 |
|
07-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow to split module before Pretty instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9716 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad8db7f06757c9fc0ed5b6e5ae8ef8a944247dcb |
|
07-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
derived Conservativity Show
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9715 cec4b9c1-7d33-0410-9eda-942365e851bb |
21e307c7ee7e6cd94036953831950abe01caec61 |
|
07-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
Conservativity is unused in nodes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9714 cec4b9c1-7d33-0410-9eda-942365e851bb |
22dac733a93bc32b8db195625edea6364079a89e |
|
07-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
rearranged content, added haddock comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9713 cec4b9c1-7d33-0410-9eda-942365e851bb |
287210656cc6dc40ec8d8cf4b25c941800b679cb |
|
07-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved getNewNode to Common.Lib.Graph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9711 cec4b9c1-7d33-0410-9eda-942365e851bb |
690afde386068075abbcf5aeff4f2b8bd56bd27c |
|
06-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
undid spechub/Hets@b91b82fd2625c349da6284f252cf4c50a6519650 as refNodes are deleted but not from allRefNodes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9706 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 |
342c667ee67e93e92e5051ae47c9a0161dbb1f39 |
|
05-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not let DGNodeLab depend on DGNodeLab
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9700 cec4b9c1-7d33-0410-9eda-942365e851bb |
501c2e08901e120a508873a2eacfd61a6f3c24fe |
|
05-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed a few underline constructors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9697 cec4b9c1-7d33-0410-9eda-942365e851bb |
221be9ca317fc772a165ea4c33065b5bcd4e34ac |
|
05-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
layout only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9696 cec4b9c1-7d33-0410-9eda-942365e851bb |
9ef50e34b8f844459906962859b4b3b9de3aaa31 |
|
05-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
made labelNode more efficient
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9695 cec4b9c1-7d33-0410-9eda-942365e851bb |
48696d815107c109322a108ce56334a24d096bd7 |
|
05-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved topsort, bfs and scc to OWL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9694 cec4b9c1-7d33-0410-9eda-942365e851bb |
24b1bb673d802899fed9a32b7044dab9aa6ec121 |
|
05-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved G_theory_with_prover
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9693 cec4b9c1-7d33-0410-9eda-942365e851bb |
d90c545f128262b3ed863e447bc068ab2b9b2ff6 |
|
05-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved gWeaklyAmalgamableCocone and makeDiagram to ComputeColimit
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9692 cec4b9c1-7d33-0410-9eda-942365e851bb |
84a30e66aef85cc54d3dd6f8e408729007fe8809 |
|
05-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
used DGNodeInfo instead of (LIB_NAME, Node)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9691 cec4b9c1-7d33-0410-9eda-942365e851bb |
b91b82fd2625c349da6284f252cf4c50a6519650 |
|
05-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
used an injective map for referenced nodes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9690 cec4b9c1-7d33-0410-9eda-942365e851bb |
5b14cb4855372bd9578cc07a9f6f9f3076bc033c |
|
05-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
derive Show for DGraph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9688 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 |
ec3416789a50202d5be3fdaee43a2b854db95a10 |
|
27-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
used insLEdge and delLEdge from Common.Lib.Graph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9665 cec4b9c1-7d33-0410-9eda-942365e851bb |
373759ad1d30c03fe0224a68f9f1d9a6f38de632 |
|
21-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9603 cec4b9c1-7d33-0410-9eda-942365e851bb |
0881d93fe826509b59721eb4bccd6070ffd59f03 |
|
21-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
fix #483
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9601 cec4b9c1-7d33-0410-9eda-942365e851bb |
b46e2dfbd64caaedc51507fbff7f08f4d2b4d080 |
|
21-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
(re-)added instance Show DGChange and commented out multiplicity test in delLEdgeDG for #483
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9594 cec4b9c1-7d33-0410-9eda-942365e851bb |
6599c30d1edab229eea99327352bc94004a68587 |
|
14-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed instance Pretty DGLinkLab
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9563 cec4b9c1-7d33-0410-9eda-942365e851bb |
52012e2c12ec90a1bbf4fe0cb19e1a7058bce350 |
|
14-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused Show DGChange instance
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9562 cec4b9c1-7d33-0410-9eda-942365e851bb |
f45fad43ee1673ab280fbc700821d5d20a493eaa |
|
13-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
different equalities for DGLinkLab
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9550 cec4b9c1-7d33-0410-9eda-942365e851bb |
b2cae34abab408e623aff14dbb81237125bec2a8 |
|
11-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed result type of labDG
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9541 cec4b9c1-7d33-0410-9eda-942365e851bb |
02be466dbf16303f25efb08cd80421bd79ed9c68 |
|
06-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed edgeID selector
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9527 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 |
d3cce49a3d3ca85980c8391dc8c4a4c90e370eb3 |
|
16-Jan-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Added uDrawGraph linktypes for links with comorphism inclusions. see #218
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9437 cec4b9c1-7d33-0410-9eda-942365e851bb |
5d5371f1c5a4e95ca3d0a6d50ae371ec2cd223e7 |
|
14-Jan-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Added uDrawGraph linktype for localdef and made it different to hidingdef. see #218
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9426 cec4b9c1-7d33-0410-9eda-942365e851bb |
56c56b2181e76c239929ddade2925ba5c3f3fffd |
|
26-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9243 cec4b9c1-7d33-0410-9eda-942365e851bb |
02dc9cda66fc907229f0c74658c5f0bec550f898 |
|
26-Nov-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added description
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9239 cec4b9c1-7d33-0410-9eda-942365e851bb |
20ec44d00fbefa9197b63a375652e11c4d19d165 |
|
01-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added missing newline
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9118 cec4b9c1-7d33-0410-9eda-942365e851bb |
db6762eb6c962c6143a8867231e113dbc18569f5 |
|
31-Oct-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
The use of locking DGNodeLabs added. for each node is just one proverwindow allowed. Before it can work the possibility for opening more than one prover window must be implemented.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9114 cec4b9c1-7d33-0410-9eda-942365e851bb |
90d7cac36f60438bd35124e3389b5bce6d114b46 |
|
29-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
deleted trailing spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9095 cec4b9c1-7d33-0410-9eda-942365e851bb |
c7e03d0708369f944b6f235057b39142a21599f2 |
|
29-Oct-2007 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
CASL signatures colimits and gWeaklyAmalgamableCocone
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9094 cec4b9c1-7d33-0410-9eda-942365e851bb |
4112d6e50d7f90b5120ecbd1c49452f222021579 |
|
29-Oct-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
changes to the merge function in GraphTypes (not ready). emptyDGraph is now directly under the definition of DGraph in DevGraph.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9091 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 |
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 |
ce69c5e28eee7de6eac54946c1298c33493af3a8 |
|
10-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
only moved code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9018 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 |
c1868fc44e61dabf173a3ced7bcef1fadf4ae1d0 |
|
09-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
made Show instance for DGOrigin and pretty printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9008 cec4b9c1-7d33-0410-9eda-942365e851bb |
bc7ff84f5114172410cdbc8cb10d1954adfb4645 |
|
08-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added origin for empty specs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9004 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 |
da955132262baab309a50fdffe228c9efe68251d |
|
27-Sep-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
cleaned up codes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8947 cec4b9c1-7d33-0410-9eda-942365e851bb |
64325303fc09fc4d88ced49be11ff2d29966422a |
|
27-Sep-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
cleaned up codes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8938 cec4b9c1-7d33-0410-9eda-942365e851bb |
e426842636f7f3b76ad57d4c7b16a024cf6cf08c |
|
26-Sep-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
added comments and modified some codes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8921 cec4b9c1-7d33-0410-9eda-942365e851bb |
5674a959750ec9b9290a34317e6de57bcbd3ac01 |
|
24-Sep-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
added comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8896 cec4b9c1-7d33-0410-9eda-942365e851bb |
243447e8fc4475937609f5e8397058cb92f6cbb4 |
|
16-Sep-2007 |
Razvan Pascanu <r.pascanu@jacobs-university.de> |
undo/redo done
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8854 cec4b9c1-7d33-0410-9eda-942365e851bb |
ddc662fdf0207eae2034d7b68ae5e2225c575207 |
|
28-Aug-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Redo/Undo is now global.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8731 cec4b9c1-7d33-0410-9eda-942365e851bb |
f0710eda05313af2a9d2628f99e078d854bd7948 |
|
24-Aug-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Warning removed, error message changed.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8708 cec4b9c1-7d33-0410-9eda-942365e851bb |
b6423a0ba3c64cb3d5fafc3a3841938735da2c71 |
|
24-Aug-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
locking funktions for DGNodeLab and GInfo added.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8705 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 |
16bf397659c6ef35fd2813e568026347b83d9cfa |
|
22-Aug-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Functions for getting (locking) and releasing local and global proofs added.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8675 cec4b9c1-7d33-0410-9eda-942365e851bb |
6e42e72d0d1f3938cfc95fc0c6cc770f621a3fcb |
|
20-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
untabified and removed trailing spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8652 cec4b9c1-7d33-0410-9eda-942365e851bb |
1faadc83f1c9cc1795a3278ed1398bce08ded148 |
|
20-Aug-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Added extra MVar to DGraph and emptyDGwithMVar function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8650 cec4b9c1-7d33-0410-9eda-942365e851bb |
08a4148b4896e9644bda2abf732c1f959839d0af |
|
17-Aug-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
see ticket 5
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8639 cec4b9c1-7d33-0410-9eda-942365e851bb |
be688cc3aa83344b0141321d2d20bf6a8d5c5686 |
|
16-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added MVar to DGraph and removed Show instance
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8629 cec4b9c1-7d33-0410-9eda-942365e851bb |
8e1709b00329db7fc8d2e9e97ba92eef098c0584 |
|
16-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
documented indices, tickets #2 and #429
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8623 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 |
201f06595f09efbd681d9cd087bd638046854091 |
|
14-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
only (trailing) white space changes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8609 cec4b9c1-7d33-0410-9eda-942365e851bb |
a42b8666864543433efaffea27362b6b5780b721 |
|
09-Aug-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
see ticket 5
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8566 cec4b9c1-7d33-0410-9eda-942365e851bb |
17e9300b219b75856e5e4d73dcd8960725cd8df0 |
|
09-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
pretty print empty theories with braces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8565 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 |
0e3af5b869a2e802d78d10f2c72c0aba64b62ad4 |
|
23-Jul-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
advoid warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8457 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 |
624f79fdc4e2f639effbe9001ce7c683663205a6 |
|
22-Jul-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
see ticket 269
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8442 cec4b9c1-7d33-0410-9eda-942365e851bb |
7c8051ef91610c696bc9fa2e61ad1b153fbe7ce0 |
|
28-Jun-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Generalisation of functions in Proofs.InferBasic for the usage by the
CMDL interface PGIP. It involved renaming of Proofs/GUIState.hs.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8179 cec4b9c1-7d33-0410-9eda-942365e851bb |
186f18acada88292af9c18865c622222940dff50 |
|
01-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added ticket number as comment reference to global context and untabified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7970 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 |
70b4cdbc1acaafd53aa94882942e9cd012ed0e40 |
|
12-Apr-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Added undo/redu menuentry and funktion, but its not working properly right now.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7812 cec4b9c1-7d33-0410-9eda-942365e851bb |
61091743da1a9ed6dfd5e077fdcc972553358962 |
|
04-Apr-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
generalized Named to SenAttr to be useable by Logic.Prover as well
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7784 cec4b9c1-7d33-0410-9eda-942365e851bb |
c47a3265e4d770bdda01f7078658cb17e01bb30a |
|
16-Mar-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
fixed 233 and removed some typos
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7690 cec4b9c1-7d33-0410-9eda-942365e851bb |
cc25d3fa5ffeeab2bbf64496bc324392fe82f025 |
|
14-Mar-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
modified , yet.) The resulting hets binary now creates a file hets.prof for inspection if executed with additional final arguments +RTS -p.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7677 cec4b9c1-7d33-0410-9eda-942365e851bb |
95dcb4a85bee25f2187138be09e28b8fa652cf87 |
|
14-Mar-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed nub
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7675 cec4b9c1-7d33-0410-9eda-942365e851bb |
ba18f73ca1401069cd2009abc07c4616251f7c3b |
|
13-Mar-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
modified a function, see ticket 293
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7670 cec4b9c1-7d33-0410-9eda-942365e851bb |
544b866d340cdef36332f59ecd899daa1807f6c7 |
|
12-Mar-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
reconstruct proofbasis with EdgeID, step one, see ticket 293
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7661 cec4b9c1-7d33-0410-9eda-942365e851bb |
b5641cf00c7b89ca5dc94fa687363bb3e54bda21 |
|
12-Mar-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added redoHistory field for storing undo steps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7648 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 |
c1f29a0f0c0b83858e7e57668dac254504f213b6 |
|
09-Mar-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added old node label to SetNodeLab for undoing changes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7631 cec4b9c1-7d33-0410-9eda-942365e851bb |
5ff3af2a00b2663a7aaeffa820338a895dc38b82 |
|
07-Mar-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
see ticket 159, 160, 289
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7615 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 |
705d04a6d3b01afd249f53397e5cbfa76fc0e179 |
|
21-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Data.Dynamic by Data.Typeable and removed trailing blanks
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7497 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad270004874ce1d0697fb30d7309f180553bb315 |
|
21-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to Data.Set, Data.Map and Data.Dynamic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7491 cec4b9c1-7d33-0410-9eda-942365e851bb |
4a749ab7e59e917d92d0b36c12f85bc0c2b45c84 |
|
16-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed sublogicOf functions and trailing blanks
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7458 cec4b9c1-7d33-0410-9eda-942365e851bb |
33c33fde308de14d34177617a28524312f5f0ad8 |
|
16-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced map_theory by wrapMapTheory for sublogic tests
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7457 cec4b9c1-7d33-0410-9eda-942365e851bb |
f7e2f5cc7bdd629381c881a67d8a39bc4eb8dd6d |
|
29-Jan-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected haddock comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7353 cec4b9c1-7d33-0410-9eda-942365e851bb |
6a9b85953df4e29a996536ffc7dbf7ef9dbc64c7 |
|
28-Jan-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
changes from Ken, details see the cloesed tickets from Ken
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7352 cec4b9c1-7d33-0410-9eda-942365e851bb |
dae2906b6d31282ac88157a0beed60c4c22aaa9f |
|
23-Jan-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added blanks around infixes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7335 cec4b9c1-7d33-0410-9eda-942365e851bb |
6948b7295a0521212803f15cf919395d2073e2c9 |
|
23-Jan-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored LinkType predicates
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7333 cec4b9c1-7d33-0410-9eda-942365e851bb |
0f846ba4040d8bcbd1ebda53ceb5760ca70c89b2 |
|
11-Jan-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
treat FreeThm like HidingThm or GlobalThm
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7301 cec4b9c1-7d33-0410-9eda-942365e851bb |
bb295aa59341862c40813173cd512cb67765edf4 |
|
09-Jan-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed getDGLinkType, getThmType, and getDGNodeType uses
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7294 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 |
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 |
0a618d7c1b9a31668c62c28be402690dafa6e181 |
|
14-Nov-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-added maps for G_sign, G_theory and G_morphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7160 cec4b9c1-7d33-0410-9eda-942365e851bb |
44551d3ad7d8ae6e282bc695c200609a9cb74603 |
|
06-Nov-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
use error "msg" instead of undefined
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7125 cec4b9c1-7d33-0410-9eda-942365e851bb |
cce41236237343a9e06f78357e9bdfcd87aeb80f |
|
25-Oct-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
reverted to spechub/Hets@4529ee79473b32f708b559d4e01fe3a222047ef4.119 without the trace
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7105 cec4b9c1-7d33-0410-9eda-942365e851bb |
3ba4044886bf9cb11b9e0a190bf847f31ce144fd |
|
24-Oct-2006 |
Heng Jiang <jiang@tzi.de> |
added Debug.trace to test the assert of joinG_sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7102 cec4b9c1-7d33-0410-9eda-942365e851bb |
2cb72afd9f6498fa3259b10c109ae869d403b199 |
|
19-Oct-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added description
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7071 cec4b9c1-7d33-0410-9eda-942365e851bb |
885205b16f49096c5c3a57a807441ffeb34437e9 |
|
12-Oct-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
improved dot graphs and corrected Static.DevGraph and GUI
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7045 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e6892abf041ece993bb55aa09d603ccc26b6250 |
|
12-Oct-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
documented hasOpenGoals
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7041 cec4b9c1-7d33-0410-9eda-942365e851bb |
0b73fd9cab131c1b25b542007c98b5f8717b1d36 |
|
14-Aug-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
* imporoved develpoment graphs in GraphViz/dot format
* added output option for expanded development graph in dot format
(extension .graph.exp.dot; shows names for internal nodes)
* slight code improvements in Static.DevGraph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6815 cec4b9c1-7d33-0410-9eda-942365e851bb |
0174511aa71c8410cbf8ba066d86cd1879aaf840 |
|
11-Aug-2006 |
Cui Jian <ken@informatik.uni-bremen.de> |
tiny changes for the pretty Instance of DGLinkType
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6811 cec4b9c1-7d33-0410-9eda-942365e851bb |
9558d82fd5d30382d4b53d6f3228633e8617a1da |
|
02-Aug-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected order of joining sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6764 cec4b9c1-7d33-0410-9eda-942365e851bb |
19d4dcd83b18fa0c68e4ba4ee84958a113f32890 |
|
23-Jul-2006 |
Heng Jiang <jiang@tzi.de> |
added sublogicOfSign and sublogicOfMor (only with minSublogic)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6704 cec4b9c1-7d33-0410-9eda-942365e851bb |
b1f59a4ea7c96f4c03a4d7cfcb9c5e66871cfbbb |
|
14-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructured Sublogics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6664 cec4b9c1-7d33-0410-9eda-942365e851bb |
afddef51d985ac2ea76a6bd846f04cbbc4311305 |
|
12-Jul-2006 |
Razvan Pascanu <r.pascanu@jacobs-university.de> |
Updated local decomp, global decomposition local inference and global subsume
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6658 cec4b9c1-7d33-0410-9eda-942365e851bb |
2c839e02e7c8732f1e4af2b2d87a2055de4a98c6 |
|
03-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
made Show a subclass of Pretty for debugging
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6567 cec4b9c1-7d33-0410-9eda-942365e851bb |
23a00c966f2aa8da525d7a7c51933c99964426c0 |
|
30-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved class Pretty from Doc to DocUtils
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6555 cec4b9c1-7d33-0410-9eda-942365e851bb |
da963b3653f643b9e408a31aa895c4c68d597680 |
|
29-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused empty maps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6532 cec4b9c1-7d33-0410-9eda-942365e851bb |
5c9cb88c054c2f3439f6bff063eb39091e0094d3 |
|
23-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed PrettyPrint
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6513 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 |
44e7292a5d18f55ac4720c18d23915c84861ce6e |
|
16-May-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added mapG_theory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6326 cec4b9c1-7d33-0410-9eda-942365e851bb |
122c46f37edff35820272c98c2bad38d647b99a3 |
|
18-Apr-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
sublogic order is not suited for sets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6205 cec4b9c1-7d33-0410-9eda-942365e851bb |
feff0c4d90a551525178f7c47f2e9bc04adb667a |
|
11-Mar-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
obsolete constructor?
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5956 cec4b9c1-7d33-0410-9eda-942365e851bb |
67eb81256a97a9f0e5237741a851c4196a17bd98 |
|
23-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added comment about unused fields
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5863 cec4b9c1-7d33-0410-9eda-942365e851bb |
724be620c516160e7d2c203999f01df4ccc53048 |
|
31-Jan-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Refactored Logic.Prover.Proof_status:
now a Record datatype with only two variants:
(1) Proof_status for goals
(2) Consistency
The status of a goal is now represented by a separate enumerated datatype:
GoalStatus
added field goalIsUsedInProof which should be True if the goal was in the
list of used formulae
other changes:
* improved display of proof details in GUI.ProofManagement
* added todo point for Isabelle.IsaProve
* Logic.Logic.Sentences demands Ord instancew for proof_tree now
so it was easier to derive the Ord instance of Proof_status automatically
* SPASS removes now the goal from the list of used axioms and stores the
derived information properly
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5750 cec4b9c1-7d33-0410-9eda-942365e851bb |
412e440f8acdbae3df0e2fd12ff078f3f23a2799 |
|
24-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
supplied a (better) Graph instance based on Common.Lib.Map
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5695 cec4b9c1-7d33-0410-9eda-942365e851bb |
9df2d5aa580dbe126ccdab057084d19cce33a6be |
|
20-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove also hxt
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5678 cec4b9c1-7d33-0410-9eda-942365e851bb |
04d04d19fdd5320953c78ad5b6d2d11f85bc4bcf |
|
17-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed type synonyms ProofStatus and LibNode
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5654 cec4b9c1-7d33-0410-9eda-942365e851bb |
333780eae2be9f20fe46dedbf5eb46ffa0cbfd02 |
|
13-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
incorporated ProofHistory into LibEnv as ProofStatus
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5637 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 |
7968d3a131e5a684ec1ff0c6d88aae638549153d |
|
12-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved ProofHistory and Status from DevGraph to StatusUtils, added prf files, omitted export list in Driver.Options
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5634 cec4b9c1-7d33-0410-9eda-942365e851bb |
321c5296f803b7b0d3662d0080b79e1e6da5ea13 |
|
12-Jan-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added ideas for refactoring development graphs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5633 cec4b9c1-7d33-0410-9eda-942365e851bb |
57d320fc4d0fe1a1c08cfe6cd9ebec09b86c2cbf |
|
09-Jan-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
refactoring fixing the problem of circular dg proofs.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5618 cec4b9c1-7d33-0410-9eda-942365e851bb |
4b90b9ff831e2c5b7ecbff6e18dff45646571e35 |
|
06-Jan-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
thmLinkStatus
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5608 cec4b9c1-7d33-0410-9eda-942365e851bb |
a6a23b6c37e231b4893abc461531a492a0902d37 |
|
04-Jan-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
refactored coarser and finer equality for dg edges
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5591 cec4b9c1-7d33-0410-9eda-942365e851bb |
857bdae4b78b949be5e905fb3e93f531b61a155c |
|
04-Jan-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
introduced finer equality for DGChange, needed for removeContraryChanges
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5588 cec4b9c1-7d33-0410-9eda-942365e851bb |
8577cea5da4f076b70fa73fa25054f3a7b84d155 |
|
30-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove unused imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5576 cec4b9c1-7d33-0410-9eda-942365e851bb |
db3c3c78e923dca00d36e6c510cd3a10479cadea |
|
30-Dec-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
corrected equality for link labels
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5569 cec4b9c1-7d33-0410-9eda-942365e851bb |
0206ab93ef846e4e0885996d052b9b73b9dc66b0 |
|
28-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
split off Automatic from InferBasic and checked with ghc-6.2.2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5563 cec4b9c1-7d33-0410-9eda-942365e851bb |
3490b73f69b58ab742417b0867d0e2d4a7778cc0 |
|
28-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added DGFile type and applied Inferbasic.automatic to DevGraph.emptyProofStatus
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5562 cec4b9c1-7d33-0410-9eda-942365e851bb |
9b8c63ff208e064b99d4feeb87fd21a7b2df7e30 |
|
23-Nov-2005 |
Heng Jiang <jiang@tzi.de> |
removed debug code.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5443 cec4b9c1-7d33-0410-9eda-942365e851bb |
84ee9611282d6e3ec5030acd534cfdf03608865b |
|
17-Nov-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Added debug code for join_G_sentences assertion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5409 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad53c2449238379699243be05926645262e9581e |
|
31-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed comments and white spaces only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5318 cec4b9c1-7d33-0410-9eda-942365e851bb |
fae66ee8fb289b3d7c611ecf55d5824fe2cf2d1b |
|
27-Oct-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Added Ord instance for BasicProof
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5286 cec4b9c1-7d33-0410-9eda-942365e851bb |
26f412afa1c1d693af2d9575a5778656fc9974d8 |
|
26-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
recompilation check did not notice typo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5276 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea22277038f87c1e12539f8917d61248015e80d8 |
|
26-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added assertion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5274 cec4b9c1-7d33-0410-9eda-942365e851bb |
db44129e456bdfdb1044845dd0c64dbcb6c1f7d8 |
|
26-Oct-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added todo item.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5269 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 |
e509b6f97f98f96ef258c1c3f7968241da8bde5d |
|
18-Oct-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
fixed bug causing Match (graph) exception
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5198 cec4b9c1-7d33-0410-9eda-942365e851bb |
aebf36d7483e5c012eff154d0b76de400d8fe3fc |
|
13-Oct-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Refectoring: local proof goals also for DGRefs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5176 cec4b9c1-7d33-0410-9eda-942365e851bb |
965f432596a0dcc262638e8923b8e506122a2616 |
|
05-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added disambiguation to joinSens
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5131 cec4b9c1-7d33-0410-9eda-942365e851bb |
2bb3958549bc2ef1fe55e079c16ba7cd8ed6d4ea |
|
05-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
only compare mere sentence
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5128 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 |
42626cd6acc59504dff56b5b81043c272778c5fb |
|
23-Sep-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
refactored proof status info for sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5063 cec4b9c1-7d33-0410-9eda-942365e851bb |
33fc94b09b906329ca7505caa1ddcddf67e3f8da |
|
17-Sep-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
enhanced basic inference: enter proof status returned from prover into DG node. Now nodes really can get green\!
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5021 cec4b9c1-7d33-0410-9eda-942365e851bb |
ef3c4d0483a81254f785bdbd3e5448fdabac7a84 |
|
16-Sep-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
renamed local subsumption into local inference
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5019 cec4b9c1-7d33-0410-9eda-942365e851bb |
709653bffee501341e2fdc55b9223e4921047c65 |
|
16-Sep-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
refactored basic inference and local subsume, according to theory in CASL RefMan, p. 308
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5018 cec4b9c1-7d33-0410-9eda-942365e851bb |
3c6d4005240e070a2b9fe9aaf28631328a1b0884 |
|
12-Sep-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
corrected proof status for DG node
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5010 cec4b9c1-7d33-0410-9eda-942365e851bb |
a059fb5629939bb0d74da56094b12bb793759f0c |
|
25-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
move Proofs.Proofs types to DevGraph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4980 cec4b9c1-7d33-0410-9eda-942365e851bb |
bd1c99a7b30ceaad831559d0a4b386bd167c71c3 |
|
24-Aug-2005 |
Jorina Freya Gerken <jfgerken@gmx.de> |
changed list type in ThmLinkStatus to [LEdge DGLinkLab]
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4975 cec4b9c1-7d33-0410-9eda-942365e851bb |
1e3b2aa088419ed127f1fbf5741aaa09ffdf1daf |
|
23-Aug-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Improved pretty printing of proof status
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4969 cec4b9c1-7d33-0410-9eda-942365e851bb |
f9f525863c65862a3995b866bc2bc75e6b2114c0 |
|
17-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoided warning
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4938 cec4b9c1-7d33-0410-9eda-942365e851bb |
2f5911cd89bfb5f7d4b072b0b1ecf0988e7f2e25 |
|
17-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed order in joinSens
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4937 cec4b9c1-7d33-0410-9eda-942365e851bb |
4fb6b13fb547e3fb7303a1b9ca55c97447c6cd26 |
|
10-Aug-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Added variant DGintegratedSCC to DGOrigin for OWL DL.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4898 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 |
8c0c8034bdf3688904ed4f40e255c09ddba63a6b |
|
09-Aug-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added comments; removed superfluous ConsComp, DefComp, MonoComp
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4887 cec4b9c1-7d33-0410-9eda-942365e851bb |
d081c2ff9a2f658a98e816a8a2e5d3239ffefa8a |
|
09-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
reinserted Show instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4883 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3d423459bc87648370ba5d78e8e6acd5f18473d |
|
08-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Show instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4877 cec4b9c1-7d33-0410-9eda-942365e851bb |
5f41eb53a9f8e552413bab9a5a70367c36e8b75a |
|
04-Aug-2005 |
Jorina Freya Gerken <jfgerken@gmx.de> |
removed multiple declaration
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4862 cec4b9c1-7d33-0410-9eda-942365e851bb |
acb3844d61260407a69d8efda471b31423e3b143 |
|
04-Aug-2005 |
Jorina Freya Gerken <jfgerken@gmx.de> |
added new rule type to DGRule
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4861 cec4b9c1-7d33-0410-9eda-942365e851bb |
629300741b3f601a33c107d1d1b3afdac9384434 |
|
03-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
joining proofs in sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4857 cec4b9c1-7d33-0410-9eda-942365e851bb |
878d0086bd0aae2d7ad64451035c4e78047b1cff |
|
03-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
no not require Show for PrettyPrint
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4856 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 |
e1abb0a8a17632e11db927958ab8cf58635bdf96 |
|
02-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved G_theory to DevGraph and renamed emptyName to emptyNodeName
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4839 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 |
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 |
61748280382b01d7784723a05ffb9c31a12cf584 |
|
09-Jul-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4600 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 |
e220b2051a2342a9291721e6c7f408860bed01b7 |
|
14-Jun-2005 |
Jorina Freya Gerken <jfgerken@gmx.de> |
extended data ThmLinkStatus in Static/DevGraph.hs so that Proven now has also a DGRule
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4421 cec4b9c1-7d33-0410-9eda-942365e851bb |
b4fbc96e05117839ca409f5f20f97b3ac872d1ed |
|
13-Jun-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added maintainers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4412 cec4b9c1-7d33-0410-9eda-942365e851bb |
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 |
18902cdbb4cbcdaaeff6c0dd23c110ff2067a0bd |
|
12-Apr-2005 |
Jorina Freya Gerken <jfgerken@gmx.de> |
added dgn_nf and dgn_sigma to DGRef
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4035 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 |
47ddb9170b587e2fc44ac16f8580eb307c4f63c5 |
|
02-Mar-2005 |
Jorina Freya Gerken <jfgerken@gmx.de> |
adapted usage of DGNode to changes in data type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3879 cec4b9c1-7d33-0410-9eda-942365e851bb |
836e446c4ad728618a5284b5f085f51a28e99ea8 |
|
01-Mar-2005 |
Jorina Freya Gerken <jfgerken@gmx.de> |
changed data type DGNodeLab
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3876 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 |
b4b6cffb6746d672e2bb558b72f616f97ac98316 |
|
20-Jan-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added some dummy refinement analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3690 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 |
797595aad6dfd626bc1c9df52616f1ac4235c669 |
|
10-Jan-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Tried to replace sentences lists with theories as much as possible, and use map_theory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3646 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 |
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 |
89b3c0ac1164aad31ef782c377f2e39dcc988c44 |
|
23-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added missing blank
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2976 cec4b9c1-7d33-0410-9eda-942365e851bb |
911198a9fc45704f5dc1bc3ce3777da4e48fac8d |
|
21-Jul-2004 |
Markus Roggenbach <M.Roggenbach@swansea.ac.uk> |
DGData added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2961 cec4b9c1-7d33-0410-9eda-942365e851bb |
22e8d3e72e27b9038f28861fb022b05dd4f31207 |
|
19-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
reverted to previous version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2659 cec4b9c1-7d33-0410-9eda-942365e851bb |
edc54d2d146523e9d6848c191b78c5e99f1a523a |
|
19-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
imported new GCategory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2656 cec4b9c1-7d33-0410-9eda-942365e851bb |
9fa5b06733fe318e18d9b8e0ef58e5d1ec953f7c |
|
18-Apr-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Created a separate module for architectural diagram types and functions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2404 cec4b9c1-7d33-0410-9eda-942365e851bb |
845d5d286c34819057628dd8c3fafaf6e8578786 |
|
22-Mar-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Added extendDGraphRev function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2305 cec4b9c1-7d33-0410-9eda-942365e851bb |
452a5aa4c71034740812eb4fec56ccd516d34b62 |
|
22-Mar-2004 |
Maciek Makowski <maciek@mmakowski.com> |
added diagram edge labels (eges are labelled with signature morphisms)
added emptyG_sign function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2296 cec4b9c1-7d33-0410-9eda-942365e851bb |
38f350357e92da312d2c344352180b3dc5c1fc8a |
|
13-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Isabelle interface debugged
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2273 cec4b9c1-7d33-0410-9eda-942365e851bb |
34bf36a3bd43cd7b078191f11bedda71299d7e63 |
|
11-Mar-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Implemented getSigFromDiag
Implemented extendDGraph
Added deriving Show to various types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2255 cec4b9c1-7d33-0410-9eda-942365e851bb |
3468a2292bb3a53a252df0f916e4034e8e6f9dcc |
|
26-Feb-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Updated type definitions for architecture diagrams
Implemented ctx -- a mapping from extended to regular static unit contexts
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2227 cec4b9c1-7d33-0410-9eda-942365e851bb |
95932c57191afb21b59187129e4fed66250500ec |
|
26-Feb-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Added types and functions used by static analysis of arch specs and unit specs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2221 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 |
6de8741563206d65ec7f817154989aa3c5a41c30 |
|
19-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
import PrettyPrint instance
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2198 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 |
306763c67bb99228487345b32ab8c5c6cd41f23c |
|
12-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted headers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2158 cec4b9c1-7d33-0410-9eda-942365e851bb |
47af295501ed5f407848f61b9943d58ccb43be29 |
|
12-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Bug fixes for overload resolution
Display signatures etc. in Windows; made menus uniform
User Guide updated w.r.t menus
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2140 cec4b9c1-7d33-0410-9eda-942365e851bb |
503e836b34d3abed34520eb4a0a345b5e13f248d |
|
11-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Extended signatures, first part; bug in handling of default logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2131 cec4b9c1-7d33-0410-9eda-942365e851bb |
1549f3abf73c1122acff724f718b615c82fa3648 |
|
10-Jan-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Adapted lookupComorphism; it now parses the name and composes the involved comorphisms
todo lists updated
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1936 cec4b9c1-7d33-0410-9eda-942365e851bb |
140a290e18b4a0a2d84127e2913b46ab779a8e86 |
|
09-Jan-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Added Eq instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1933 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 |
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 |
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 |
dac41c1d12ba1114c083e7b694ca7ae8a30d09df |
|
29-Jul-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added Eq for DGLinkLab.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1616 cec4b9c1-7d33-0410-9eda-942365e851bb |
e73be37c05d01fc538553efbf77c1d330cf11542 |
|
25-Jul-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added proof interface
changes DGNode to DGNodeLab, DGEdge to DGEdgeLab
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1601 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 |
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 |
7bde7cbe86cb1fca9db8689939e5f57a3416643d |
|
07-Apr-2003 |
Jorina Freya Gerken <jfgerken@gmx.de> |
spelling mistake corrected
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1213 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 |