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 |
feeab95fdf7ec92bcce607c104d9dc98e0e6ea90 |
|
08-Oct-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
introduced new API for prefixes and applied this to CommonLogic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17489 cec4b9c1-7d33-0410-9eda-942365e851bb |
0b13f3716c104cad7ed75a6823340de9beef43c3 |
|
19-Jul-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
(CSL) added performance test for parser and a clarifying comment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15604 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 |
6dfdaa9340203f9bb6c6b7b003b1c0d1ee87f1d9 |
|
24-May-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
use module Data.Char instead of module Char
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15009 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 |
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 |
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 |
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 |
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 |
105837926c174394ac05c02471215fb6d68a780f |
|
06-Feb-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added some fancy output and interpreting a print command now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14498 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 |
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 |
434337161e50b53db671671fad5edb814255830a |
|
24-Jan-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added dependency graph algorithms and refined the assignment store interface
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14417 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 |
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 |
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 |
f3bef2616133ba9b19e678e463fccc799e284aba |
|
30-Aug-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
fixed Interval-parsing, added MapleInterpreter
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13954 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 |
8c88c93f79320b6dd788e6307387691357910c70 |
|
18-Aug-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
the CSL-CAS interface already instantiated for Reduce
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13890 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 |
2b82f2537a579cb902928b1b27a740ac0571387e |
|
02-Aug-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid non-standard symbol
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13804 cec4b9c1-7d33-0410-9eda-942365e851bb |
af4ecb6f1afdd6e378886d5fb3b52a466678dc54 |
|
02-Aug-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
changed operator >--> to >-+->
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13803 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 |
ef14efae77b8459143f27631ccf1676bbd407ae0 |
|
23-Jun-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
removed testfun and using >-> instead of fmap
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13615 cec4b9c1-7d33-0410-9eda-942365e851bb |
3ca65516621518fb1295bfac8da689233ba38772 |
|
22-Jun-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
changed Not to not in boolean expressions and implemented the repeat transformation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13611 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 |
1ffb220008460d4f96229ff9fcfed6d591aa0c4e |
|
07-Jun-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
constraint parsing fixed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13535 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 |
efdcc74f74484951e0be1d2602e7ca9bbf343efe |
|
07-Jun-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
parses now the first complete version of the EN1591.het
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13524 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 |
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 |