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 |
55ab20b85d8838544a83c1ef2e01e1f2b2da7496 |
|
04-Jan-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add prover output to ProofStatus and xml response. |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
877770f8a4c927134bf689e17208a897032893f5 |
|
10-Sep-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added infix constants to reduce interface and added some examples to the maple interpreter
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14057 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 |
b9eaaa28985395900de39c4a5ed7a8bff5b2da89 |
|
25-Aug-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
CalculationSystem NameMapping works
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13936 cec4b9c1-7d33-0410-9eda-942365e851bb |
ff9c2990dffff7595c257a74df90fc2a9b0eeba4 |
|
23-Aug-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
fixed a static analysis bug (ordering of the sentences) and added result-monad to the calculators
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13928 cec4b9c1-7d33-0410-9eda-942365e851bb |
905f3b47b556b438c9cc283743725cbbf85b4c7e |
|
20-Aug-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
On the way to evaluate loops
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13921 cec4b9c1-7d33-0410-9eda-942365e851bb |
e5cc7e9f8d96cdfe6126109bc8ab276f54c98590 |
|
19-Aug-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
Integrated second Reduce Interface
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13910 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 |
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 |
d3a04c10718eda8be03ebe994f544a9c791793bd |
|
10-Jun-2010 |
Dominik Dietrich <Dominik.Dietrich@dfki.de> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13570 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 |
9378a7d0065818b541d989837dae2d9a89154007 |
|
07-Jun-2010 |
Dominik Dietrich <Dominik.Dietrich@dfki.de> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13525 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 |