| .. |
|
90_core_formalism.mvc
|
c208558aee
Explicitly store the initial configuration of the "core" model in the Modelverse modelling representation as well
|
%!s(int64=8) %!d(string=hai) anos |
|
99_core.mvc
|
71a50aa4ac
Fix minor parts for the tests to succeed
|
%!s(int64=8) %!d(string=hai) anos |
|
__init__.py
|
5dcb6e648a
Added compile script in Python
|
%!s(int64=9) %!d(string=hai) anos |
|
bootstrap.py
|
13ad926bbd
Fixed some compilation problems
|
%!s(int64=8) %!d(string=hai) anos |
|
bottom.mvc
|
e4828596d2
Add bottom formalism (the nice way)
|
%!s(int64=8) %!d(string=hai) anos |
|
conformance_scd.alc
|
338de6eadf
Updated generate_bottom_type_mapping function
|
%!s(int64=8) %!d(string=hai) anos |
|
constructors.alc
|
13ad926bbd
Fixed some compilation problems
|
%!s(int64=8) %!d(string=hai) anos |
|
core_algorithm.alc
|
c208558aee
Explicitly store the initial configuration of the "core" model in the Modelverse modelling representation as well
|
%!s(int64=8) %!d(string=hai) anos |
|
initial_code_manager.alc
|
13ad926bbd
Fixed some compilation problems
|
%!s(int64=8) %!d(string=hai) anos |
|
initial_code_task.alc
|
13ad926bbd
Fixed some compilation problems
|
%!s(int64=8) %!d(string=hai) anos |
|
io.alc
|
09e82bb330
Add missing bootstrap file
|
%!s(int64=8) %!d(string=hai) anos |
|
jit.alc
|
37dd973b33
Define JIT primitives
|
%!s(int64=8) %!d(string=hai) anos |
|
library.alc
|
300e266af6
Fixes to tracability model generation
|
%!s(int64=8) %!d(string=hai) anos |
|
metamodels.alt
|
e4828596d2
Add bottom formalism (the nice way)
|
%!s(int64=8) %!d(string=hai) anos |
|
mini_modify.alc
|
fd61d765e2
Added some new utility functions
|
%!s(int64=8) %!d(string=hai) anos |
|
model_management.alc
|
cea4b76e92
Fix wrapper for undefined function
|
%!s(int64=8) %!d(string=hai) anos |
|
modelling.alc
|
b1885389bf
Start execution of condition on transition
|
%!s(int64=8) %!d(string=hai) anos |
|
object_operations.alc
|
4638c481a9
Unify the legacy compiled functions with the normal functions again
|
%!s(int64=8) %!d(string=hai) anos |
|
pm.mvc
|
da5fa20b1a
Add keywords for model transformations (broken)
|
%!s(int64=8) %!d(string=hai) anos |
|
primitives.alc
|
13ad926bbd
Fixed some compilation problems
|
%!s(int64=8) %!d(string=hai) anos |
|
ramify.alc
|
eee6f1ce47
Minor optimizations
|
%!s(int64=8) %!d(string=hai) anos |
|
random.alc
|
e12ae68d9c
Working PN transformations for simulation
|
%!s(int64=8) %!d(string=hai) anos |
|
semi_primitives.alc
|
13ad926bbd
Fixed some compilation problems
|
%!s(int64=8) %!d(string=hai) anos |
|
services.alc
|
d858c7589d
Fix SCCD class deletions
|
%!s(int64=8) %!d(string=hai) anos |
|
task_manager.alc
|
46dfcb1bc6
Fixed bootstrap file: everything loads
|
%!s(int64=8) %!d(string=hai) anos |
|
tracability.mvc
|
2b15a6871c
First step towards compiling models in the bootstrap file as well
|
%!s(int64=8) %!d(string=hai) anos |
|
transform.alc
|
eee6f1ce47
Minor optimizations
|
%!s(int64=8) %!d(string=hai) anos |
|
utils.alc
|
cf33fbed38
Use interruptable_sleep as an option
|
%!s(int64=8) %!d(string=hai) anos |
Yentl Van Tendeloo
338de6eadf
Updated generate_bottom_type_mapping function