aa01b942b00f675c0c6ffa9c7df23e7522970569 |
|
16-Jun-2016 |
mcodescu <mscodescu@gmail.com> |
test rps/eps for proving |
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 |
a6d11e47975d13b177ebc5750b0e1590049e64c7 |
|
03-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
removed warnings |
d5a225e7c58f6a8ab7b5acda22841784a19e261f |
|
03-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
cleaning up code |
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 |
39f54506ddf420d74afeeec4065ebf7222aca364 |
|
31-Oct-2014 |
SillyCodeValley <SillyCodeValley@users.noreply.github.com> |
Revert "1366 dol parsing" |
67ecedea342a6e03fa2f2167b62176955d7eef7e |
|
20-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
layout change only |
a983937659ae317551bbc9dcb4acd26cd50617e6 |
|
20-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
started dol only parsing |
8c7aa750542dcadb94b971be712564a9a8f1d189 |
|
10-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed join to avoid future clash with prelude name
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18572 cec4b9c1-7d33-0410-9eda-942365e851bb |
3fa31833c6baa948faa437d02ce6729d52078a5e |
|
02-Dec-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fix #1220
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18355 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 |
247eefa106a467b872521724ff7bf4af5c27220d |
|
27-Mar-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
new detection of comorphisms to provers
todo: investigate why found provers do not show up (example THF/Test/Products.hascasl)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17830 cec4b9c1-7d33-0410-9eda-942365e851bb |
94ae66859953912774e607259f7e47e12d3e4213 |
|
10-Oct-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
find deeper comorphism paths
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17516 cec4b9c1-7d33-0410-9eda-942365e851bb |
b44da0d2c17e133960e999658a159f19326193f2 |
|
10-Oct-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
use the top sublogic if it missing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17505 cec4b9c1-7d33-0410-9eda-942365e851bb |
1dfd1687e9ee6a45e2cb5268a701ead79c1c1f79 |
|
09-Oct-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored sublogics of ExtModal
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17502 cec4b9c1-7d33-0410-9eda-942365e851bb |
96cb319ad7fbfb244ec2e52b50170b4ca6bef0b9 |
|
09-Oct-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
only consider model expanding comorphisms for provers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17499 cec4b9c1-7d33-0410-9eda-942365e851bb |
d0916b96ca9f90822c0bb6062b13d5de83bf410a |
|
03-Oct-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
recognize IRIs for "logic" and "serialization"
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17475 cec4b9c1-7d33-0410-9eda-942365e851bb |
1a90bc449d8315ff4ef9cf44cc0fd136705194f3 |
|
03-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
support several parsers #1050
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17112 cec4b9c1-7d33-0410-9eda-942365e851bb |
6ddc28e1f79bd9d28225e0a03f8e16998d5703d5 |
|
03-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
inserted serialization
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17111 cec4b9c1-7d33-0410-9eda-942365e851bb |
f6f34269532bfdff1e08e9038bf8b9098e3a5dae |
|
20-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not put imported symbols into the symbol set
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16957 cec4b9c1-7d33-0410-9eda-942365e851bb |
7aa4fd41783d419ff516a23b767555d29ccda29f |
|
11-Apr-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
inserted blank in error messages
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16788 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea39a854498febb718cbdd6035fb935fd145daac |
|
06-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
added DOL-parser, serialization syntax, prefix-map into GlobalAnnotations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16768 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea8e98e298f33f9362293f392c8fb192722b8904 |
|
30-Mar-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Changed Simple-ID to IRI on Library-, Structure- and Architecture-level
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16750 cec4b9c1-7d33-0410-9eda-942365e851bb |
9b4d59bb654421c8fe405636bba0f12e09c65641 |
|
22-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added current base theory also to logic graph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16157 cec4b9c1-7d33-0410-9eda-942365e851bb |
ae50ba019a9b42891b1460f9b8ac01e8d44d2ebd |
|
14-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended logic graph and only set logic name for parsing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16129 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 |
78efc385d85998e49a363929b2d1016e37835b6d |
|
13-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added sublogic analysis stub
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16121 cec4b9c1-7d33-0410-9eda-942365e851bb |
53ea24e19dbd4ca72fd75ab3a3105dc9f99e4f81 |
|
09-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow logic names being followed by spec names in parens
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16114 cec4b9c1-7d33-0410-9eda-942365e851bb |
656f17ae9b7610ff2de1b6eedeeadea0c3bcdc8d |
|
29-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed legal_mor
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15779 cec4b9c1-7d33-0410-9eda-942365e851bb |
b08cce1a5d592e69fd1e3ced1d5c2d8c3ffebbf5 |
|
29-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
also map symbols when coerce extended signatures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15768 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 |
4c5a72571395f1f6c2390a869656fb5014a11f15 |
|
09-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Ord instance for AnyLogic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15104 cec4b9c1-7d33-0410-9eda-942365e851bb |
5fe604bfecb45b5cf2a5c1db003d39d670423476 |
|
09-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented isInclusion properly, homogenity is checked elsewhere
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15103 cec4b9c1-7d33-0410-9eda-942365e851bb |
f223a90d51db0fb060381211cfc07fc5b0672f58 |
|
08-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added identity test for morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15094 cec4b9c1-7d33-0410-9eda-942365e851bb |
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 |
6574172eedfcd7740b2828a6887c170e2df37ae6 |
|
18-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
support a missing subsort
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14948 cec4b9c1-7d33-0410-9eda-942365e851bb |
6ccaeced9d4aa7b1c0268eea85e2b6118ee1dff7 |
|
15-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
keep current logic in sync between parsing and static analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14920 cec4b9c1-7d33-0410-9eda-942365e851bb |
43c068fe072ef39f4018b2e08fc15042c13a2ade |
|
04-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced unused langNameSig by logicOfGsign and cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14484 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 |
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 |
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 |
10b02b2343246df6773585636fe3ddbefa3b6a1b |
|
04-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored parsers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13160 cec4b9c1-7d33-0410-9eda-942365e851bb |
831b0d8f47480be51d14f2cf122913507859f9c3 |
|
12-Feb-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
prepared the type of Linkpath in order to integrate heterogeneous path computation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13066 cec4b9c1-7d33-0410-9eda-942365e851bb |
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 |
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 |
081deee1bac477ab8db717646baba47f0fe95479 |
|
13-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
dump positions for symbols and sentences in DGraphXML
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12977 cec4b9c1-7d33-0410-9eda-942365e851bb |
9f45ffcc3337774d6577c5dfe7e59075afd01b44 |
|
14-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
typo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12921 cec4b9c1-7d33-0410-9eda-942365e851bb |
21f5235241a57209c38c2e5a0ca338dae29be3e5 |
|
30-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not try to re-construct translated symbols
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12871 cec4b9c1-7d33-0410-9eda-942365e851bb |
289ed8f5d30681cdfdb632e8d9311b86da8843e9 |
|
30-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid error exception within optimization
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12870 cec4b9c1-7d33-0410-9eda-942365e851bb |
09943dce50b9804d3729d0b989f07202205986e0 |
|
03-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved lookup square and added Ord instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12776 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad6a71bc29879c37f9bb43a20761bc102147ed31 |
|
12-Oct-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
timeout does now work for consistency checker. also moved comSublogics to Grothendieck and named it joinSublogics.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12632 cec4b9c1-7d33-0410-9eda-942365e851bb |
342beb91d58bcf41178240c37d0f6c0c4f83c53e |
|
09-Oct-2009 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
Normalization of freeness works for Maude. Needs improvements.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12611 cec4b9c1-7d33-0410-9eda-942365e851bb |
f7cfb8e8440b577695bbcd278c5d30fc7a2599d6 |
|
04-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
used nubOrd rather than just nub
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12573 cec4b9c1-7d33-0410-9eda-942365e851bb |
63446f56303cae42d544b0d2623d6fc0483d5548 |
|
20-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
compute a range span
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12183 cec4b9c1-7d33-0410-9eda-942365e851bb |
ef9e8535c168d3f774d9e74368a2317a9eda5826 |
|
13-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved ATerm library to separate directory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12107 cec4b9c1-7d33-0410-9eda-942365e851bb |
3e8b136f23ed57d40ee617f49bcac37830b58cab |
|
13-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Binary stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12102 cec4b9c1-7d33-0410-9eda-942365e851bb |
18de8303d920c928b56f4c887dcb589db941f500 |
|
11-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
use newtype deriving
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12081 cec4b9c1-7d33-0410-9eda-942365e851bb |
567f9226c9ea03422144c8d54b51a153bcfe190b |
|
03-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
use unguarded morphism composition
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11467 cec4b9c1-7d33-0410-9eda-942365e851bb |
a23e572c8f957cc051a1b0831abd6fe9380d45c7 |
|
03-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow unchecked composition of morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11466 cec4b9c1-7d33-0410-9eda-942365e851bb |
24fa42290fd0d3d5acc03648cf0cd5427f2933a2 |
|
27-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected Ord instance of G_sign
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11445 cec4b9c1-7d33-0410-9eda-942365e851bb |
e087bc46c09cae63caa767d5852b39615e4c5d9c |
|
26-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
use unguarded inclusion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11443 cec4b9c1-7d33-0410-9eda-942365e851bb |
13d67837c3cb3eb3e4a1ac1fb080aa79ae738198 |
|
26-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
Corrected Ord instances for G_sign and GMorphism.
Equal indices mean equal signs or morphism, but
different indices may still refer to equal entities!
Also cleaned up a bit.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11442 cec4b9c1-7d33-0410-9eda-942365e851bb |
dada658692dfbbd04b7a08cdc4826616f84ad6ef |
|
26-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
support unguarded inclusion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11441 cec4b9c1-7d33-0410-9eda-942365e851bb |
16e124196c6b204769042028c74f533509c9b5d3 |
|
26-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
require Ord instances also for signatures and morphism for efficiency reasons
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11438 cec4b9c1-7d33-0410-9eda-942365e851bb |
4ef5e33657aae95850b7e6941f67ac1fb73cd13f |
|
16-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
made sublogic name a single string
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10840 cec4b9c1-7d33-0410-9eda-942365e851bb |
d2c9eb8bcf668a38ac9fcf7333c0cd8f2b248452 |
|
14-Oct-2008 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added isHomInclusion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10820 cec4b9c1-7d33-0410-9eda-942365e851bb |
36f73e8ac5d1e01c3c673ebdfee376732b96c177 |
|
14-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected sublogic lookup of id-comorphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10817 cec4b9c1-7d33-0410-9eda-942365e851bb |
0dcb86310998e097d3b15608f980f0a89a11a322 |
|
10-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced sequence with map by mapM
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10301 cec4b9c1-7d33-0410-9eda-942365e851bb |
9272336608569e67870744660b1d9803316c55ba |
|
13-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
exported logicUnion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10104 cec4b9c1-7d33-0410-9eda-942365e851bb |
fb7c3ffc41767729db506ad0ac1262ecfb5febf8 |
|
13-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed view-defn to be heterogen
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10099 cec4b9c1-7d33-0410-9eda-942365e851bb |
17a9f05c03d061562fe0f80ec2482747019ff657 |
|
12-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed homogenouos inclusions (redo spechub/Hets@bf4226899034bddcfe81c870cbedf28c2890370e)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10095 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 |
6157bf81d295795067c177aa870fedff83cbe750 |
|
09-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
reverted back to spechub/Hets@0be5c0a1bf7280886776861f8673d02f330cd3ff since RCCVerification no longer works
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9904 cec4b9c1-7d33-0410-9eda-942365e851bb |
bf4226899034bddcfe81c870cbedf28c2890370e |
|
08-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed homogeneous inclusion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9896 cec4b9c1-7d33-0410-9eda-942365e851bb |
ecf53548cbac6725f25a9cd6200e10629a1dd2c1 |
|
08-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added message strings to gSigCoerce
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9893 cec4b9c1-7d33-0410-9eda-942365e851bb |
de74eb8b194879b0ddce03e942bce1a3c6c6f3cc |
|
04-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
add all symbols to coerced G_sign
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9883 cec4b9c1-7d33-0410-9eda-942365e851bb |
61e3cc42f20ee83d511c974b65301414cf4ea968 |
|
04-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added logic coercion with translation of G_sign
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9882 cec4b9c1-7d33-0410-9eda-942365e851bb |
daf639dec2d70e8abd66ed3c850c6d9576dd985f |
|
31-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
reverted spechub/Hets@7d955f4c6ee83fe8376292034c524b04ad3b452b
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9849 cec4b9c1-7d33-0410-9eda-942365e851bb |
7d955f4c6ee83fe8376292034c524b04ad3b452b |
|
28-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
check for an empty signature in gsigUnion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9845 cec4b9c1-7d33-0410-9eda-942365e851bb |
8a6eb5a17ea17b650b29099036549b66eec4884a |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved G_prover stuff to AbstractState
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9815 cec4b9c1-7d33-0410-9eda-942365e851bb |
9cc0b778e2c5a2f85f4e041cfaee851630293c02 |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed export of logicUnion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9814 cec4b9c1-7d33-0410-9eda-942365e851bb |
0b4eb06af60a528ebffd3b7602d458ae35df4983 |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed normalize
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9813 cec4b9c1-7d33-0410-9eda-942365e851bb |
21e56308fe7b66fb09f0847ae69d1ab17546b420 |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved isInclComorphism to ShowLogicGraph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9809 cec4b9c1-7d33-0410-9eda-942365e851bb |
556f473448dfcceee22afaa89ed7a364489cdbbb |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved Any types out of Grothendieck
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9807 cec4b9c1-7d33-0410-9eda-942365e851bb |
3209e1390e106b42e3526bd2c77261799d54cad1 |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused coerceG_sign
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9805 cec4b9c1-7d33-0410-9eda-942365e851bb |
6aae6d4969c9aafde9c5a9fd9d66f77dd50634f7 |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved HetSublogicGraph to HetSublogicGraph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9804 cec4b9c1-7d33-0410-9eda-942365e851bb |
51d65b6ae0cb380bfcd45c87e30888fe8f66b636 |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9803 cec4b9c1-7d33-0410-9eda-942365e851bb |
795114606fde20e909387c27e848b4754ec79013 |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow to dump (parts of) the logic graph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9802 cec4b9c1-7d33-0410-9eda-942365e851bb |
4c7f058cdd19ce67b2b5d4b7f69703d0f8a21e38 |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored class Category
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9797 cec4b9c1-7d33-0410-9eda-942365e851bb |
1911eb1427d3e94038f4a89f96de511a5b6b2ece |
|
12-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
shorter output for Pretty GMorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9753 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 |
474eef2c8001736a4707c238a954d217e1ceac65 |
|
19-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
leave sub-sig test to logics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9583 cec4b9c1-7d33-0410-9eda-942365e851bb |
88f90ebe1a8fe5774b4b2deb0f5f5aef1ad138b3 |
|
14-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
speeded up compHomInclusion for #441
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9564 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 |
c8b9b235f59ba08817156de4f215b1f65bf1f6a0 |
|
22-Nov-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
reduced path length for findComorphismPath
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9231 cec4b9c1-7d33-0410-9eda-942365e851bb |
64e1905404e5135e98a26d2ab4150b6764956576 |
|
02-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
check or (due to bugs #456 and #439) adjust symbol sets in extended signatures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9132 cec4b9c1-7d33-0410-9eda-942365e851bb |
af8e44df2e72810b2098a802110a5dff35edfbaf |
|
01-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Pretty instance for G_morphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9123 cec4b9c1-7d33-0410-9eda-942365e851bb |
de66af0f4b27f08f81c7ca9c573ef9cdf7ca7a07 |
|
01-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
prepare checking symbol sets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9121 cec4b9c1-7d33-0410-9eda-942365e851bb |
37d0b201b8ba5d6056691e3055dd803e7928e163 |
|
29-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed indices for domain and codomain of G_morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9099 cec4b9c1-7d33-0410-9eda-942365e851bb |
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 |
f9e0b18852b238ddb649d341194e05d7200d1bbe |
|
29-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended signatures are already needed during logic specific static analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9093 cec4b9c1-7d33-0410-9eda-942365e851bb |
e7b5c0df35a6c913170d892bb601298bc141b824 |
|
23-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
derived Typeable, cleaned up parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9074 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 |
43e7097fdf81f8d8652663856fc6e3b6aa91dffe |
|
10-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added a lookup function for the current logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9023 cec4b9c1-7d33-0410-9eda-942365e851bb |
1cbee24256e1c03a06103283c9dd8dcd97a10f70 |
|
08-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added the current logic to the logic graph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9003 cec4b9c1-7d33-0410-9eda-942365e851bb |
bd86bcb948750ed37ecd3507f960d410ddccf9df |
|
04-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added a is_subsig test to ginclusion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8989 cec4b9c1-7d33-0410-9eda-942365e851bb |
d59fb3f9145d83f55fff4ae28b8540dd1a6d3ca7 |
|
31-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed homogeneousGsigUnion from export list
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8769 cec4b9c1-7d33-0410-9eda-942365e851bb |
1d581e55c7ec020a445684310394c3a5fc056e96 |
|
23-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced .tzi with .informatik.uni-bremen
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8690 cec4b9c1-7d33-0410-9eda-942365e851bb |
1f743fce22b7be9ba09d0d50b983def41876f4ac |
|
16-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved haddock markup
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8625 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 |
73707db6b69e36d45e52910151837ac85906c2b8 |
|
13-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed warnings and cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8365 cec4b9c1-7d33-0410-9eda-942365e851bb |
9a8af2fd6912c360121a536f16443ba764ebb6cd |
|
04-Jul-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
* corrected datatype HetSublogicGraph
(multiple edges between two nodes are allowed now)
* separated tests from computation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8243 cec4b9c1-7d33-0410-9eda-942365e851bb |
2b565fe5cfb9f99857fd25b52304758d8544e266 |
|
04-Jul-2007 |
Mihai Codescu <codescu@iws.cs.uni-magdeburg.de> |
Wrote institution comorphism modification class and added modifications as field in the logic graph.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8238 cec4b9c1-7d33-0410-9eda-942365e851bb |
eb0e19a83d8e3eaeb936c197555b20d37129022c |
|
04-Jul-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
* generalized IdComorphism (Logic.Comorphism) to InclComorphism;
InclComorphism is an abstract datatype with selector and
constructor functions
* Logic.Comorphism has an export list now and the class functions
mapSentence and mapSysmbol have default error implementations now
* the heterogeneous sublogic graph can be accessed from the Logic Graph
window now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8235 cec4b9c1-7d33-0410-9eda-942365e851bb |
19002691dc7438e5bd02900ec54beb331e4476ca |
|
03-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified Eq instance for G_sublogics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8231 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea42b2e6bb918c47ff9456591cac16ae7848b899 |
|
03-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Ord instance for G_sublogics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8229 cec4b9c1-7d33-0410-9eda-942365e851bb |
bba825b39570777866d560bfde3807731131097e |
|
28-Jun-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
* Made mapSublogic in class Comorphism partial
(result type is now Maybe sublogics)
* preliminary incomplete implementation of hetSublogicGraph
(not accessible form the GUI yet)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8183 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 |
cd6e5706893519bfcf24539afa252fcbed5097dd |
|
26-Jun-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
* Refactoring of classes Logic, Sentences and StaticAnalysis
* Logic.Prover.ProverTemplate has now a field for the maximal sublogic
needed by a Prover/ConsChecker
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8145 cec4b9c1-7d33-0410-9eda-942365e851bb |
9c03bee600a3b04c85ae59e253fc789ac2fc0ece |
|
02-May-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added getProverName function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7858 cec4b9c1-7d33-0410-9eda-942365e851bb |
f2c050360525df494e6115073b0edc4c443a847c |
|
12-Apr-2007 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
flags for properties of comorphisms and values for them in different instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7813 cec4b9c1-7d33-0410-9eda-942365e851bb |
d4755076e0e91104c0a08fc71d8846db8c81be3e |
|
09-Mar-2007 |
Jian Chun Wang <wjch868@informatik.uni-bremen.de> |
added signature indices for G_morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7630 cec4b9c1-7d33-0410-9eda-942365e851bb |
a98fd29a06e80e447af26d898044c23497adbc73 |
|
06-Mar-2007 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
transportability for Grothendieck signature morphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7610 cec4b9c1-7d33-0410-9eda-942365e851bb |
749eb18af1be32f292262fe6f10ce7c252b1f407 |
|
22-Feb-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
moved todo list to Trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7506 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 |
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 |
e45d637072e58c458b1f14b18433db298af2a1a3 |
|
19-Dec-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added gEmbed2 for better indices
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7272 cec4b9c1-7d33-0410-9eda-942365e851bb |
f7bf3092bde54443dfbb75117171fb22d65c64e5 |
|
19-Dec-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
the target signature of a morphism is unknown
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7271 cec4b9c1-7d33-0410-9eda-942365e851bb |
83eb45e6eb63ad36700d8c15678c5f488b02c25c |
|
19-Dec-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added functions to handle indices
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7269 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 |
7a2ae17462b4eaa51bfd48e3e8b6e4b3c4f0fbd1 |
|
06-Oct-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
coerceG_sign
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7017 cec4b9c1-7d33-0410-9eda-942365e851bb |
6abfd7000f15635fd29746bd841b4c36819e552b |
|
11-Aug-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
check that target sublogic is not increased when doing CompComorphism optimizations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6812 cec4b9c1-7d33-0410-9eda-942365e851bb |
91edf27183dd89c2550a36e61e2e0703a7813081 |
|
11-Aug-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
cancel id comorphisms in composition of comorphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6809 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 |
497dbb85c34bd4c2eb674a8b0edec20ca3fb2202 |
|
06-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed old PrettyPrint instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6610 cec4b9c1-7d33-0410-9eda-942365e851bb |
ae8052003e1ec7247597f034069db0939a7387e1 |
|
04-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
used sepByCommas or ppWithCommas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6585 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 |
c40fae9ed4d36d54743487a90fb2174fb635c7eb |
|
21-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Pretty instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6470 cec4b9c1-7d33-0410-9eda-942365e851bb |
b1a22af0593b4b114db8399daa60011baffff1f9 |
|
16-May-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added lookupCompComorphism and cleand up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6324 cec4b9c1-7d33-0410-9eda-942365e851bb |
54e817678f5e4b2b2a68739bdee19db4afb99b6a |
|
18-Apr-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoided irritating Ord instances for LatticeWithTop
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6206 cec4b9c1-7d33-0410-9eda-942365e851bb |
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 |
f4943ac338d77835e270fd706b3fcf3bcfaa34df |
|
17-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove irrelevant option
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5657 cec4b9c1-7d33-0410-9eda-942365e851bb |
adea2e45fa61f1097aadc490a0aeaf4831b729cc |
|
02-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused import
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5584 cec4b9c1-7d33-0410-9eda-942365e851bb |
4cb77926a2d85ce3bb32ac0938f0100c8c528dc2 |
|
30-Dec-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added inclusion test to compInclusion; such that it can be used in a speculative manner
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5571 cec4b9c1-7d33-0410-9eda-942365e851bb |
4025a3b433dbf8e9c899c1b54249e3a107160f21 |
|
28-Oct-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added function lessSublogicComor
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5298 cec4b9c1-7d33-0410-9eda-942365e851bb |
3821caf7c93e5142179ceff2e3c86f8fad32b22b |
|
25-Oct-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added function findComorphism: finds a Comorphism matching the provided Sublogic if available in List.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5253 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 |
cb27985c2834872365f1c8870982ff94066bc001 |
|
11-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
imported splitOn
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4904 cec4b9c1-7d33-0410-9eda-942365e851bb |
02edb0fd7ce35cdea0524302127400f3a6385cc1 |
|
09-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
reinserted Show instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4882 cec4b9c1-7d33-0410-9eda-942365e851bb |
128a2495eae257ab5e491ef2a4ab140f3ea2b3ea |
|
08-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added instance Show GMorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4876 cec4b9c1-7d33-0410-9eda-942365e851bb |
bba8f93f73808355208a81d9d3446be84b37c93d |
|
08-Aug-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added isTransportable, renamed hasIdComorphism into isHomogeneous
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4872 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 |
4974530b6f926de6d7699daf75ff78149daab828 |
|
03-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated G_prover and G_cons_checker, commented out unused G_ext_sign stuff, used new coersions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4849 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 |
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 |
2197b26e53729d09a79bc9a7cf1194a439025df0 |
|
29-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
centralized pretty printing of a theory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4825 cec4b9c1-7d33-0410-9eda-942365e851bb |
3b5c09830c12a9e18b055ab4d218f292b9a008e9 |
|
29-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
generalized flatG and joinG functions, changed printing of G_theory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4823 cec4b9c1-7d33-0410-9eda-942365e851bb |
03c7cb1a37db37436e4a807cb63d94c19f370337 |
|
29-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed joining
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4821 cec4b9c1-7d33-0410-9eda-942365e851bb |
f7e2e2c7d69488c54252423f9d394d2ea28a09f9 |
|
28-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
generalized toG_theory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4816 cec4b9c1-7d33-0410-9eda-942365e851bb |
a77b9fa1ca3c9e5cc608208aa05987ad713fbbc6 |
|
26-Jul-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
reduced the number of computed compositions of Comorphisms by 1 to 3. Gives better performance.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4795 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3a94a197960e548ecd6520bb768cb0d547457bb |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
aligned module description for haddock-0.7
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4438 cec4b9c1-7d33-0410-9eda-942365e851bb |
97018cf5fa25b494adffd7e9b4e87320dae6bf47 |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Licence with License for haddock-07
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4433 cec4b9c1-7d33-0410-9eda-942365e851bb |
8b5f9f72ba210940b26034bcadd34b2fe7f93bbd |
|
31-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructered Logic.Prover
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4345 cec4b9c1-7d33-0410-9eda-942365e851bb |
0799b5dc3f06d2640e66e9ab54b8b217348fd719 |
|
13-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
ported to fgl
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4275 cec4b9c1-7d33-0410-9eda-942365e851bb |
df11e5eab86d8247f58e301d8f0a2c6ecf4c9541 |
|
10-May-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
re-added morphisms; introduced existential type for them
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4242 cec4b9c1-7d33-0410-9eda-942365e851bb |
0f9123db94dd486041874eae962df0cd17bf9caa |
|
04-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unnecessary AnyComorphismAux
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4207 cec4b9c1-7d33-0410-9eda-942365e851bb |
d500d5ca2d234c3646fb9f058c8ea4beb68434c5 |
|
30-Apr-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
documentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4163 cec4b9c1-7d33-0410-9eda-942365e851bb |
e6ce7942f582ab8fa4df1fa329080f7aaf1be9f4 |
|
26-Apr-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
documentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4127 cec4b9c1-7d33-0410-9eda-942365e851bb |
3191a1b1608839c6f1757322a130e608ac4a157e |
|
25-Apr-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
documentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4124 cec4b9c1-7d33-0410-9eda-942365e851bb |
de1fd208525314a3d054d7e9fca9000b07b09bbd |
|
25-Apr-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoided import of ListUtils
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4116 cec4b9c1-7d33-0410-9eda-942365e851bb |
68569244a5472c2aef1d50811407de7900701a2d |
|
22-Feb-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added functions for weakly amalgamable cocones
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3840 cec4b9c1-7d33-0410-9eda-942365e851bb |
69ccfc45f7e684fc4c755a98923f5e84f5c8e9f2 |
|
21-Feb-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
todo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3832 cec4b9c1-7d33-0410-9eda-942365e851bb |
f2a87c712ea3cd13f86a95cae738f861f6c4a908 |
|
21-Feb-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
fixed wrong cancellation of id comorphisms on sublogics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3831 cec4b9c1-7d33-0410-9eda-942365e851bb |
df51b4ac47a56b557d53ec77cc60aaf86c59d31b |
|
03-Feb-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
switch flatG_theories to Result
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3768 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 |
a89e661aad28f1b39f4fc9f9f9a4d46074234123 |
|
05-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed from Maybe to Result
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3619 cec4b9c1-7d33-0410-9eda-942365e851bb |
52aad0502f0ddd332a28ae3fcd3327fa66d002f7 |
|
28-Dec-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
static analysis of 'with logic'
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3596 cec4b9c1-7d33-0410-9eda-942365e851bb |
9d34a8049237647d0188ee2ec88db2dc45f1f848 |
|
19-Dec-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Made heterogeneous spec CCS_Automaton go through; inserted true unions of Grothendieck signatures everywhere
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3574 cec4b9c1-7d33-0410-9eda-942365e851bb |
61a9116326131c17aa1f5ca100fae71d876658a1 |
|
07-Dec-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Double arrows for heterogeneous definition links
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3534 cec4b9c1-7d33-0410-9eda-942365e851bb |
56482892fa04a24630557e6953218cf39dec89f1 |
|
29-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved amalgamation data types to new module Common.Amalgamate and renamed Yes and No constructors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3491 cec4b9c1-7d33-0410-9eda-942365e851bb |
dfaa945ae8e570a57dad32b18732ac2c3982893c |
|
26-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
only switched on -fallow-incoherent-instances in Grothendieck
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3482 cec4b9c1-7d33-0410-9eda-942365e851bb |
5308ef83ee1b668f4cf6c8278bc645e7e0f8b4ed |
|
26-Nov-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Connected Isabelle consistency checker
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3468 cec4b9c1-7d33-0410-9eda-942365e851bb |
8ddc7a5666b6887cf3a2c7c29e4691e04373545f |
|
26-Nov-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added consistency checking of nodes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3466 cec4b9c1-7d33-0410-9eda-942365e851bb |
41b888d6ae8350212fd920b25a0b964b7604dcd2 |
|
18-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
made sources go through programatica
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3448 cec4b9c1-7d33-0410-9eda-942365e851bb |
0cb5f9c8582ad87ceef1c16b5d92347ae0878019 |
|
10-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced new Pos type in Id
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3413 cec4b9c1-7d33-0410-9eda-942365e851bb |
8fe275b237f0c7f861ee2126cdc90027b941ead2 |
|
09-Nov-2004 |
Jorina Freya Gerken <jfgerken@gmx.de> |
local subsumption rule implemented
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3400 cec4b9c1-7d33-0410-9eda-942365e851bb |
9f58e5e6a5e90404f550728aa052b29730850744 |
|
02-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
reused code of logicInclusion in ginclusion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3363 cec4b9c1-7d33-0410-9eda-942365e851bb |
848ba9aaeb60067a867920257948232db262db69 |
|
28-Oct-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Corrected coerceTheories
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3333 cec4b9c1-7d33-0410-9eda-942365e851bb |
f9e30e7afe31a19c7fa85fc4540a35c0089333b9 |
|
21-Oct-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
coerceTheory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3298 cec4b9c1-7d33-0410-9eda-942365e851bb |
933baca0720dae81434de384b32a93b47e754d09 |
|
18-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
supplied a meaningful sublogic_names implementation and checked for an unsafe head
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3263 cec4b9c1-7d33-0410-9eda-942365e851bb |
b3dca469a9e267d6d71acfdeca7bf284d0581dc7 |
|
29-Sep-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Made CspCASL logic more completed
Completed static analysis of data specs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3201 cec4b9c1-7d33-0410-9eda-942365e851bb |
0e51a998b1b213654c7a9eca451562041971f100 |
|
28-Sep-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Introduced list of constituents for comorphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3194 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e2e744c6b967c3f5f581acf01c13769b6769285 |
|
02-Sep-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added Eq and Show instances for DGRule. Needed refactoring of dynamics stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3125 cec4b9c1-7d33-0410-9eda-942365e851bb |
62867c8459918ce0a96960093eb43d758b97a603 |
|
01-Sep-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Interpret result Nothing for function map_sentence now as: ignore sentence
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3122 cec4b9c1-7d33-0410-9eda-942365e851bb |
59cc761000d4416b127ab07c41411d58419a4a97 |
|
26-Aug-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Started the implementation of simplify_sen for CASL and corrected its type signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3092 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3b8c90c6f0ab1171fcedcc37acaa69ea0a3ac21 |
|
12-Aug-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added simplification for theories
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3056 cec4b9c1-7d33-0410-9eda-942365e851bb |
ae17d457c2d00d47d65e8cd510c3fd21b9516ccb |
|
11-Aug-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Better printing of sublogics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3053 cec4b9c1-7d33-0410-9eda-942365e851bb |
586af0e9490a14dd3075095692b584c652584875 |
|
10-Aug-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added sublogics to IdComorphism
Avoided !! below ==> in IsaPrint
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3040 cec4b9c1-7d33-0410-9eda-942365e851bb |
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 |
ce8b15da31cd181b7e90593cbbca98f47eda29d6 |
|
22-Jul-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Completed PCFOL2FOL
Modularized CoCASL2ISabelleHOL
(Partly) solved Qual_var problem in Overload
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2969 cec4b9c1-7d33-0410-9eda-942365e851bb |
79831982ddcb41676a033e6f5ab1d60343de1539 |
|
17-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
take defaultLogic from command line
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2882 cec4b9c1-7d33-0410-9eda-942365e851bb |
3e2c4de10a0eb284938b5d5307d1c1fc2f799456 |
|
04-Jun-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Sublogics corrected/todo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2816 cec4b9c1-7d33-0410-9eda-942365e851bb |
950ecce40ed5a97adf4460be07b47e3a0d0b1e56 |
|
02-Jun-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Translation of cogeneration constraints to Isabelle
instace Typable G_sublogic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2799 cec4b9c1-7d33-0410-9eda-942365e851bb |
4bc517a4dd3ac82361154d0c847cb33ad279cd0d |
|
01-Jun-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
CoCASL coding to Isabelle
Added instance Ord G_sublogics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2784 cec4b9c1-7d33-0410-9eda-942365e851bb |
15de18533a4d9a82b5fa956f88c964a3462302ee |
|
26-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Typeable instances for AnyLogic and AnyComorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2710 cec4b9c1-7d33-0410-9eda-942365e851bb |
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 |
bbdf9b2b58f24581e798570c78a739c1b418dc30 |
|
19-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed fromShATerm and restructured
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2655 cec4b9c1-7d33-0410-9eda-942365e851bb |
59fa9b1349ae1e001d996da732c4ac805c2938e2 |
|
06-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
adaptions for ghc-6.3: mkAppTy -> mkTyConApp
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2556 cec4b9c1-7d33-0410-9eda-942365e851bb |
81a4877e0395c9db2b540cf09cfac426dc112d96 |
|
04-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added menu entry for translating theory of a node along a comorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2534 cec4b9c1-7d33-0410-9eda-942365e851bb |
c529224e0ec191fbaa87261f05c34f89c17b3f3a |
|
15-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Debugging of proof support; problem with optimized unions fixed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2277 cec4b9c1-7d33-0410-9eda-942365e851bb |
aa0ef8adb2833838c1954e6f93c61d85d2cb226a |
|
14-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Prover interface cont'd
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2275 cec4b9c1-7d33-0410-9eda-942365e851bb |
fe19deda2fe2570f9d599e58fdbc991248d08325 |
|
12-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
first draft of comorphism CASL->Isabelle completed; computation of theory of DG node
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2263 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 |
3f6b3834ba54649fc02cae002bac0258b6b5dcba |
|
19-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated text and latex printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2196 cec4b9c1-7d33-0410-9eda-942365e851bb |
d85e3f253f6af237c4b70bbfacb1bfecb5cfa678 |
|
18-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
checked with hugs and made minor changes.shortened PrettyPrint GMorphism.if some signatures and the Category instance of Grothendieck are commented out it goes through hugs, displaying odd types.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2186 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 |
59bd83cb2a6ec5b302fab92019e114a292d840e3 |
|
08-Feb-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
moved two lines for haddock
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2111 cec4b9c1-7d33-0410-9eda-942365e851bb |
5828e25f3d40e4cdca908d8c825e8274a825424e |
|
08-Feb-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
changed in two PrettyPrint the explicit construction of the document to commaT_latex
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2106 cec4b9c1-7d33-0410-9eda-942365e851bb |
6dc66e27ca60678923b9aff2ac9a32e7203e29af |
|
28-Jan-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Bug in signatureLeftUnion fixed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2016 cec4b9c1-7d33-0410-9eda-942365e851bb |
d3f5a64c6ed1b24fcaedff9a6fd6f94fe6d8a785 |
|
14-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed empty where-clause for haddock and untabbified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1957 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 |
52e024acbb8a87b50d114dd05da767573b85c12c |
|
09-Jan-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
improved error messages
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1932 cec4b9c1-7d33-0410-9eda-942365e851bb |
b0294d73dcefc502ddaa13e18b46103a5916971f |
|
03-Jan-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Prepared ATerm output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1910 cec4b9c1-7d33-0410-9eda-942365e851bb |
a946fa1fe525f04a8b4e2734fa2082bbe5e6ed3f |
|
29-Dec-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Static analysis of generic fitting views completed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1902 cec4b9c1-7d33-0410-9eda-942365e851bb |
58b671de3fe578346fef9642ffa3c5a0a0edb3cb |
|
29-Dec-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Completed symbol map analysis and most of structured analysis
Improved error messages
Fixed reload problem with libraries
Added utilities
Added PrettyPrint instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1901 cec4b9c1-7d33-0410-9eda-942365e851bb |
c0380b947eef252db81ee562246bb732555427f4 |
|
08-Dec-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Implicit logic embeddings for spec_inst without params
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1892 cec4b9c1-7d33-0410-9eda-942365e851bb |
cdee35b1b16886e4f341e2a2a69fa0e6be30b3fa |
|
06-Dec-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Pretty printing of morphisms; inducedFromTo corrected
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1891 cec4b9c1-7d33-0410-9eda-942365e851bb |
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5 |
|
22-Sep-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added inclusion list to logic graph.
Better representation for CASL signature morphisms.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1713 cec4b9c1-7d33-0410-9eda-942365e851bb |
788dd403da4203e895e15892ef7fa48129617d30 |
|
19-Sep-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Replaced undefined by more instructive error messages
Completed composition in Grothendieck sisgnature category
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1711 cec4b9c1-7d33-0410-9eda-942365e851bb |
0d0860442efb060042dba67bee3e9d2e47f8f73b |
|
15-Sep-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Workarounds for gEmbed and inclusion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1695 cec4b9c1-7d33-0410-9eda-942365e851bb |
3bb46bf92c6234bad3013b4cd13ebd164645e2a5 |
|
22-Aug-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
removed types in let expression
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1675 cec4b9c1-7d33-0410-9eda-942365e851bb |
291bf2d013eb09986fb28a813b2e7c1e8456dba2 |
|
22-Aug-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Chnaged three lines where types have been used in let definitions. The typing needs an extra line for haddock!!
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1672 cec4b9c1-7d33-0410-9eda-942365e851bb |
8db2d2c5a8df6dd6d7302bc59577150b87237940 |
|
21-Aug-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
licence added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1670 cec4b9c1-7d33-0410-9eda-942365e851bb |
a955239d210754f62350076893003d173e8a566f |
|
07-Aug-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
instance Category Grothendieck
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1660 cec4b9c1-7d33-0410-9eda-942365e851bb |
f7101c3dbcf81f7781671851a0650df15d5aecc8 |
|
31-Jul-2003 |
Felix Reckers <felix@informatik.uni-bremen.de> |
added function lookupComorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1645 cec4b9c1-7d33-0410-9eda-942365e851bb |
2f853f12b0d9457ae26951ad9e2c8c4fe54cdfec |
|
22-Jul-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Unions fixed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1581 cec4b9c1-7d33-0410-9eda-942365e851bb |
4184cb191a9081cb2a9cf3ef5f060f56f0ca5922 |
|
17-Jul-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Deleted the lid arguments from GMorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1548 cec4b9c1-7d33-0410-9eda-942365e851bb |
64f271505a90261558f27779db1c04f55008a191 |
|
27-Jun-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Workaround for Grothendieck.hs problems
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1528 cec4b9c1-7d33-0410-9eda-942365e851bb |
e9249d3ecd51a2b6a966a58669953e58d703adc6 |
|
24-Jun-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Changed logic representations to comorphisms; switched to type classes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1522 cec4b9c1-7d33-0410-9eda-942365e851bb |
e3c9174a782e90f965a0b080c22861c3ef5af12d |
|
02-May-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added data construct to structured specs.
Adapted CspCASL parser to this.
New structure for hets.hs.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1305 cec4b9c1-7d33-0410-9eda-942365e851bb |
a795ceac801e3ab32e4f6c4a63f1ea7c3fc27250 |
|
02-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
used Named sentences in Logic and Grothendieck
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1184 cec4b9c1-7d33-0410-9eda-942365e851bb |
7469bf906d0d2447c0ac44ff67dd7fc1272a8549 |
|
31-Mar-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
The LogicGraph type in Logic.Grothendieck is now based on
Common.Lib.Map. There is an access function in Logic.Grothendiek, a
specialized one in Syntax.Parse_AS_Structured and a static one in
Logic-LogicGraph.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1166 cec4b9c1-7d33-0410-9eda-942365e851bb |
2db9dc9058d0b36ec6089a6c131f00bc0875283b |
|
13-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed equality for basic (and structured) specs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1098 cec4b9c1-7d33-0410-9eda-942365e851bb |
4c53fae3e5be041e963bbfeef09f917032fedccb |
|
26-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrections for haddock
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1004 cec4b9c1-7d33-0410-9eda-942365e851bb |
2eb84fc82d3ffa9116bc471fda3742bd9e5a24bb |
|
24-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced qualified names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@972 cec4b9c1-7d33-0410-9eda-942365e851bb |
dbdae9a7cd57a9080536a5fce4ae52be5fe69081 |
|
21-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved to Logic sudirectory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@943 cec4b9c1-7d33-0410-9eda-942365e851bb |