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 |
1def244e72006b3117fd0a26d9b009e4e85ba90c |
|
09-Oct-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted to spechub/Hets@feeab95fdf7ec92bcce607c104d9dc98e0e6ea90
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17496 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad4da9d870c666f00992431e3badbbe9cc4f19aa |
|
28-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
made scan happy
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14816 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 |
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 |
792df0347edab377785d98c63e2be8e2ce0a8bde |
|
29-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
basic analysis now returns an extended signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9098 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 |
61091743da1a9ed6dfd5e077fdcc972553358962 |
|
04-Apr-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
generalized Named to SenAttr to be useable by Logic.Prover as well
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7784 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 |
c7e51ef7607376891c61337918d95503ab2910ef |
|
20-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted to change of static analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6696 cec4b9c1-7d33-0410-9eda-942365e851bb |
ee35696edbcdb06e451d39c11bda2f2fd4b5dd3f |
|
27-Sep-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added formula transformations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5092 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 |
f92a9a33e08d620a0ac77dbcd22282c379047f59 |
|
16-Mar-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added test cases
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3958 cec4b9c1-7d33-0410-9eda-942365e851bb |
88c36311800ca29752a8ac9cd80035b94be3d717 |
|
15-Mar-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplifed sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3945 cec4b9c1-7d33-0410-9eda-942365e851bb |
e935423c16e00af45bffbe131f4bd9ae01853fcb |
|
14-Mar-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
rearranged static analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3941 cec4b9c1-7d33-0410-9eda-942365e851bb |
f60b253aa614a486deb9d3675b599d95f3a8c375 |
|
08-Mar-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
support for a failing static analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3915 cec4b9c1-7d33-0410-9eda-942365e851bb |
0af0cffad0fea46df86ff9a9b1d490247871719a |
|
16-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
use PrettyPrint rather than separate show function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3809 cec4b9c1-7d33-0410-9eda-942365e851bb |
8af890f3d0fee5e1ede9e30e03b7525f4746ea66 |
|
10-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
inserted short-cut basicCASLAnalysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3779 cec4b9c1-7d33-0410-9eda-942365e851bb |
414ffa281d82f05a2d742c702f8e06b0cb05b229 |
|
20-Dec-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
made AParser polymorphic in further user state component
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3578 cec4b9c1-7d33-0410-9eda-942365e851bb |
a255351561838b3743d03c1629d335cfb8b83804 |
|
06-Sep-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added separate mixfix resolution for formula extensions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3135 cec4b9c1-7d33-0410-9eda-942365e851bb |
0e2ae85e2453466d03c1fc5884a3d693235bb9d9 |
|
09-Aug-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed static analysis of extensions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3030 cec4b9c1-7d33-0410-9eda-942365e851bb |
d183a4514d8a5b6a5d48d15a8dff52d0c96691ea |
|
22-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
generalizations for modal logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2459 cec4b9c1-7d33-0410-9eda-942365e851bb |
0528201b52a372258ae74953d456882dd1365d87 |
|
21-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2453 cec4b9c1-7d33-0410-9eda-942365e851bb |
3c6e3a9b93e3e56b038f42c7acc30e53c1f0d624 |
|
21-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
resolve extented formulas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2449 cec4b9c1-7d33-0410-9eda-942365e851bb |
50dce6b011347f92377adb8bbabaeeb80975e86d |
|
21-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
made CASL parsers accept an additional keyword list
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2447 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 |
6cb09495133887e0d5e021fa3cf44f288881eb68 |
|
05-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added generated axioms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2247 cec4b9c1-7d33-0410-9eda-942365e851bb |
3a495cdf8bb7245b3804e17ee038d43901e78a5e |
|
02-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
change from Env to Sign
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2058 cec4b9c1-7d33-0410-9eda-942365e851bb |
f8b715ab2993083761c0aedb78f1819bcf67b6cc |
|
30-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
splitted of Sign from StaticAna
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2037 cec4b9c1-7d33-0410-9eda-942365e851bb |
75a6279dbae159d018ef812185416cf6df386c10 |
|
22-Aug-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Updated licence statements
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1673 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea9ad77838dce923ced1df2ac09a7f0226363593 |
|
20-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed Common.GlobalAnnotations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1512 cec4b9c1-7d33-0410-9eda-942365e851bb |
93d6665dccd6e117b0a23307a523828ee394ec2b |
|
22-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed redundant partial ops from signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1434 cec4b9c1-7d33-0410-9eda-942365e851bb |
a099728a1284ade9faab7ad339430615dda61113 |
|
16-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added pretty printing of signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1409 cec4b9c1-7d33-0410-9eda-942365e851bb |
dbc8d3892d2e742bda322d92203b4b09ce10077f |
|
15-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
new static analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1391 cec4b9c1-7d33-0410-9eda-942365e851bb |
3513f4e241bc3f613607179713c0223da214a26e |
|
15-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved local env to Sign.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1257 cec4b9c1-7d33-0410-9eda-942365e851bb |
d4e4bfb5203c35bec63f973fbf9de141df4b1b16 |
|
09-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed printing of SortDefns
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1227 cec4b9c1-7d33-0410-9eda-942365e851bb |
49a821ac3c8744ced8e419b931a5136128fbbe95 |
|
03-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected pretty printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1187 cec4b9c1-7d33-0410-9eda-942365e851bb |
9263bebc40b614104ff51798d933dcd1369bc4b7 |
|
02-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added instance PrettyPrint for Sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1181 cec4b9c1-7d33-0410-9eda-942365e851bb |
b7172e33125327cf8ca6dc0d59b7dcc24d21623a |
|
02-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
pretty printing extended
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1179 cec4b9c1-7d33-0410-9eda-942365e851bb |
a2fe183047ab9a7accab1c17062db0987d2dd7c5 |
|
25-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1001 cec4b9c1-7d33-0410-9eda-942365e851bb |