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 |
9c124423e5eef5a5dfacc607aaecb2adff96f967 |
|
15-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
integrate stripQuant into quantFreeVars |
3901a101f369779fde8e0435646f6717202eea36 |
|
29-Aug-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
factor out function to quantify over free variables (also for CCC) |
e0cbe74c82b1f304e392466110bca6c39774c321 |
|
26-Aug-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
extract variables also from nested quantifiers |
55b1b9a9df65432ae9dba33d18228cd4d8757194 |
|
13-Mar-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
include result types of ops
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16721 cec4b9c1-7d33-0410-9eda-942365e851bb |
961978c71545e0177683279f8b63358b3e3804b8 |
|
12-Mar-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
#1007 for CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16718 cec4b9c1-7d33-0410-9eda-942365e851bb |
7aeb33d3af3230641a33c39b7e7ba546bb35b969 |
|
25-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved FreeVars class into class TermExtension
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14638 cec4b9c1-7d33-0410-9eda-942365e851bb |
6e6fb6f753791dc9bafeda28c786256369b37944 |
|
25-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected trailing annos parsing after var and added warning for unused local names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14631 cec4b9c1-7d33-0410-9eda-942365e851bb |
530f3349113c3faa8252c5b2e6594c3a1bc2e24c |
|
24-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added documentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14618 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 |
812ee1f62e0e0e7235f3c05b41a0b173497b54ff |
|
11-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
hlinted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12820 cec4b9c1-7d33-0410-9eda-942365e851bb |
92494a941714233bcd640425aa50d3cf4859d7eb |
|
28-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
more nubs removed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10902 cec4b9c1-7d33-0410-9eda-942365e851bb |
e705eb8361724cf469fb1bf5006d95b5ca0063be |
|
19-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added warning for unused global variables
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10701 cec4b9c1-7d33-0410-9eda-942365e851bb |
dd5e505efb3641bf74ade0ba3adabf4ceaf94e60 |
|
01-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing blank lines
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10427 cec4b9c1-7d33-0410-9eda-942365e851bb |
ae179fb240298858539e0ff2b2e515d39ac17efc |
|
03-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
compute free variables of extensions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10060 cec4b9c1-7d33-0410-9eda-942365e851bb |
717dba98f6cc2ff66aa5708c8a81609a9ed80225 |
|
11-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
stripping unused quantifiers is necessary for the inline axiom ga_totality in CASL2SubCFOL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9346 cec4b9c1-7d33-0410-9eda-942365e851bb |
56c56b2181e76c239929ddade2925ba5c3f3fffd |
|
26-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9243 cec4b9c1-7d33-0410-9eda-942365e851bb |
afae8493e1c904789e3352f6daae63bd66cf057d |
|
26-Nov-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added QuickCheck model checker for CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9241 cec4b9c1-7d33-0410-9eda-942365e851bb |
819ef30d291cb3d17790271f901b0ca03f2b783f |
|
26-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8486 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f69b6948966979163bdfe8331c38833d5d90ecd |
|
05-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed my maintainer email
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8261 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad270004874ce1d0697fb30d7309f180553bb315 |
|
21-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to Data.Set, Data.Map and Data.Dynamic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7491 cec4b9c1-7d33-0410-9eda-942365e851bb |
e6d40133bc9f858308654afb1262b8b483ec5922 |
|
01-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added Description header
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7287 cec4b9c1-7d33-0410-9eda-942365e851bb |
0095c7efbddd0ffeed6aaf8ec015346be161d819 |
|
01-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added Description header
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7284 cec4b9c1-7d33-0410-9eda-942365e851bb |
e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0 |
|
29-Sep-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
expanded tabs to spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5106 cec4b9c1-7d33-0410-9eda-942365e851bb |
d239e12e6805b873ca094d0431325d1d8d295a01 |
|
28-Sep-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
joined variables of equal sorts in quantification
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5097 cec4b9c1-7d33-0410-9eda-942365e851bb |
97eee08901ba334f0b9f68592980e75b93b492e9 |
|
27-Sep-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
used CASL.Fold for freeVars and stripQuant
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5087 cec4b9c1-7d33-0410-9eda-942365e851bb |
42c01284bba8d7c8d995c8dfb96ace57d28ed1bc |
|
15-Jul-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
refactoring: [Pos] replaced with Range in order to exclude positions from equality of abstract syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4671 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3a94a197960e548ecd6520bb768cb0d547457bb |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
aligned module description for haddock-0.7
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4438 cec4b9c1-7d33-0410-9eda-942365e851bb |
97018cf5fa25b494adffd7e9b4e87320dae6bf47 |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Licence with License for haddock-07
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4433 cec4b9c1-7d33-0410-9eda-942365e851bb |
b4fbc96e05117839ca409f5f20f97b3ac872d1ed |
|
13-Jun-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added maintainers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4412 cec4b9c1-7d33-0410-9eda-942365e851bb |
88ece6e49930670e8fd3ee79c89a2e918d2fbd0c |
|
12-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted Common.Lib.Set and Map to ghc-6.4 library version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4263 cec4b9c1-7d33-0410-9eda-942365e851bb |
6fd7710e5577ab99cb1ffab82f9bcf54bac4018b |
|
15-Mar-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted quantifiers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3950 cec4b9c1-7d33-0410-9eda-942365e851bb |
35499624231dc055be7eb3f52bdaef34d7f28e85 |
|
05-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed AParsable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2361 cec4b9c1-7d33-0410-9eda-942365e851bb |
1f086d5155f47fdad9a0de4e46bbebb2c4b33d30 |
|
05-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Analyzable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2356 cec4b9c1-7d33-0410-9eda-942365e851bb |
2b4130336e941b7d01c78a6da55449a4c6eca609 |
|
23-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Refactoring for smooth integration of CASL extensions.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2310 cec4b9c1-7d33-0410-9eda-942365e851bb |
a09ce6c37740fc8728689e2272d3ff09a2eb2256 |
|
15-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
may be the free vars are needed anyway
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2284 cec4b9c1-7d33-0410-9eda-942365e851bb |
123d8b652661415b8f8f2f3dbde8e05472918d1e |
|
15-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2279 cec4b9c1-7d33-0410-9eda-942365e851bb |