 Yentl Van Tendeloo
|
1b92dc5418
Added Addis' code
|
8 лет назад |
|
Yentl Van Tendeloo
|
c208558aee
Explicitly store the initial configuration of the "core" model in the Modelverse modelling representation as well
|
8 лет назад |
|
Yentl Van Tendeloo
|
fd61d765e2
Added some new utility functions
|
8 лет назад |
|
Yentl Van Tendeloo
|
2a684b6a48
Working communication (mostly)
|
8 лет назад |
|
Yentl Van Tendeloo
|
7cb6ab4fc9
Remove some prints
|
8 лет назад |
|
Yentl Van Tendeloo
|
ac1d35482e
Fixed concrete syntax front-end for tracability
|
8 лет назад |
|
Yentl Van Tendeloo
|
46519f7a2f
Fixed bug in model_render, where the source of tracability is not found
|
8 лет назад |
|
Yentl Van Tendeloo
|
20f9c52853
Make verify rely on a model operation that is explicitly defined
|
8 лет назад |
|
Yentl Van Tendeloo
|
4eb4c2456d
Add a "semantics" link to instanceOf links
|
8 лет назад |
|
Yentl Van Tendeloo
|
3a1e56e9bf
Fixed model_render
|
8 лет назад |
|
Yentl Van Tendeloo
|
69f9e63b5c
Fixed power window tests
|
8 лет назад |
|
Yentl Van Tendeloo
|
817cf646b1
Add callback for add_AL and add_MANUAL as well
|
8 лет назад |
|
Yentl Van Tendeloo
|
db5375f19a
Fix add_MT, even with callbacks for merged model modification
|
8 лет назад |
|
Yentl Van Tendeloo
|
15f18dd5bb
First steps towards callbacks in transformation_add_*
|
8 лет назад |
|
Yentl Van Tendeloo
|
648b214bde
Fixed model transformations with in-place RAMification
|
8 лет назад |
|
Yentl Van Tendeloo
|
f318f07a35
Fixes to RAMification
|
8 лет назад |
|
Yentl Van Tendeloo
|
df45bd2367
Remove RAMify phase and do this automatically now
|
8 лет назад |
|
Yentl Van Tendeloo
|
9828babf12
Fixed process enactment
|
8 лет назад |
|
Yentl Van Tendeloo
|
5bd60dcec3
Fixed model operations for named input/output models
|
8 лет назад |
|
Yentl Van Tendeloo
|
da5fa20b1a
Add keywords for model transformations (broken)
|
8 лет назад |
|
Yentl Van Tendeloo
|
005d27ef9b
Added a very naive model_delete for Simon
|
8 лет назад |
|
Yentl Van Tendeloo
|
faa57326bd
Fixed process_execute as well
|
8 лет назад |
|
Yentl Van Tendeloo
|
46dfcb1bc6
Fixed bootstrap file: everything loads
|
8 лет назад |
|
Yentl Van Tendeloo
|
2b15a6871c
First step towards compiling models in the bootstrap file as well
|
8 лет назад |
