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 |
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 |
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 |
0cdbf78e62f4c59d146755a996c036b038d5fa1f |
|
29-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
define symbol mapping
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15769 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 |
8d58e443db95852b74f916fca3179fe7432d670f |
|
12-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
reverted accidental c:14900
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14901 cec4b9c1-7d33-0410-9eda-942365e851bb |
846ef0914b29a4806ca0444c116fd3cf267c4fb7 |
|
12-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed top-level function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14900 cec4b9c1-7d33-0410-9eda-942365e851bb |
bcd914850de931848b86d7728192a149f9c0108b |
|
05-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
embed process equations as CASL formula extension
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14851 cec4b9c1-7d33-0410-9eda-942365e851bb |
12b2ae689353ecbaad720a9af9f9be01c1a3fe2d |
|
24-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored top-level CSP items
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14796 cec4b9c1-7d33-0410-9eda-942365e851bb |
23a0d43ca980983c7d7aebaa9f03bfe120be7de8 |
|
18-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Csp prefix to csp types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14748 cec4b9c1-7d33-0410-9eda-942365e851bb |
3b48e17c1da54ee669e70b626d9fbc32ce495b2c |
|
17-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to csp symbols and removed unimplemented stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14734 cec4b9c1-7d33-0410-9eda-942365e851bb |
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27b |
|
14-Mar-2011 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Major update of Csp-CASL signatures, sentences and morphisms. These reflext the changes of the institution in the WADT 10 Paper.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14705 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 |
05bf9cbe382548c2665dd01a6a402640c9ec3813 |
|
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@13493 cec4b9c1-7d33-0410-9eda-942365e851bb |
33bdce26495121cdbce30331ef90a1969126a840 |
|
17-Jun-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Comitting CspCASL Implementation after a while.
Data types for CspCASLMorphisms, mapping morphisms over CspCASL
signatures and sentences. Additions to CspCASLProver where the
Isabelle generated code for channels may be incorrect with the respect
to the CspCASL semantics (will sort out soon). Some other parts of the
CspCASL Logic may also now be working.
--This line, and those below, will be ignored--
M Comorphisms/CASL2CspCASL.hs
M Comorphisms/CspCASL2Modal.hs
M Makefile
M CspCASLProver/CspCASLProver.hs
M CspCASLProver/Consts.hs
M CspCASLProver/CspProverConsts.hs
M CspCASLProver/TransProcesses.hs
M CspCASLProver/Utils.hs
M CspCASL/SignCSP.hs
M CspCASL/CspProver_Consts.hs
M CspCASL/AS_CspCASL_Process.der.hs
M CspCASL/Morphism.hs
M CspCASL/StatAnaCSP.hs
M CspCASL/SimplifySen.hs
M CspCASL/Comorphisms.hs
M CspCASL/Print_CspCASL.hs
M CspCASL/Logic_CspCASL.hs
M Isabelle/IsaConsts.hs
M Isabelle/IsaPrint.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11805 cec4b9c1-7d33-0410-9eda-942365e851bb |
286f4deb69d3912337bb09dd7f81284d12912ce8 |
|
21-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added CspCASL comorphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11292 cec4b9c1-7d33-0410-9eda-942365e851bb |
b3449e90e6fd4696f423b39e295d1786e122a505 |
|
07-Jan-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Improved support for CASL sentences inside CspCASL specifications
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11225 cec4b9c1-7d33-0410-9eda-942365e851bb |
765e55b764e0fd32c09d33709d6e2770c4766799 |
|
06-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended symbol kinds i.e. for CspCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11216 cec4b9c1-7d33-0410-9eda-942365e851bb |
2f35e5f6757968746dbab385be21fcae52378a3f |
|
05-Jan-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Large commit - improved static analysis of cspcasl and translation of cspcasl to isabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11215 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 |
a65b135c4ed7e68b2510bc218018ffa8f9a34fe8 |
|
03-Jul-2008 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Liam O'Reilly (Swansea): Setup Comorphism from CspCASL to IsabelleHOL. This morphism does not do anything useful yet.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10252 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 |
2b2f3b72e82e28b34db9c69af2d1ec38f228272e |
|
12-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended CASL morphisms with identity or inclusion tag
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9751 cec4b9c1-7d33-0410-9eda-942365e851bb |
e54c5af823b9775dd2c058185ea5bdf7593950fa |
|
25-Feb-2008 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - a couple of name changes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9642 cec4b9c1-7d33-0410-9eda-942365e851bb |
41486a487c9b065d4d9d1a8adf63c00925cd455b |
|
29-Nov-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - changed an annoying name
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9274 cec4b9c1-7d33-0410-9eda-942365e851bb |
afd6ed16928bbd774b6c6c5b3f440a917dd638a1 |
|
29-Nov-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - working on CspCASL signatures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9271 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 |
61051521e4d82769a47f23aecb5fb477de47d534 |
|
25-Sep-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
Use CspBasicSpec (with (currently unused) channels) instead of PROCESS_PART
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8906 cec4b9c1-7d33-0410-9eda-942365e851bb |
167414650dc57c11c13ba85253f0211b3de0ecc5 |
|
20-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
only use PROCESS_PART as CspCASL basic spec
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8874 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 |
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 |
9f6c50e7b48ca79fc104275f9b1ea091a1359f89 |
|
15-Feb-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
Finished removing all vestiges of "old style" CSP-CASL parsing, etc.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7454 cec4b9c1-7d33-0410-9eda-942365e851bb |
d9985e63a9fa565f6206517606dff547be1fee31 |
|
15-Feb-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL disentangling continues. Nearly there...
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7453 cec4b9c1-7d33-0410-9eda-942365e851bb |
1538a6e8d77301d6de757616ffc69ee61f1482e4 |
|
15-Feb-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
More CspCASL tweakery.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7452 cec4b9c1-7d33-0410-9eda-942365e851bb |
a9eb54cc6c92b077bd1a64fd2694a023ea147aa9 |
|
15-Feb-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
More CspCASL disentangling.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7451 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 |
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 |
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 |
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 |
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 |
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 |
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 |