| eb853019910c6daafdccc394b4777c943acc7dda |
|
18-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed wrong stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2887 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9fe9f9ae1487f67b98a9f3429c94084391746677 |
|
09-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added reference to Common
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1379 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1367e328b28850e2e29cb489a7d4539407db588b |
|
09-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
updated to current state
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1374 cec4b9c1-7d33-0410-9eda-942365e851bb |
| fb39798e8f7ee0648ee723a1dd7698a1efd0ffa0 |
|
09-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed barS within mixIds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1371 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4334bb529d4a02a3dca1ceb6155e7fa8420aecd8 |
|
04-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
included constructor classes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1043 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 51ee365067fd4abd11fdad3b159fb4104a19fd9e |
|
26-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
included file descriptions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1021 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 042c27c23edf27f243ad4ad5628285b0693246fc |
|
15-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added section describing the testing of the static analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@760 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0d68cdf5865b5b33deb9d2735e9810919e60b264 |
|
09-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
included Lutz's comments as well as type and variable decls
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@733 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2461789a691e5d71cde8c0ebc852f7b1d70221c7 |
|
09-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
started with type declarations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@732 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b2ef6ee07f39ea952417a0084e1a506c09fed9d5 |
|
08-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
documentation for the static analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@730 cec4b9c1-7d33-0410-9eda-942365e851bb |