| .. |
|
__init__.py
|
5dcb6e648a
Added compile script in Python
|
před 9 roky |
|
bootstrap.py
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
před 8 roky |
|
conformance_scd.alc
|
102b231f57
Fixed verify in wrapper
|
před 8 roky |
|
constructors.alc
|
1242a84626
Allow multi-function function definitions (not completely tested; backwards-compatible)
|
před 8 roky |
|
core_algorithm.alc
|
005d27ef9b
Added a very naive model_delete for Simon
|
před 8 roky |
|
core_formalism.mvc
|
2b15a6871c
First step towards compiling models in the bootstrap file as well
|
před 8 roky |
|
initial_code_manager.alc
|
adc1d03bcc
Remove deprecated functions
|
před 8 roky |
|
initial_code_task.alc
|
adc1d03bcc
Remove deprecated functions
|
před 8 roky |
|
jit.alc
|
37dd973b33
Define JIT primitives
|
před 8 roky |
|
library.alc
|
300e266af6
Fixes to tracability model generation
|
před 8 roky |
|
metamodels.alt
|
2b15a6871c
First step towards compiling models in the bootstrap file as well
|
před 8 roky |
|
mini_modify.alc
|
74727f1589
Fix bug in read_incoming: InterfaceMismatch
|
před 8 roky |
|
model_management.alc
|
206efc25ee
Updated wrapper with AL execution for Simon
|
před 8 roky |
|
modelling.alc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
před 8 roky |
|
object_operations.alc
|
4638c481a9
Unify the legacy compiled functions with the normal functions again
|
před 8 roky |
|
pm.mvc
|
2b15a6871c
First step towards compiling models in the bootstrap file as well
|
před 8 roky |
|
primitives.alc
|
adc1d03bcc
Remove deprecated functions
|
před 8 roky |
|
ramify.alc
|
eee6f1ce47
Minor optimizations
|
před 8 roky |
|
random.alc
|
e12ae68d9c
Working PN transformations for simulation
|
před 8 roky |
|
task_manager.alc
|
46dfcb1bc6
Fixed bootstrap file: everything loads
|
před 8 roky |
|
tracability.mvc
|
2b15a6871c
First step towards compiling models in the bootstrap file as well
|
před 8 roky |
|
transform.alc
|
eee6f1ce47
Minor optimizations
|
před 8 roky |
Yentl Van Tendeloo
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like