Achim D. Brucker
c38c8cbd49
Fixed typo.
2016-10-24 00:35:11 +01:00
Achim D. Brucker
127acb420a
Removed superfluous directory level.
2016-07-25 20:19:53 +01:00
Achim D. Brucker
874dbfadb0
updated directory structure
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6701 3260e6d1-4efc-4170-b0a7-36055960796d
2007-07-23 13:03:15 +00:00
Achim D. Brucker
3638e54300
Revised build setup:
...
- rewrite CM files. The CM files should now work with different
versions of sml/NJ and mlton. This setup was tested with sml/NJ
110.52, sml/NJ 110.62 and mlton 20061107-1.
- removed some inconsistent signature files
- removed CM files for sml/NJ 110.62
- removed mlb files
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6700 3260e6d1-4efc-4170-b0a7-36055960796d
2007-07-23 05:26:05 +00:00
Achim D. Brucker
4f4622a6cc
updated licence information/headers
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6662 3260e6d1-4efc-4170-b0a7-36055960796d
2007-07-04 06:41:30 +00:00
Manuel Krucker
560f937dda
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6629 3260e6d1-4efc-4170-b0a7-36055960796d
2007-06-26 09:22:15 +00:00
Achim D. Brucker
febca88ad6
first functional integreation of the OCL parser and type-checker (and some minor cleanup)
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6597 3260e6d1-4efc-4170-b0a7-36055960796d
2007-06-13 05:55:41 +00:00
Achim D. Brucker
a6093e684c
cleanup
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6596 3260e6d1-4efc-4170-b0a7-36055960796d
2007-06-12 18:54:56 +00:00
Achim D. Brucker
3cf552d2e7
cleanup
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6595 3260e6d1-4efc-4170-b0a7-36055960796d
2007-06-12 18:54:29 +00:00
Achim D. Brucker
378034413f
imported OCL parser/type-checker (semester thesis of Manuel Krucker)
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6594 3260e6d1-4efc-4170-b0a7-36055960796d
2007-06-12 18:51:39 +00:00