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 |
1a38107941725211e7c3f051f7a8f5e12199f03a |
|
08-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added a bunch of deriving Typeable and Data |
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 |
878a5ecd6acf973907e25e5be6e4a792ea19a05e |
|
21-Jun-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added new conv-instance for Ordering and fixed shaterm-generation for CSL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15230 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 |
ee3bb87ab2da52ee1ad0c6675ea8b699b0af9ddc |
|
11-May-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
refactoring of abstract syntax utils and moved parts of static analysis into parsing of EnCL specs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15008 cec4b9c1-7d33-0410-9eda-942365e851bb |
76408af596b604997cabe1ebde1caaa43f58b1e6 |
|
10-May-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
refactoring of some AS types and adding new static analysis and parsing functionality to EnCL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15007 cec4b9c1-7d33-0410-9eda-942365e851bb |
f8adc2a1376cd0946ec912a7f468cc05059a46dc |
|
06-May-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added ep-declarations and parser, printer, analyzer for that
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15006 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 |
fd29fe2cae1a4029a28c326f713df5ecd86d16ee |
|
04-May-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
some more interval comparison
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14998 cec4b9c1-7d33-0410-9eda-942365e851bb |
3d52aec7d9849d727bc457cd76ac93b3f523c629 |
|
03-May-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added comparison of Groundconstants and domains
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14995 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 |
f6a120017bc91a7644e258bc4fdc21f5f16b2601 |
|
27-Apr-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
Splitted AS-Basic module into pretty printer and main module
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14984 cec4b9c1-7d33-0410-9eda-942365e851bb |
7af4df794a0e0f0cb927bd9371556ad098308983 |
|
26-Apr-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
major refactoring, split the big files into a couple of smaller ones which are more specialized
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14983 cec4b9c1-7d33-0410-9eda-942365e851bb |
9316034585ad46e11b1307ec8289f25b7699d74d |
|
17-Mar-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
fixed negative float parsing bug and added cotangens to EnCL sign
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14727 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 |
490d23bb07c4a935da62164ac9a4ba9e6924f2f1 |
|
07-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
use base package
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14668 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 |
213ff2bc64713dccda8de3db300ba188bd585866 |
|
24-Feb-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
prepared EnCL verification conditions for Isabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14624 cec4b9c1-7d33-0410-9eda-942365e851bb |
21c27810fa966e9253073efaf7f36458715d84bb |
|
23-Feb-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added approx op
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14609 cec4b9c1-7d33-0410-9eda-942365e851bb |
cfcb466bd1b38a8d5ac7b3c59b7ee91e909c63a9 |
|
23-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed empty text
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14608 cec4b9c1-7d33-0410-9eda-942365e851bb |
f54cad0338da90c6789bb9baae1caec50d994b3a |
|
21-Feb-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
mathematica works
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14597 cec4b9c1-7d33-0410-9eda-942365e851bb |
6c3ce177a0ad551edaae7daa17772b12f77a86da |
|
17-Feb-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added CAS libraries, integrated mathematica as Assignment store
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14577 cec4b9c1-7d33-0410-9eda-942365e851bb |
7594b91154e299c9bcecd2bd62698705b55f99e8 |
|
15-Feb-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
Refactoring code from the interpreter instances for Maple and Mathematica into a generic module
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14545 cec4b9c1-7d33-0410-9eda-942365e851bb |
d3ea4ab5527bc4bd7381d39ecbc4af2199f54341 |
|
04-Feb-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
improved emacs mode, added pretty printing for VCs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14488 cec4b9c1-7d33-0410-9eda-942365e851bb |
690f82849e429ee7222b0adcfb2ec15acc78467c |
|
04-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
ghc-7 is more picky about language extensions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14481 cec4b9c1-7d33-0410-9eda-942365e851bb |
7b4b3c800d82cbdef5ce44d26e3037c714b03c07 |
|
03-Feb-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
refactored the term-mapping facility in the CAS interface and added parameterized parsing and printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14473 cec4b9c1-7d33-0410-9eda-942365e851bb |
293138b28842d590a5daa908db72ee70a9a505c8 |
|
31-Jan-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
new executable for EnCL spec evaluation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14456 cec4b9c1-7d33-0410-9eda-942365e851bb |
71dd29e7cfb990182dffa41faace353159c7ab44 |
|
28-Jan-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added error handling and removed result-ability for maple interface
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14444 cec4b9c1-7d33-0410-9eda-942365e851bb |
0aba0666fda59f604db05c7a70e4790f4d4e47e7 |
|
28-Jan-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added convergence predicate handling
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14443 cec4b9c1-7d33-0410-9eda-942365e851bb |
819c43ddaab748a3668c192fb2d1f70070dced59 |
|
27-Jan-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
maximize mapped and parser parses maple-exps correctly and binder-mapping to CAS
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14433 cec4b9c1-7d33-0410-9eda-942365e851bb |
01c4a854ca10779b54d7ab57ee98e476077f1f15 |
|
26-Jan-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
new verification condition generation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14427 cec4b9c1-7d33-0410-9eda-942365e851bb |
8c22ca329de452600ec3e6384394890c1b695079 |
|
25-Jan-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
Creation of verification conditions for dependent constants
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14422 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 |
44eca622a16639b4a1a3d4fd088c7c3bfff89b8e |
|
17-Jan-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
gluing the evaluator components together
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14384 cec4b9c1-7d33-0410-9eda-942365e851bb |
e18d2f399d7ebffea92e8e1c7433282380114db7 |
|
07-Dec-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added var-decls to csl signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14293 cec4b9c1-7d33-0410-9eda-942365e851bb |
f46d5ce3507f0fdf81b024b7519f4c41dec1ac89 |
|
22-Nov-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
extraction of assignments from commands
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14263 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 |
50a0d6d602b727c3239bca57bee5bfecbd86857a |
|
18-Nov-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added a function to Test which completes the theory, added the sign CSL predefined operator and some more tests
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14238 cec4b9c1-7d33-0410-9eda-942365e851bb |
25ae784bc2e848d6c2d53de84b4236449857e4cc |
|
18-Nov-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added new type for user defined opnames and adapted affected files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14235 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 |
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 |
2acb7fe145aa2e45c4c75ab76d380d3322850031 |
|
19-Oct-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
refactored also the non-compiled CSL modules
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14155 cec4b9c1-7d33-0410-9eda-942365e851bb |
1ac1d44af1a5d0c4a800b689d2afc68826484b06 |
|
18-Oct-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
specialized the term data structures and adapted the static analysis and other affected modules
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14154 cec4b9c1-7d33-0410-9eda-942365e851bb |
694bc63745f56d8f35a1f4382ad56a4d984d1535 |
|
18-Oct-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
refactoring the basic expression datatypes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14153 cec4b9c1-7d33-0410-9eda-942365e851bb |
699f8456142e7c89bd15acf3aa8790fd02f4420d |
|
15-Oct-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added binder handling to static analysis of CSL and cleaned omdoc-export from spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14152 cec4b9c1-7d33-0410-9eda-942365e851bb |
3db72cc30ef0b59b3d2f6d75705a809f3ce6d8c5 |
|
13-Oct-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
static analysis for CSL refactored
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14145 cec4b9c1-7d33-0410-9eda-942365e851bb |
e9cca1b5420c966c78427010c6612673884ed0a8 |
|
11-Oct-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added the sequence command to CSL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14133 cec4b9c1-7d33-0410-9eda-942365e851bb |
66c4c2f1442c3fe6936c4e908fe82006d78ab1e6 |
|
09-Sep-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
renamed the test program and implemented a bunch of ExtendedParameter functionality
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14040 cec4b9c1-7d33-0410-9eda-942365e851bb |
62281905648914793072631d80b66789d94156e9 |
|
08-Sep-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
The verification conditions are created and ExtendedParameterhandling started
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14027 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 |
98997f9d65c6bec5e349057af53337d46e57ddba |
|
27-Aug-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
improved the pretty printing, integrated parsing of intervals, using now doubles as float-type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13948 cec4b9c1-7d33-0410-9eda-942365e851bb |
7972feb09248111bdc02741dc1586d2ccaa60144 |
|
26-Aug-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
improved the parsing and pretty printing of CSL theories and worked on the interpreter
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13943 cec4b9c1-7d33-0410-9eda-942365e851bb |
d5f344282d64e56c3d00d337588e3f75462cfc91 |
|
18-Aug-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added simple assignment evaluator
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13903 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 |
60c0e0a172a0b12135a42a5f1a884fc81fddf39d |
|
15-Jul-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added support for -| , the propagation stop in extended parameters of CSL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13721 cec4b9c1-7d33-0410-9eda-942365e851bb |
116546d9eacf9c9629d6360bc010dd6143725186 |
|
21-Jun-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added transformations for CSL to CPL trafos
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13610 cec4b9c1-7d33-0410-9eda-942365e851bb |
48c45fa93622b846f93e4cc19b6d7a39de70073c |
|
08-Jun-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
changed syntax of repeat and case. removed warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13549 cec4b9c1-7d33-0410-9eda-942365e851bb |
36e88018429510d4fb7ac99636bf57554cde8c6b |
|
08-Jun-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added new language constructs to parser and the corresponding datatypes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13545 cec4b9c1-7d33-0410-9eda-942365e851bb |
3afd65e20042d4c88bdc07e4aa87c34a0705c762 |
|
07-Jun-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
Extended parsing to constraints
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13534 cec4b9c1-7d33-0410-9eda-942365e851bb |
341ea1f2841f5bbe4b87c832f43a233efc7aee1b |
|
04-Jun-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
refactored basic syntax of CSL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13520 cec4b9c1-7d33-0410-9eda-942365e851bb |
2df4a2da1ca155270cac962d951c02a5688a9c48 |
|
03-Jun-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
removed LINE pragmas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13509 cec4b9c1-7d33-0410-9eda-942365e851bb |
624e6701e0deb7ac6c03c0cba0190fbc5033cf93 |
|
03-Jun-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
Renamed the Reduce Logic Node to CSL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13506 cec4b9c1-7d33-0410-9eda-942365e851bb |