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 |
ad06a3932c674dd1ebf566b8b5594d0df9e52cc0 |
|
19-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored and added first HO preds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17364 cec4b9c1-7d33-0410-9eda-942365e851bb |
97371bf474f07627fbf240aa34f35d3df0432b48 |
|
19-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
support curried predicates
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17355 cec4b9c1-7d33-0410-9eda-942365e851bb |
ab373af0c94a5a73d8c8d5fd580775d79f745a00 |
|
18-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
excluded flexible constructors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17352 cec4b9c1-7d33-0410-9eda-942365e851bb |
c549c7db6c5c3fa20df0df194eb968fc0bd377b3 |
|
18-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
generalized signature and symbol mapping
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17348 cec4b9c1-7d33-0410-9eda-942365e851bb |
3c988357f9b9de1b366278a5644f4ea009d596e2 |
|
18-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17347 cec4b9c1-7d33-0410-9eda-942365e851bb |
94e112d16f89130a688db8b03ad3224903f5e97e |
|
04-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored CASL formulas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17288 cec4b9c1-7d33-0410-9eda-942365e851bb |
55cf6e01272ec475edea32aa9b7923de2d36cb42 |
|
04-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
ghc-7.2 requires language with flexible instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15876 cec4b9c1-7d33-0410-9eda-942365e851bb |
e7ddd5495421698701a2bbc57a5b3390a11d12ca |
|
06-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added utilities for op types with kinds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15457 cec4b9c1-7d33-0410-9eda-942365e851bb |
2a5b885d9350ec6dd8bc4992ee91d2f68aa592f4 |
|
06-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored CASL's op and pred maps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15456 cec4b9c1-7d33-0410-9eda-942365e851bb |
d4146229cf85928342dfd25ec8b579a7feb0d381 |
|
03-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored symbol stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15058 cec4b9c1-7d33-0410-9eda-942365e851bb |
e3169ed5885bb0888d8366c0d31ce1682e0fae74 |
|
25-May-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added symbols for subsorts
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15020 cec4b9c1-7d33-0410-9eda-942365e851bb |
ccd28c25c1aee73a195053e677eca17e20917d84 |
|
28-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored printing of formula extensions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14815 cec4b9c1-7d33-0410-9eda-942365e851bb |
41f19dd5103acd1adf0343bf6f0096a260290117 |
|
16-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed csp-casl other kind stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14723 cec4b9c1-7d33-0410-9eda-942365e851bb |
e00f5b4d89ac027e883461aab6248e33ad10ae8e |
|
18-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended sort of term computation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14584 cec4b9c1-7d33-0410-9eda-942365e851bb |
f876a858a3644fa16b793afb4692cf353fa13762 |
|
18-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed ghc-7 warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14240 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 |
d29201dd5328b88140ce050100693c501852657d |
|
02-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added more LANGUAGE pragmas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13491 cec4b9c1-7d33-0410-9eda-942365e851bb |
319eb8dee52f1d1235910f80dde1dd5f9227ec4c |
|
11-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added error message for Sort_gen_ax formulas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13059 cec4b9c1-7d33-0410-9eda-942365e851bb |
de1825031cd79d4bd0b87d0566c4a5c57d60cf77 |
|
03-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
properly translate bound preds or ops and rename the invisible identifier
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12885 cec4b9c1-7d33-0410-9eda-942365e851bb |
de5abf4b803d72be44859fb3d0a7d5446811ba17 |
|
03-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
also translate second order casl
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12404 cec4b9c1-7d33-0410-9eda-942365e851bb |
048abf92dccee48433769bc8e677880be37b0c95 |
|
03-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended non-exhaustive pattern for CASL's SOL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12403 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 |
ae0e90d3c515827753b8d1ec7b853a55055ebf08 |
|
16-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
nullary predicates goto ?Unit
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11530 cec4b9c1-7d33-0410-9eda-942365e851bb |
6a22b2854c3bc9cb4877cb7d29049d6559238639 |
|
06-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted to generalized item type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11218 cec4b9c1-7d33-0410-9eda-942365e851bb |
9ecf13b5fd914bc7272f1fc17348d7f4a8c77061 |
|
03-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed funs in CASL to ops
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11201 cec4b9c1-7d33-0410-9eda-942365e851bb |
a14767aeac3e78ed100f5b75e210ba563ee10dba |
|
24-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
reused the same proof tree
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10890 cec4b9c1-7d33-0410-9eda-942365e851bb |
f44921b09bb88654205755ad02009f59403ef966 |
|
21-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed nullary predicates to ? Unit #555
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10373 cec4b9c1-7d33-0410-9eda-942365e851bb |
61e38a4f194d3adc66646326c938eb9263a2f39b |
|
10-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed functions over Range from Pos to Range
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10299 cec4b9c1-7d33-0410-9eda-942365e851bb |
3a1f488a701a74fe5a415c065e836667e6b14ce1 |
|
23-May-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
exported resId and resType
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10021 cec4b9c1-7d33-0410-9eda-942365e851bb |
2018084d6189a68640c516ca3e340d879f40f0ac |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
marked inclusion comorphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9800 cec4b9c1-7d33-0410-9eda-942365e851bb |
6f485a7c411a3a411673a43aadd6293975f1b029 |
|
12-Dec-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added exploitation of overloading axioms to QuickCheck
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9358 cec4b9c1-7d33-0410-9eda-942365e851bb |
986d3f255182539098a97ac86da9eeee5b7a72e3 |
|
05-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved type synonyms and some other CASL code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9316 cec4b9c1-7d33-0410-9eda-942365e851bb |
afae8493e1c904789e3352f6daae63bd66cf057d |
|
26-Nov-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added QuickCheck model checker for CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9241 cec4b9c1-7d33-0410-9eda-942365e851bb |
27e8de893356be63440b1b8aa2c4f19fbaf399ac |
|
15-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
ignore injection constructors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9054 cec4b9c1-7d33-0410-9eda-942365e851bb |
6f5bf1e81c4669f7c605e13548861a1207b0c7e8 |
|
08-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added more type information
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9001 cec4b9c1-7d33-0410-9eda-942365e851bb |
e9490701e16d1e8abd995ef876d6f937da93b412 |
|
05-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved comorphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8994 cec4b9c1-7d33-0410-9eda-942365e851bb |
adfdcfa67b7f12df6df7292e238c3f9a4b637980 |
|
24-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
print only user supplied instantiation lists
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8704 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e0472be46104307b974fe5079bf5cc9e94a1a96 |
|
21-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced type-arg-list for op ids
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8668 cec4b9c1-7d33-0410-9eda-942365e851bb |
a39a820684c1974350f46593025e0bb279f41bc6 |
|
07-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added more positions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8553 cec4b9c1-7d33-0410-9eda-942365e851bb |
f454c20b6c126bea7d31d400cc8824b9ee8cc6ea |
|
26-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed some lists to sets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8490 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad187062b0009820118c1b773a232e29b879a2fa |
|
26-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced by
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8488 cec4b9c1-7d33-0410-9eda-942365e851bb |
abe0293c13ccb9c7c864e780181f370155de5658 |
|
18-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced mapTypeScheme
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8409 cec4b9c1-7d33-0410-9eda-942365e851bb |
9d75ab580dbf51b7ca60903fb32e7f38d939d326 |
|
17-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-added instantiation list to final QualOp
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8388 cec4b9c1-7d33-0410-9eda-942365e851bb |
7de39d39bc1700cc8a9bb9df90b920aad9e18d4a |
|
16-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused instantiation lists
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8386 cec4b9c1-7d33-0410-9eda-942365e851bb |
de6a40dbdd4712e5a9398b8519a59b1eaeab2f5a |
|
11-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Description
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8331 cec4b9c1-7d33-0410-9eda-942365e851bb |
f4255fa60f8dcaa8f21ce60b2820c228a19e39ae |
|
05-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
require HOL in HasCASL if there are sort-gen constraints in CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8266 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f69b6948966979163bdfe8331c38833d5d90ecd |
|
05-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed my maintainer email
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8261 cec4b9c1-7d33-0410-9eda-942365e851bb |
f6bb1e62e1d83b2c9279e3b54a2892887f1d4962 |
|
02-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
made HasCASL sublogics consistent with all_sublogics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8204 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 |
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 |
26d11a256b1433604a3dbc69913b520fff7586ac |
|
09-Nov-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved type Symbol from CASL.Morphism to CASL.Sign
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7142 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 |
7c2d602a73afe304ac0ca225ecff42b2ae8bdab3 |
|
13-Apr-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up HasCASL's sublogics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6201 cec4b9c1-7d33-0410-9eda-942365e851bb |
d48085f765fca838c1d972d2123601997174583d |
|
23-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed FunType, ProductType and LazyType in favour of TypeAppls
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4967 cec4b9c1-7d33-0410-9eda-942365e851bb |
975642b989852fc24119c59cf40bc1af653608ff |
|
11-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
redesigned subtypes and their defns
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4902 cec4b9c1-7d33-0410-9eda-942365e851bb |
5ea0d62951bb02a11498060bdc36ca037812eafd |
|
01-Aug-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
This update adds new sublogics to CASL.Sublogic:
* Sul --> Locally filtered subsort relation
* sC --> All constructors of (freely) generated sorts are sort
injections
* eC --> the mapping recovered by recover_Sort_gen_ax is empty
The changes to the Comorphisms is due to the new sublogics. CASL2TopSort
and CASL2SPASS have now the correct sublogic specified.
Common.Lib.Rel exports three new functions:
* locallyFiltered checking a Relation
* flatSet and partSet auxilliary functions working on Sets
CASL.Inject.insertInjOps takes now a list of OP_SYMB instead of a list of
Sort_gen_ax. This list should be generated by recover_Sort_gen_ax.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4832 cec4b9c1-7d33-0410-9eda-942365e851bb |
81946e2b3f6dde6167f48769bd02c7a634736856 |
|
28-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated variance, kinds and raw kinds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4810 cec4b9c1-7d33-0410-9eda-942365e851bb |
42c01284bba8d7c8d995c8dfb96ace57d28ed1bc |
|
15-Jul-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
refactoring: [Pos] replaced with Range in order to exclude positions from equality of abstract syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4671 cec4b9c1-7d33-0410-9eda-942365e851bb |
9cb4aa4ea6685489a38f9b609f5dbe5d37f25bc7 |
|
14-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
properly created constructors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4662 cec4b9c1-7d33-0410-9eda-942365e851bb |
6e39bfd041946fce4982ac89834be73fd1bfb39a |
|
14-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended DataEntry with a raw kind
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4659 cec4b9c1-7d33-0410-9eda-942365e851bb |
f18f9ae43d53e16e3324bed71ea67ba536c91042 |
|
13-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
redesigned getConstrType
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4649 cec4b9c1-7d33-0410-9eda-942365e851bb |
36c6cc568751e4235502cfee00ba7b597dae78dc |
|
07-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
major HasCASL redesign (many bugs left)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4571 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 |
7592d4dc0461feff73113f4679e0b1823fd117fa |
|
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@3899 cec4b9c1-7d33-0410-9eda-942365e851bb |
f7d2e793728bbb7fd185e027eb9dfd7b9dd11c21 |
|
15-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed duplicate code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3801 cec4b9c1-7d33-0410-9eda-942365e851bb |
578b677874296e4ba48e57b5e4b4b0270d995603 |
|
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@3620 cec4b9c1-7d33-0410-9eda-942365e851bb |
8f1a4a6c8c0f098e5253c03eafe50aead6e8873c |
|
03-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed Licence entry
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3608 cec4b9c1-7d33-0410-9eda-942365e851bb |
03fc25805985563b679dd75c31a6e05287c1632e |
|
02-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
ignored empty argument list in applications
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3371 cec4b9c1-7d33-0410-9eda-942365e851bb |
ee34c4e1b244e46682a84bc52224f52289bd1950 |
|
20-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused import and untabbified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3279 cec4b9c1-7d33-0410-9eda-942365e851bb |
4fb19f237193a3bd6778f8aee3b6dd8da5856665 |
|
22-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed (raw) symbols and merging, unification without alias expansion, adapted morphisms and symbol map analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2968 cec4b9c1-7d33-0410-9eda-942365e851bb |
2a598ff0c1b7b51c33aee7029b43bc5cfcbea6b8 |
|
15-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced data patterns
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2943 cec4b9c1-7d33-0410-9eda-942365e851bb |
0f67ca7b0c738a28f6688ba6e96d44d7c14af611 |
|
23-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed kinds and alias types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2893 cec4b9c1-7d33-0410-9eda-942365e851bb |
fc8c6570c7b4ee13f375eb607bed2290438573bf |
|
16-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed Absy and parsing, added wild card pattern and treated as-patterns
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2876 cec4b9c1-7d33-0410-9eda-942365e851bb |
5e26bfc8d7b18cf3a3fa7b919b4450fb669f37a5 |
|
08-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed AltDefn
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2836 cec4b9c1-7d33-0410-9eda-942365e851bb |
e1839fb37a3a2ccd457464cb0dcc5efd466dbe22 |
|
07-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed datatype mapping
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2831 cec4b9c1-7d33-0410-9eda-942365e851bb |
7660d5932a1fb9677d07889714b677a059af2b2f |
|
01-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented map_theory to gain constructor information
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2796 cec4b9c1-7d33-0410-9eda-942365e851bb |
10f1342d686ed68712a2b25ed65fa5a18f9c3db7 |
|
01-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
translated constraints
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2786 cec4b9c1-7d33-0410-9eda-942365e851bb |
2dfb9a95c5586f73abda1d0f369d6d154b159452 |
|
31-May-2004 |
Sonja Gröning <sonja@informatik.uni-bremen.de> |
Because of introducing 'real' sublogics for HasCASL, I had to change target_logic to 'top' --> check if it is ok!
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2759 cec4b9c1-7d33-0410-9eda-942365e851bb |
e7ce154edb906685b3fa7f6c0a764e18a4658068 |
|
18-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended HasCASL Sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2645 cec4b9c1-7d33-0410-9eda-942365e851bb |
6caada8926a23123aee618f61d64fe82cfd6e91e |
|
10-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added freeness flag to Sort_gen_ax; new transformation to Isabelle lexis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2574 cec4b9c1-7d33-0410-9eda-942365e851bb |
b1bf752d60236b5901156f7a669916f48744cc78 |
|
06-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Typeable instance
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2555 cec4b9c1-7d33-0410-9eda-942365e851bb |
80664cc18425d67cd71be80f27f882fa16e43848 |
|
28-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2495 cec4b9c1-7d33-0410-9eda-942365e851bb |
6f08007ef2919f70c396c491f349ff3e536900bb |
|
14-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
merged overloaded operations in mapSig
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2399 cec4b9c1-7d33-0410-9eda-942365e851bb |
78d4b9e3558a2523c3335b1399385ac7d246f0c1 |
|
14-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented all missing methods
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2397 cec4b9c1-7d33-0410-9eda-942365e851bb |
bd5ff898eef380d414edd0e8e392da280d35e047 |
|
05-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
CASL BASIC_SPEC change
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2359 cec4b9c1-7d33-0410-9eda-942365e851bb |
23597b1c1c9b84115e0f49b809ac152f250dca87 |
|
01-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted to HasCASL changes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2345 cec4b9c1-7d33-0410-9eda-942365e851bb |
2b4130336e941b7d01c78a6da55449a4c6eca609 |
|
23-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Refactoring for smooth integration of CASL extensions.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2310 cec4b9c1-7d33-0410-9eda-942365e851bb |
c9eec96d66e1fd90bcfe5e2b8a814be269341e13 |
|
13-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Show theory hack removed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2274 cec4b9c1-7d33-0410-9eda-942365e851bb |
e8d782e6e650b71a2b0ee8461fd8d9fa31525591 |
|
30-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
CASL data is in Sign now instead of StaticAna
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2038 cec4b9c1-7d33-0410-9eda-942365e851bb |
1230de6014625bfe0585d50eaf8c5340e088137a |
|
28-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed spurious comma
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2015 cec4b9c1-7d33-0410-9eda-942365e851bb |
0b2340d1ef7d0998e4b0c321021be942c6b67652 |
|
27-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
HasCASL env was extended, plus some clean ups
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2014 cec4b9c1-7d33-0410-9eda-942365e851bb |
0f0733871ac90631f6d7364c5fbc51bf0541a384 |
|
09-Dec-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected type construction
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1894 cec4b9c1-7d33-0410-9eda-942365e851bb |
cd0320bb34ed11f4b57fd927e0e70ee7ee66057d |
|
13-Nov-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted to a change of OpDefn
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1839 cec4b9c1-7d33-0410-9eda-942365e851bb |
c0b6cd35d7f5da7483964a378fefc3bb0f519d9e |
|
21-Aug-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Patches
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1671 cec4b9c1-7d33-0410-9eda-942365e851bb |
891a081e38584dfb59697349fbf0aba2c4d4e1e2 |
|
22-Jul-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
haddockified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1586 cec4b9c1-7d33-0410-9eda-942365e851bb |
d1126d58419412635564085406d3779325b33ae0 |
|
21-Jul-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
CASL2HasCASL signature translation completed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1579 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 |