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 |
e40c19038803d4a3d8914f5310a0ae8f4e683c3c |
|
20-Jun-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
refactored basic spec and signature datatypes for EnCL logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15228 cec4b9c1-7d33-0410-9eda-942365e851bb |
910012c2b85f5f5245b691ae59a9da9a6597a7ae |
|
05-May-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added some checking
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15004 cec4b9c1-7d33-0410-9eda-942365e851bb |
1a3c23972e61ef722a650eae2c6312a0dbe8f185 |
|
03-May-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
refactored some comparison stuff and added epdecls to the signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14994 cec4b9c1-7d33-0410-9eda-942365e851bb |
e626064efa479f5fee5785ea7e806cdb706484c4 |
|
08-Mar-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
fixed ticket 907
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14676 cec4b9c1-7d33-0410-9eda-942365e851bb |
3b6b083520d357dd345755e8a35b41ffb8967885 |
|
25-Feb-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
cleaned mkOp function and the SMT interface
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14640 cec4b9c1-7d33-0410-9eda-942365e851bb |
f44b7a2f81deda371f621f469d50b96417b7b125 |
|
20-Jan-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
minor smtcomparer fixes and made the testing modules as standalone compileable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14402 cec4b9c1-7d33-0410-9eda-942365e851bb |
cb12647c82658c6500b0c5564f3c111264a95352 |
|
19-Jan-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
improved analysis, printing and testing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14388 cec4b9c1-7d33-0410-9eda-942365e851bb |
552e47c304b69cf5690829e73b002bb7baba919b |
|
18-Jan-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
improved Maple-interface and the generic interpreter lib, fixed some partitioning issues for the ep elimination procedure
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14387 cec4b9c1-7d33-0410-9eda-942365e851bb |
0f3d0ad36baa212b0ec412640655d5b906c25cfe |
|
19-Nov-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
modularized printing of CSL expressions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14253 cec4b9c1-7d33-0410-9eda-942365e851bb |
00f83ffcfea8e91d81db648a3f78d59fea197f1f |
|
18-Nov-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
extended parameter elimination is running
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14234 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 |
099047c647cc728008347b776bde333a3aba40fd |
|
16-Nov-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
elimination procedure still buggy
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14224 cec4b9c1-7d33-0410-9eda-942365e851bb |
5815bdce64892624676670501231b62f3d534898 |
|
15-Nov-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
testing ep-elimination and fixed some bugs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14223 cec4b9c1-7d33-0410-9eda-942365e851bb |
5fbfcc0f54de1f36f195b84e818e29d60df37fda |
|
12-Nov-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added dependency sorting definitions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14220 cec4b9c1-7d33-0410-9eda-942365e851bb |
38fcf05bbfbd232891783fdf7c136f5efa0f095e |
|
12-Nov-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
topsorting the definition
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14217 cec4b9c1-7d33-0410-9eda-942365e851bb |
7171a8d5453e29a741ff1a77fa5eeb5f0ef323d1 |
|
11-Nov-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
smt comparison supports now restricted domains for extended parameters
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14215 cec4b9c1-7d33-0410-9eda-942365e851bb |
9b67773d9991de68409461a7607a65a0de9a80bd |
|
10-Nov-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
refinement of partitions mostly completed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14212 cec4b9c1-7d33-0410-9eda-942365e851bb |
6eb8da957984db853831a600c1cd81620855246e |
|
09-Nov-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
param elimination nearly finished, partition refinement missing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14207 cec4b9c1-7d33-0410-9eda-942365e851bb |
b23f0e37a243f0a5819667a61d50e5e3541fac8d |
|
08-Nov-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
CSL-partitioning of extended parameters
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14206 cec4b9c1-7d33-0410-9eda-942365e851bb |
a698a9c3de04b484cf37e64eec1f28fbde790efd |
|
05-Nov-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
splitting and caculating the disjoint guards finished
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14198 cec4b9c1-7d33-0410-9eda-942365e851bb |
a09707472be393eb631a8f033d61cfa9b7f74369 |
|
04-Nov-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
splitting CSL specs to an assignment store and a program, changed a type in Test.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14193 cec4b9c1-7d33-0410-9eda-942365e851bb |
86629644b6aa1af93a8665697a54553a012c476b |
|
03-Nov-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
started smt export
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14191 cec4b9c1-7d33-0410-9eda-942365e851bb |
781fd3332caad8fa719d590d7c64257b1312bea5 |
|
02-Nov-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14186 cec4b9c1-7d33-0410-9eda-942365e851bb |
fd60253a8dbb2bcff2b3f771bf8b16cb72cb7b4f |
|
02-Nov-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
restructured extended parameter handling
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14185 cec4b9c1-7d33-0410-9eda-942365e851bb |