|
|
558772fbe4
|
commit some long outstanding changes
|
2025-07-23 13:57:25 +02:00 |
|
|
|
e0136937b9
|
cleanup
|
2025-02-05 16:26:22 +01:00 |
|
Inte Vleminckx
|
86cd7027f3
|
Adding bytes as a type
|
2025-02-05 16:01:56 +01:00 |
|
|
|
1eb8a84553
|
(WIP) implementing CBD language... Meta-meta-model: Association inherits from Class. Matcher accepts pivot. Add generic graphviz renderer.
|
2024-11-07 09:46:29 +01:00 |
|
|
|
a26ceef10f
|
Conformance checker relies much more on ODAPI rather than duplicating its logic + Fix error in bootstrap of primitive types
|
2024-11-05 16:54:00 +01:00 |
|
|
|
e70eae2286
|
PlantUML: render class cardinalities. Extend constraint checker API.
|
2024-10-08 21:08:06 +02:00 |
|
|
|
59de61d0a3
|
Add ActionCode primitive type. Fix constraint checking.
|
2024-10-07 16:08:23 +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 |
|
|
|
4160a8953e
|
Tweak matcher (compute connected components in advance). Simple pattern matching with RAMification (incl. Python expressions) seems to work.
|
2024-09-06 21:10:23 +02:00 |
|
Andrei Bondarenko
|
6df566373d
|
Points example working
|
2021-08-27 09:46:44 +02:00 |
|
Andrei Bondarenko
|
695ec6132a
|
Nominal and structural typing seem to be fully working
|
2021-08-24 23:56:25 +02:00 |
|
Andrei Bondarenko
|
f7430cceff
|
Nominal constraints now working
|
2021-08-24 20:49:02 +02:00 |
|
Andrei Bondarenko
|
6ce8a4ef5c
|
Park structural conformance for now, finish constraints for nominal
|
2021-08-24 17:32:21 +02:00 |
|
Andrei Bondarenko
|
3c1d1fa002
|
Working on conformance
|
2021-08-23 15:11:25 +02:00 |
|
Andrei Bondarenko
|
8ddb5ac12b
|
PN example
|
2021-08-21 11:57:20 +02:00 |
|
Andrei Bondarenko
|
afc3df071b
|
primitive models are now used corerctly
|
2021-08-16 10:48:09 +02:00 |
|
Andrei Bondarenko
|
938752ffe4
|
REfctored name
|
2021-08-16 09:55:02 +02:00 |
|
Andrei Bondarenko
|
6dcbdbe775
|
Primitives are now bootstrapped as well
|
2021-08-16 09:04:09 +02:00 |
|
Andrei Bondarenko
|
f9aa6a8adf
|
Refactored some stuff
|
2021-08-16 07:59:11 +02:00 |
|
Andrei Bondarenko
|
9b3a4c5a44
|
Defined SCD services interface
|
2021-08-14 16:31:56 +02:00 |
|
Andrei Bondarenko
|
6723bd590b
|
added morphism to scd bootstrap
|
2021-08-13 20:02:28 +02:00 |
|
Andrei Bondarenko
|
7f7924197b
|
MCL graph (without morphisms done)
|
2021-08-13 11:53:48 +02:00 |
|
Andrei Bondarenko
|
c64e348bf2
|
Clean slate
|
2021-07-24 20:52:36 +02:00 |
|
Andrei Bondarenko
|
2e3576a1a8
|
SCDContext should be done
|
2021-07-19 09:08:10 +02:00 |
|
Andrei Bondarenko
|
65886dc694
|
Moved SCD bootstrap to separate file
|
2021-07-18 12:00:37 +02:00 |
|
