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 |
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 |
bb853fa3daf568b44a002cc16f4f4923630c7e52 |
|
07-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
only proper subsort relation needed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15477 cec4b9c1-7d33-0410-9eda-942365e851bb |
dece9056c18ada64bcc8f2fba285270374139ee8 |
|
06-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
use a reflexive sort relation and avoid a separate sort set
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15472 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 |
a727add5cc981d0875f89ab4eee7befd6b808324 |
|
08-Dec-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed ghc-7 warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14298 cec4b9c1-7d33-0410-9eda-942365e851bb |
a74f814d3b445eadad6f68737a98a7a303698aff |
|
17-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
revert replacement of Map.foldWithKey to allow compilation using ghc-6.10.4
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14229 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e5c10805bd50b5baaf6bf1f6a3f085c7afb17d8 |
|
16-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Map.foldrWithKey
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14227 cec4b9c1-7d33-0410-9eda-942365e851bb |
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 |
eba8d91d376998562e6d97c415dba534b2332e2e |
|
02-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13486 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 |
de2f13b8310de00ca228385b1530660e036054c2 |
|
18-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed double spaces after =
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10689 cec4b9c1-7d33-0410-9eda-942365e851bb |
92e27e8a8c0be97a346b400cbec49536236563eb |
|
08-Sep-2008 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
removed comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10665 cec4b9c1-7d33-0410-9eda-942365e851bb |
dd5e505efb3641bf74ade0ba3adabf4ceaf94e60 |
|
01-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing blank lines
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10427 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 |
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 |
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 |
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 |
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 |
1ea2ae9a4e73cdacc2a9db354ca4ce44e1d15835 |
|
23-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed PrettyPrint
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6509 cec4b9c1-7d33-0410-9eda-942365e851bb |
8905d4786f32c185642fa490b6f6f093dbda8ce8 |
|
17-Mar-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
todo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6050 cec4b9c1-7d33-0410-9eda-942365e851bb |
82dd689e5888d7d489ed20ce010b0cccfcd1db34 |
|
27-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed renderText and textStyle and used version from Common.Lib.Pretty
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5731 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 |
ed373f8356ebc42bd83aaa5ff9b908e07721f2be |
|
23-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
consistently used toList rather than Map.assocs or toAscList
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5692 cec4b9c1-7d33-0410-9eda-942365e851bb |
25a0b76bc87e80c0f697951d9817862755a71d33 |
|
17-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
reduced haddock warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4455 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 |
0799b5dc3f06d2640e66e9ab54b8b217348fd719 |
|
13-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
ported to fgl
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4275 cec4b9c1-7d33-0410-9eda-942365e851bb |
88ece6e49930670e8fd3ee79c89a2e918d2fbd0c |
|
12-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted Common.Lib.Set and Map to ghc-6.4 library version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4263 cec4b9c1-7d33-0410-9eda-942365e851bb |
f297b110fbe49296f4ea88f1cfb6535f6bcccfab |
|
23-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted simeq_tau relations to incomplete morphisms and removed warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3847 cec4b9c1-7d33-0410-9eda-942365e851bb |
7c9a76ab0d04d900248b129e05ac2c08b3e1d5ff |
|
17-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
generalized PrettyPrint instance for portability
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3823 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 |
5302911f0944dae14862b25df08b794d6f473b7e |
|
04-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed equality for CASLAmalgOpt and untabified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3379 cec4b9c1-7d33-0410-9eda-942365e851bb |
c248f80cee36f5060f5c30c94587ec2bd1c225e9 |
|
29-Aug-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Optimised mergeEquivClassesBy function
Subsort embeddings are not analysed if neither 'cell' nor 'colimit-thinness' option is specified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3117 cec4b9c1-7d33-0410-9eda-942365e851bb |
f9b38d1041f71248ac56a935ae9b44755bcdd78d |
|
28-Aug-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Added option check at the beginning of ensuresAmalgamability so that if no option is specified the analysis is skipped
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3111 cec4b9c1-7d33-0410-9eda-942365e851bb |
acde504f50045c719653f13f95114c0cccba1b52 |
|
28-Aug-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Added HetcatsOpt parameter to ensuresAmalgamability function
Implemented switching different parts of algorithm on and off depending on the command line options
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3105 cec4b9c1-7d33-0410-9eda-942365e851bb |
59c3da41a4a1e55859473f1cf25856a1124a649d |
|
27-Aug-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Changed sim function: the \sim relation is closed w.r.t congruence
Made congruenceClosure function generic w.r.t. check and operation performed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3102 cec4b9c1-7d33-0410-9eda-942365e851bb |
1450a64bb4df2827d4d2876b10760f3475c0810e |
|
26-Aug-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Changed the type of sink: it no longer is a set of edges in the diagram, now it is just a set of diagram nodes with signature morphisms with common codomains
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3094 cec4b9c1-7d33-0410-9eda-942365e851bb |
0709847cf34621fbc64a602e6849a90aefe5055a |
|
24-Aug-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Optimised the cong function: it now computes the relation over words composed of canonical embeddings
Added canonicalEmbs function
Added sim function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3083 cec4b9c1-7d33-0410-9eda-942365e851bb |
d100e35375f242344fd522d7435d48fb45471e66 |
|
24-Aug-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Fixed a bug in colimitIsThin: replaced embsCs with embs in one of the update rules
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3081 cec4b9c1-7d33-0410-9eda-942365e851bb |
6548acc884046c45a0be1fcbae7cf335e8d8ad8a |
|
16-Jun-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Corrected comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2866 cec4b9c1-7d33-0410-9eda-942365e851bb |
14e72b6db3733d30c84f263d377a893c82527206 |
|
08-Jun-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Implemented sharing analysis for predicates.
Implemented functions that compute \simeq relations for predicates
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2834 cec4b9c1-7d33-0410-9eda-942365e851bb |
c4a0820bab964e5ca5dd39c60042a8121c678b1c |
|
07-Jun-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Implemented sharing analysis for operations
Implemented functions related to simeqOp computation
Improved the error messages -- now make use of the description diagram passed to ensuresAmalagamability
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2827 cec4b9c1-7d33-0410-9eda-942365e851bb |
5b3e6c2b74a01b33f0760d78af800648d9e0ab1f |
|
06-Jun-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Implemented colimit thinnes check in the main algorithm
Implemented colimitIsThin function
Optimised (slightly) congruenceClosure function
Implemented equivClassesToTaggedVals function
Changed the return type in findTag from a to Maybe a
Renamed congruentClosure to congruenceClosure
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2823 cec4b9c1-7d33-0410-9eda-942365e851bb |
45954ed7c0d6e81f538b27777d353f39d33ce4fc |
|
29-May-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Implemented cong function
Implemented the 5th and 6th steps of the algorithm
Renamed embWords to looplessWords
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2752 cec4b9c1-7d33-0410-9eda-942365e851bb |
bbd141bea608708573f817cc496bc667aac19746 |
|
27-May-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Implemented finiteAdm_simeq function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2740 cec4b9c1-7d33-0410-9eda-942365e851bb |
f52ee37a54afee5148f487be0067406344d4b596 |
|
25-May-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Corrected the algorithms computing \cong_\tau and \con_0 relations (cong_tau and cong_0 functions)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2702 cec4b9c1-7d33-0410-9eda-942365e851bb |
d051deed2581f165d22ffdc5a9e1c074c0c43bbb |
|
17-May-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Implemented embs function
Implemented cong_0 function
Fixed congruentClosure function
Fixed domCodEqual function
Removed the newly added node (the target of the sink) from the diagram used to compute \simeq relation
Extracted isMorph as non-local function
Implemented the second step of the algorithm in ensuresAmalgamability
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2626 cec4b9c1-7d33-0410-9eda-942365e851bb |
4144c996053ee91eaa9c9edf7216056eecc8a40a |
|
16-May-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Implemented sinkEmbs function
Implemented inRel function
Implemented embWords function
Implemented mergeEquivClasses function
Implemented findTag function
Implemented leftCancellableClosure function
Implemented congruentClosure function
Implemented cong_tau function
Extracted margeEquivClassesBy as a non-local function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2616 cec4b9c1-7d33-0410-9eda-942365e851bb |
9de34b6d7625e6f5a39e5396b19510c31c1ca2d2 |
|
21-Apr-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Implemented subRelation function
Implemented simeq_tau function
Implemented the first step of amalgamability checking in ensuresAmalgamability
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2444 cec4b9c1-7d33-0410-9eda-942365e851bb |
d1ed71eddfafa0f14faa9448b244f502aae48411 |
|
20-Apr-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Created a module for functions related to amalgamability analysis for CASL
Implemented simeq function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2424 cec4b9c1-7d33-0410-9eda-942365e851bb |