| 64cdaaeebee54e4f2eea562e19f4b362051d5650 |
|
05-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
another failing case
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10658 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 46199904d5e648bc1a25108f60a94078ffb99b30 |
|
08-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
grouped all scan rules
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5352 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 704862436e50e42e50e5b84fd7cd2c1b65f62483 |
|
02-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
halfed number of mixfix rules for CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5331 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 906f0b21e2dc78ee4f37f879518be018a0204cd9 |
|
07-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
left predicate test for Overload.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2927 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d186477ec3542a00bf4b0735a063fa2604c893ee |
|
05-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed output of positions and errors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1915 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2bbcdec13d8fd4b862cea292617cba1dca78f513 |
|
10-Sep-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up (made polynomial) mixfix analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1686 cec4b9c1-7d33-0410-9eda-942365e851bb |
| feb3da029bdab54fe36ff704ca242ab4536b3bc1 |
|
25-Jul-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up mixfix analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1602 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4654dbb45f8a4aea7aa5fed6be22c9efff19bfca |
|
06-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved CASL tests in test subdirectory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1348 cec4b9c1-7d33-0410-9eda-942365e851bb |