HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity
su4sml/su4sml/src
History
Martin Bill cdebaa07a5 - test-suite runs a lot better but still fails (some operations aren't 
found)
- the xmi file parser stores empty name strings for associations as
("name","") and thus a search on "name" returns (SOME "") instead of
NONE. There is currently a simple workaround/hack for this at
mkAssociation



git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@6946 3260e6d1-4efc-4170-b0a7-36055960796d
 		2007-11-18 21:10:46 +00:00
..
codegen unified capitalizing and uncapitalizing names 2007-11-16 12:44:24 +00:00
compiler updated directory structure 2007-07-23 13:03:15 +00:00
contrib updated directory structure 2007-07-23 13:03:15 +00:00
ocl_parser - test-suite runs a lot better but still fails (some operations aren't 2007-11-18 21:10:46 +00:00
ROOT.ML fixed build process (added missing rep_transform.sml) 2007-09-29 16:36:07 +00:00
UML15OCL.dtd updated directory structure 2007-07-23 13:03:15 +00:00
UML15OCL.xmi updated directory structure 2007-07-23 13:03:15 +00:00
component_uml.sml updated directory structure 2007-07-23 13:03:15 +00:00
library.sml - test-suite runs a lot better but still fails (some operations aren't 2007-11-18 21:10:46 +00:00
listeq.sml updated directory structure 2007-07-23 13:03:15 +00:00
mds.sig Merged importing-billk-2007-from-infsec changes r6859:6865 into the trunk. 2007-09-26 07:55:59 +00:00
ocl2dresdenjava.sml updated directory structure 2007-07-23 13:03:15 +00:00
ocl2string.sml Merged importing-billk-2007-from-infsec changes r6859:6865 into the trunk. 2007-09-26 07:55:59 +00:00
ocl_library.sml Merged importing-billk-2007-from-infsec changes r6859:6865 into the trunk. 2007-09-26 07:55:59 +00:00
rep.sml Merged importing-billk-2007-from-infsec changes r6859:6865 into the trunk. 2007-09-26 07:55:59 +00:00
rep_activity_graphs.sml updated directory structure 2007-07-23 13:03:15 +00:00
rep_core.sml - test-suite runs a lot better but still fails (some operations aren't 2007-11-18 21:10:46 +00:00
rep_ocl.sml - fixed a line in test-suite.sml 2007-11-11 18:16:10 +00:00
rep_parser.sml - test-suite runs a lot better but still fails (some operations aren't 2007-11-18 21:10:46 +00:00
rep_secure.sig updated directory structure 2007-07-23 13:03:15 +00:00
rep_secure.sml Merged importing-billk-2007-from-infsec changes r6859:6865 into the trunk. 2007-09-26 07:55:59 +00:00
rep_secureuml.sig updated directory structure 2007-07-23 13:03:15 +00:00
rep_secureuml.sml updated directory structure 2007-07-23 13:03:15 +00:00
rep_state_machines.sml updated directory structure 2007-07-23 13:03:15 +00:00
rep_su2holocl.sml minor simplification 2007-11-16 17:21:23 +00:00
rep_transform.sml - test-suite runs a lot better but still fails (some operations aren't 2007-11-18 21:10:46 +00:00
secure_uml.sml Merged importing-billk-2007-from-infsec changes r6859:6865 into the trunk. 2007-09-26 07:55:59 +00:00
stringHandling.sml unified capitalizing and uncapitalizing names 2007-11-16 12:44:24 +00:00
su4sml.cm updated directory structure 2007-07-23 13:03:15 +00:00
su4sml_core.cm unified capitalizing and uncapitalizing names 2007-11-16 12:44:24 +00:00
test-suite.sml - test-suite runs a lot better but still fails (some operations aren't 2007-11-18 21:10:46 +00:00
xmi.sml updated directory structure 2007-07-23 13:03:15 +00:00
xmi_activity_graphs.sml updated directory structure 2007-07-23 13:03:15 +00:00
xmi_core.sml Merged importing-billk-2007-from-infsec changes r6859:6865 into the trunk. 2007-09-26 07:55:59 +00:00
xmi_datatypes.sml updated directory structure 2007-07-23 13:03:15 +00:00
xmi_extension_mechanisms.sml updated directory structure 2007-07-23 13:03:15 +00:00
xmi_idtable.sml - test-suite runs a lot better but still fails (some operations aren't 2007-11-18 21:10:46 +00:00
xmi_ocl.sml updated directory structure 2007-07-23 13:03:15 +00:00
xmi_parser.sml - test-suite runs a lot better but still fails (some operations aren't 2007-11-18 21:10:46 +00:00
xmi_state_machines.sml updated directory structure 2007-07-23 13:03:15 +00:00
xmltree.sml - test-suite runs a lot better but still fails (some operations aren't 2007-11-18 21:10:46 +00:00
xmltree_helper.sml updated directory structure 2007-07-23 13:03:15 +00:00
xmltree_hooks.sml updated directory structure 2007-07-23 13:03:15 +00:00
xmltree_parser.sml updated directory structure 2007-07-23 13:03:15 +00:00
xmltree_writer.sml updated directory structure 2007-07-23 13:03:15 +00:00