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 |
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 |
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 |
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 |
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 |
d58b2e1dc7d2254fa2e10d8c0b5a498ac207d6ea |
|
05-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored further
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11366 cec4b9c1-7d33-0410-9eda-942365e851bb |
b5dec828644f9f441c6d5dc38325ac6332b6eef7 |
|
05-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11365 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 |
9eb39c7a0e7a1ddad1eec1d23c6d4e3a99c54023 |
|
29-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
better support for morphism extensions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10910 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 |
2b6aa0a0d40fe9855acdf42e62b1a5919d9b1c7d |
|
30-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
require total CASL for VSE
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10750 cec4b9c1-7d33-0410-9eda-942365e851bb |
5382091fd2a705e6f026026e8a6adcd3607bdb9f |
|
18-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
white spaces only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10691 cec4b9c1-7d33-0410-9eda-942365e851bb |
0442a3b0bd448902168597d0697bd84c84551cdd |
|
12-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
prepared prover integration
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10674 cec4b9c1-7d33-0410-9eda-942365e851bb |
154be5bfac61cf5b61fd1571e7bfc2572c4b546a |
|
03-Sep-2008 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
handle restricted constraints separately
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10647 cec4b9c1-7d33-0410-9eda-942365e851bb |
12cc140378e52294154437d1cbd0cee6770290bc |
|
02-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10634 cec4b9c1-7d33-0410-9eda-942365e851bb |
fbe07dbf5d08ccda8871c012c6540102e1381ca9 |
|
02-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
used genToken
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10632 cec4b9c1-7d33-0410-9eda-942365e851bb |
d4c747de49e0b4cd7ff4a951221d1e5419523025 |
|
02-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
used genName
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10631 cec4b9c1-7d33-0410-9eda-942365e851bb |
039e7bd82981d4e4895c0486d0b6715bc37e3b74 |
|
02-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced mapping
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10630 cec4b9c1-7d33-0410-9eda-942365e851bb |
30f8dde07878b0968841ecc0bdbc76e217607131 |
|
02-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
wrote utility functions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10629 cec4b9c1-7d33-0410-9eda-942365e851bb |
f81290abfb65662280553519c85e6ff231a38554 |
|
02-Sep-2008 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
using mkGenName and added a variable declaration
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10627 cec4b9c1-7d33-0410-9eda-942365e851bb |
fd618126f3b672970b875b53800707152b2a5376 |
|
26-Aug-2008 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
removed uniform restriction from signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10586 cec4b9c1-7d33-0410-9eda-942365e851bb |
db0d48a1e9f41f6e3df2ef3e2977ea9661f54926 |
|
22-Aug-2008 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
removed useless Skip in code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10572 cec4b9c1-7d33-0410-9eda-942365e851bb |
d19158faedebc8c7d856a0acb31d8347ba9b426b |
|
21-Aug-2008 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
warnings removed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10563 cec4b9c1-7d33-0410-9eda-942365e851bb |
5c46e29755de01585aa7af9ea106e68ddfb012e2 |
|
14-Aug-2008 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
signature translation for refinement comorphism and example
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10498 cec4b9c1-7d33-0410-9eda-942365e851bb |
06f58a67e6df999858bf4f97d5e0786956562d29 |
|
12-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
the boolSig needed to be added when converting to s-exprs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10493 cec4b9c1-7d33-0410-9eda-942365e851bb |
6684e02222ce918d32cb1b0ee2aac12484052f9c |
|
12-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not use as inclusion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10492 cec4b9c1-7d33-0410-9eda-942365e851bb |
fa3f374c7da443b372c2560cbb7262edd732aa4d |
|
12-Aug-2008 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
using qualified names only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10490 cec4b9c1-7d33-0410-9eda-942365e851bb |
b5bbb7251f9874e7c091a2cc5eb14cae6282ee72 |
|
12-Aug-2008 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
eliminated an un-needed argument
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10487 cec4b9c1-7d33-0410-9eda-942365e851bb |
0b06cf161496343f3320e45d228ad4bc2f1f2b0f |
|
12-Aug-2008 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
begin comorphism with default implementations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10486 cec4b9c1-7d33-0410-9eda-942365e851bb |