aa01b942b00f675c0c6ffa9c7df23e7522970569 |
|
16-Jun-2016 |
mcodescu <mscodescu@gmail.com> |
test rps/eps for proving |
a0951ecefe9f0733f3bbb6039bf66af7d72b3944 |
|
06-Jun-2016 |
mcodescu <mscodescu@gmail.com> |
fixed CASL2Skolem |
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 |
1a38107941725211e7c3f051f7a8f5e12199f03a |
|
08-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added a bunch of deriving Typeable and Data |
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 |
f23641ce10de2d58493d41a4b39c64d904e5b534 |
|
24-Mar-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
propagate same default marks for #1255
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18561 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 |
082693e05d9719faff6a21da3a476dfe8f42a261 |
|
28-Jul-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
improved error message
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18070 cec4b9c1-7d33-0410-9eda-942365e851bb |
d97cb7d1c9beadc4d9102738da0a88c4efcf8fdd |
|
29-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added default definitions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17270 cec4b9c1-7d33-0410-9eda-942365e851bb |
24a0fbb77b860bc28d25be37ba555fd5746cb6d6 |
|
22-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed minimal source theory to a base name #345
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16158 cec4b9c1-7d33-0410-9eda-942365e851bb |
6e6fc976c342fa98c5bdb58ebcc087aca0e453c4 |
|
07-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused export
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16106 cec4b9c1-7d33-0410-9eda-942365e851bb |
3d86f079b07a6a058cdd6c112d287e01a69d9c0c |
|
07-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
made mapDefaultMorphism the default implementation for map_morphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16105 cec4b9c1-7d33-0410-9eda-942365e851bb |
b5056cf24da461ee868c4be7b803a76b677fa21d |
|
24-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
joined common code for CASL comorphisms to CASL extensions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16008 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 |
fd496ec12c6be2731410ea84111f1ff88d8b6384 |
|
03-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added a minimal required source theory #171
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13515 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 |
27166b063721ef1a2efd8f00ab3d9bc820b315fb |
|
02-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
shortened error message and put theory text into a hint
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12771 cec4b9c1-7d33-0410-9eda-942365e851bb |
0cd4575fe679a26de63d9a75a4d66d8366f79ab8 |
|
14-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
use map_sign to compute proper signature for model reconstruction of compositions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12643 cec4b9c1-7d33-0410-9eda-942365e851bb |
53f347ab16f992d909f47a50bf2059f57f3c7ad0 |
|
13-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow to reconstruct model along homogeneous comorphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12636 cec4b9c1-7d33-0410-9eda-942365e851bb |
255f43c567972176c2078e3de2fb7a2798bcfde0 |
|
04-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid sublogic test for id-comporphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12572 cec4b9c1-7d33-0410-9eda-942365e851bb |
2208aa0313581d176b6df08864478337e357b18e |
|
20-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not fail in targetSublogic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12166 cec4b9c1-7d33-0410-9eda-942365e851bb |
83b3260413a3b1b7dee1f9c4d3249dec994a875c |
|
16-Apr-2009 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
added signature as parameter for symbol translation along comorphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11695 cec4b9c1-7d33-0410-9eda-942365e851bb |
3946c010d94321f14139e12061dd4261a3cc7295 |
|
27-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified InclComorphism Show and Language instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11447 cec4b9c1-7d33-0410-9eda-942365e851bb |
a9183ce3b997bf3539e427b3cd22d70c3565446e |
|
27-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed instance Ord AnyComorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11446 cec4b9c1-7d33-0410-9eda-942365e851bb |
a9de0a2f34860a24f457c777e740b7e87e6e3827 |
|
24-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed language options for ghc-6.10.1
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11193 cec4b9c1-7d33-0410-9eda-942365e851bb |
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 |
a129422b14eea673dc481d2553cec108e35e72ef |
|
06-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added and used nameAndDisambiguate
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10770 cec4b9c1-7d33-0410-9eda-942365e851bb |
3a6c7a7ff823616f56cd3d205fc44664a683effd |
|
01-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
shortened too long lines
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10430 cec4b9c1-7d33-0410-9eda-942365e851bb |
a975722baf6fee1ca3e67df170c732c4abd0a945 |
|
22-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
let extractModel return a new signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9955 cec4b9c1-7d33-0410-9eda-942365e851bb |
63324a97283728a30932828a612c7b0b0f687624 |
|
21-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
prepare model computation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9947 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 |
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 |
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 |
3a87487c048b275c56e502c4a933273788e8d0bb |
|
12-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed indentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9745 cec4b9c1-7d33-0410-9eda-942365e851bb |
3fb8a83c3c06671ee94fd12a1782b14563d09df1 |
|
17-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected mapSublogic for inclusion comorphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9386 cec4b9c1-7d33-0410-9eda-942365e851bb |
6ca6ffc92f5c0058ae4b92d46e4e8cbc7beb11fc |
|
06-Dec-2007 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
Removed IdComorphism type synonym
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9327 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 |
b4e202184f6977662c439c82866fe93f06cebe41 |
|
01-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing white space
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9120 cec4b9c1-7d33-0410-9eda-942365e851bb |
830e14495f9cac8e154dd4813dae010166f33d09 |
|
31-Oct-2007 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
minor design improvement
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9112 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 |
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 |
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 |
2eeec5240b424984e3ee26296da1eeab6c6d739e |
|
23-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced @tzi with @informatik.uni-bremen
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8698 cec4b9c1-7d33-0410-9eda-942365e851bb |
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 |
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 |
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 |
c44c23429c72f3a709e22a18f2ed6f05fc8cc765 |
|
03-Apr-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed emptyName to makeNamed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7782 cec4b9c1-7d33-0410-9eda-942365e851bb |
65835942d66905c377fa503e0d577df5aade58fe |
|
03-Apr-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
generalized emptyName
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7775 cec4b9c1-7d33-0410-9eda-942365e851bb |
e8e532bb58c6c550866a9603cf388df53cc03872 |
|
20-Mar-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added default implementation for is_model_transportable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7713 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 |
af0cbe339851fc558d2b18cde3666981325e667c |
|
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@7515 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 |
9f87aabedf02d74917d94fe1ac0300e07d3d4bc2 |
|
16-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
rediscovered wrapMapTheory and added some comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7456 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 |
c1d71ac637c449feb0a25369f029397e6a1f241c |
|
25-Sep-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added -fallow-undecidable-instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6968 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 |
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 |
5c358300e78157f4bfaf5415c70e1096a9205b61 |
|
16-May-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved targetSublogic out of Comorphism class in favour of mapSublogic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6331 cec4b9c1-7d33-0410-9eda-942365e851bb |
6ea54752d184beb92c92fbae17ae9f7dd065d988 |
|
18-Apr-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added sublogic testing wrapper
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6204 cec4b9c1-7d33-0410-9eda-942365e851bb |
53310804002cd9e3c9c5844db3b984abcf001788 |
|
15-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added disambiguation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6024 cec4b9c1-7d33-0410-9eda-942365e851bb |
5c602504f85bbac7ddf0226064452bdc7d4a8cd8 |
|
08-Mar-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
todo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5926 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 |
922819b1c2d383a0fa5d70e1c4aa76667e2f1ca3 |
|
03-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
applied new coersions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4848 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3a94a197960e548ecd6520bb768cb0d547457bb |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
aligned module description for haddock-0.7
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4438 cec4b9c1-7d33-0410-9eda-942365e851bb |
97018cf5fa25b494adffd7e9b4e87320dae6bf47 |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Licence with License for haddock-07
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4433 cec4b9c1-7d33-0410-9eda-942365e851bb |
b4fbc96e05117839ca409f5f20f97b3ac872d1ed |
|
13-Jun-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added maintainers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4412 cec4b9c1-7d33-0410-9eda-942365e851bb |
88ece6e49930670e8fd3ee79c89a2e918d2fbd0c |
|
12-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted Common.Lib.Set and Map to ghc-6.4 library version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4263 cec4b9c1-7d33-0410-9eda-942365e851bb |
e1a3923b210f24dc1b0ff16b60c6fb0855ff4266 |
|
04-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed wrong Typeable instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4206 cec4b9c1-7d33-0410-9eda-942365e851bb |
0647a6c86b231e391826c7715338ba29cb4934c0 |
|
19-Apr-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
qualified Set
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4088 cec4b9c1-7d33-0410-9eda-942365e851bb |
ca8550c6d47234042130bdc10a152806ecbc9832 |
|
18-Mar-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
context change required for ghc-6.4
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3979 cec4b9c1-7d33-0410-9eda-942365e851bb |
19298cbfd6ee2abd904f3181af7760b965b822c3 |
|
02-Mar-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved map_sign out of class
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3898 cec4b9c1-7d33-0410-9eda-942365e851bb |
cf10e2b8f43597ab7640f7685d71b2749501ca90 |
|
02-Mar-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented map_theory for IdComorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3897 cec4b9c1-7d33-0410-9eda-942365e851bb |
ba3c9c6891b0731851d7ac6de52c48b472c47bd8 |
|
02-Mar-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoided cyclic default defs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3885 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 |
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 |
44fb55f639914f4f531641f32dd4904f15c510a4 |
|
04-Jan-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
module description corrected
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3615 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 |
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 |
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 |
70066d44c2dc2f151e44dd0b98955c2dcd35b70b |
|
22-Sep-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
better output of sublogics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3181 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 |
ae7058143db9e9993b5eff70bd6b7aede7cec658 |
|
10-Aug-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
todo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3045 cec4b9c1-7d33-0410-9eda-942365e851bb |
2ecf6cfb90e84d40f224cda5d92c191182c976d2 |
|
10-Aug-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
sublogic mapping added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3043 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 |
3647a0fa49c1f3df62d70e67051b10acb232aeb4 |
|
01-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused ATerm stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2791 cec4b9c1-7d33-0410-9eda-942365e851bb |
5bb3727ef464d9f08ab0decb2d4a59c1352a389e |
|
01-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
explizit implementation for map_theory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2788 cec4b9c1-7d33-0410-9eda-942365e851bb |
9a36df4f63e0214bc0b4aef9b388c8d4e48632bb |
|
27-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Default implementation for map_sign
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2739 cec4b9c1-7d33-0410-9eda-942365e851bb |
5d6e7ea3bd14fc987436cff0f542393ea9ba34bb |
|
13-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added theoroidal comorphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2585 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 |
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 |
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 |
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 |
230a51f3c282a3222d1cf40c2040fee19259964e |
|
27-Sep-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1731 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 |
8db2d2c5a8df6dd6d7302bc59577150b87237940 |
|
21-Aug-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
licence added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1670 cec4b9c1-7d33-0410-9eda-942365e851bb |
425b287f28abf82702d46c176a38b668fb017ce4 |
|
31-Jul-2003 |
Felix Reckers <felix@informatik.uni-bremen.de> |
added fromShATerm* function in the classes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1646 cec4b9c1-7d33-0410-9eda-942365e851bb |
8731f7b93b26083dc34a2c0937cd6493b42f2c2c |
|
21-Jul-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
CASL2HasCASL: signature map
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1576 cec4b9c1-7d33-0410-9eda-942365e851bb |
0b7c8279c741857d1681160f8b4144a9430ffa7f |
|
21-Jul-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added inital version of commorphism CASL2HasCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1575 cec4b9c1-7d33-0410-9eda-942365e851bb |
f7819aa9d183836144a98c70d4fa7d65e31cb513 |
|
21-Jul-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Verbosity level of error messages set to 1
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1565 cec4b9c1-7d33-0410-9eda-942365e851bb |
5e21bb46b24f477dafad6fdeff51aed7aaad0a47 |
|
21-Jul-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Missing instances added.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1564 cec4b9c1-7d33-0410-9eda-942365e851bb |
4184cb191a9081cb2a9cf3ef5f060f56f0ca5922 |
|
17-Jul-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Deleted the lid arguments from GMorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1548 cec4b9c1-7d33-0410-9eda-942365e851bb |
e9249d3ecd51a2b6a966a58669953e58d703adc6 |
|
24-Jun-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Changed logic representations to comorphisms; switched to type classes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1522 cec4b9c1-7d33-0410-9eda-942365e851bb |