.. |
90_core_formalism.mvc
|
c208558aee
Explicitly store the initial configuration of the "core" model in the Modelverse modelling representation as well
|
8 rokov pred |
99_core.mvc
|
71a50aa4ac
Fix minor parts for the tests to succeed
|
8 rokov pred |
__init__.py
|
5dcb6e648a
Added compile script in Python
|
9 rokov pred |
bootstrap.py
|
544c08519b
Lots of fixes to the new set representation
|
8 rokov pred |
bottom.mvc
|
e4828596d2
Add bottom formalism (the nice way)
|
8 rokov pred |
conformance_scd.alc
|
faac1abb01
Rename most read_nr_out to the more specific version: set_len, list_len, or dict_len
|
8 rokov pred |
constructors.alc
|
7476d11930
Replaced all create_node calls to their data structure equivalents
|
8 rokov pred |
core_algorithm.alc
|
74498d6d91
Some minor performance tweaks
|
8 rokov pred |
initial_code_manager.alc
|
13ad926bbd
Fixed some compilation problems
|
8 rokov pred |
initial_code_task.alc
|
13ad926bbd
Fixed some compilation problems
|
8 rokov pred |
io.alc
|
09e82bb330
Add missing bootstrap file
|
8 rokov pred |
jit.alc
|
37dd973b33
Define JIT primitives
|
8 rokov pred |
library.alc
|
7476d11930
Replaced all create_node calls to their data structure equivalents
|
8 rokov pred |
metamodels.alt
|
e4828596d2
Add bottom formalism (the nice way)
|
8 rokov pred |
mini_modify.alc
|
faac1abb01
Rename most read_nr_out to the more specific version: set_len, list_len, or dict_len
|
8 rokov pred |
model_management.alc
|
faac1abb01
Rename most read_nr_out to the more specific version: set_len, list_len, or dict_len
|
8 rokov pred |
modelling.alc
|
9e027ab90c
More bugfixes to transformations and execution
|
8 rokov pred |
object_operations.alc
|
544c08519b
Lots of fixes to the new set representation
|
8 rokov pred |
pm.mvc
|
da5fa20b1a
Add keywords for model transformations (broken)
|
8 rokov pred |
primitives.alc
|
2baeead326
Change most set operations to dictionary operations: internal structure
|
8 rokov pred |
ramify.alc
|
544c08519b
Lots of fixes to the new set representation
|
8 rokov pred |
random.alc
|
da72df1862
Fixed some strange constructions and mapped them to easier to understand ones
|
8 rokov pred |
semi_primitives.alc
|
544c08519b
Lots of fixes to the new set representation
|
8 rokov pred |
services.alc
|
7476d11930
Replaced all create_node calls to their data structure equivalents
|
8 rokov pred |
task_manager.alc
|
46dfcb1bc6
Fixed bootstrap file: everything loads
|
8 rokov pred |
tracability.mvc
|
2b15a6871c
First step towards compiling models in the bootstrap file as well
|
8 rokov pred |
transform.alc
|
74498d6d91
Some minor performance tweaks
|
8 rokov pred |
utils.alc
|
faac1abb01
Rename most read_nr_out to the more specific version: set_len, list_len, or dict_len
|
8 rokov pred |