.. |
90_core_formalism.mvc
|
da30f523ff
First attempt at hierarchy
|
8 år sedan |
99_core.mvc
|
bb2a79d396
Provide more opportunities for caching the results of model name resolution
|
8 år sedan |
__init__.py
|
5dcb6e648a
Added compile script in Python
|
9 år sedan |
bootstrap.py
|
9c3f4e0f1e
Remove loader and minor fixes
|
8 år sedan |
bottom.mvc
|
3c13fe62ba
Fix error in bottom formalism and add test for it
|
8 år sedan |
compiler.alc
|
7c16d5e733
Change behaviour of external model compilation
|
8 år sedan |
conformance_finding.alc
|
9c3f4e0f1e
Remove loader and minor fixes
|
8 år sedan |
conformance_scd.alc
|
93c60c93b9
Split up type mapping and all operations on it
|
8 år sedan |
constructors.alc
|
8f1ee523d7
Working AL compilation
|
8 år sedan |
core_algorithm.alc
|
fd4d8cde8d
Shift new type mappings to the typing file
|
8 år sedan |
initial_code_manager.alc
|
93c60c93b9
Split up type mapping and all operations on it
|
8 år sedan |
initial_code_task.alc
|
c474025c10
Added compiler code in bootstrap
|
8 år sedan |
io.alc
|
09e82bb330
Add missing bootstrap file
|
8 år sedan |
jit.alc
|
37dd973b33
Define JIT primitives
|
8 år sedan |
library.alc
|
7476d11930
Replaced all create_node calls to their data structure equivalents
|
8 år sedan |
manual.mvc
|
791d1db0a0
Fixed problem with manual operation having no MM
|
8 år sedan |
metamodels.alt
|
e4828596d2
Add bottom formalism (the nice way)
|
8 år sedan |
mini_modify.alc
|
bc6f4c5675
Fix for finding the bottom type
|
8 år sedan |
model_management.alc
|
93c60c93b9
Split up type mapping and all operations on it
|
8 år sedan |
modelling.alc
|
a54438ffa8
Minor tweaking of code using typing information
|
8 år sedan |
object_operations.alc
|
a54438ffa8
Minor tweaking of code using typing information
|
8 år sedan |
pm.mvc
|
da5fa20b1a
Add keywords for model transformations (broken)
|
8 år sedan |
primitives.alc
|
2baeead326
Change most set operations to dictionary operations: internal structure
|
8 år sedan |
ramify.alc
|
9a5238a437
Merge branch 'master' into testing
|
8 år sedan |
random.alc
|
da72df1862
Fixed some strange constructions and mapped them to easier to understand ones
|
8 år sedan |
semi_primitives.alc
|
a54438ffa8
Minor tweaking of code using typing information
|
8 år sedan |
services.alc
|
7476d11930
Replaced all create_node calls to their data structure equivalents
|
8 år sedan |
task_manager.alc
|
46dfcb1bc6
Fixed bootstrap file: everything loads
|
8 år sedan |
tracability.mvc
|
2b15a6871c
First step towards compiling models in the bootstrap file as well
|
8 år sedan |
transform.alc
|
854006d532
Make the cache in get_model_id work
|
8 år sedan |
typing.alc
|
fd4d8cde8d
Shift new type mappings to the typing file
|
8 år sedan |
utils.alc
|
5dfe2c511a
Make constructors work with a list internally, instead of relying on input()
|
8 år sedan |