|
|
cd26a401fe
|
Add example of 'woods' operational semantics. Clearer error messages. Implement full OD-API. Small refactoring of Conformance class.
|
2024-10-28 14:15:12 +01:00 |
|
|
|
6cd8bbb8cc
|
Clearer error message when parsing fails
|
2024-10-24 16:23:23 +02:00 |
|
|
|
ee790e4a11
|
Fix parsing primitive types
|
2024-10-21 15:01:27 +02:00 |
|
|
|
107f2f750e
|
Associations are like Classes and can also have attributes
|
2024-10-21 15:00:04 +02:00 |
|
|
|
cfafbc2efa
|
Fixed multiplicity infinity in class diagrams parser
|
2024-10-16 09:22:45 +02:00 |
|
|
|
4c4edf1963
|
CD parser: only add ModelRefs for types that don't exist yet
|
2024-10-09 15:19:54 +02:00 |
|
|
|
52ded8af77
|
Add concrete syntax for class diagrams + example (woods2.py)
|
2024-10-09 15:09:16 +02:00 |
|
|
|
c248fc9090
|
Fix problems with older versions of Python
|
2024-10-09 10:32:32 +02:00 |
|
|
|
17bff66e8e
|
Add conformance checking example
|
2024-10-08 22:35:47 +02:00 |
|
|
|
e70eae2286
|
PlantUML: render class cardinalities. Extend constraint checker API.
|
2024-10-08 21:08:06 +02:00 |
|
|
|
c351649d23
|
Add 'cloner'. Example also uses concrete syntax for LHS and RHS. Renders all possible rewrites and morphisms with LHS and RHS.
|
2024-10-08 12:22:37 +02:00 |
|
|
|
e875821e70
|
Concrete syntax no longer indentation-based (nightmare to parse). Add indented multi-line code terminals.
|
2024-10-07 18:18:05 +02:00 |
|
|
|
59de61d0a3
|
Add ActionCode primitive type. Fix constraint checking.
|
2024-10-07 16:08:23 +02:00 |
|
|
|
03cc568516
|
Move file. Small fix.
|
2024-10-04 10:50:16 +02:00 |
|
|
|
175edb64d9
|
Class diagram can be rendered as object diagram textual syntax, and parsed back, without information loss
|
2024-10-03 17:01:13 +02:00 |
|
