| .. |
|
90_core_formalism.mvc
|
93c60c93b9
Split up type mapping and all operations on it
|
vor 8 Jahren |
|
99_core.mvc
|
93c60c93b9
Split up type mapping and all operations on it
|
vor 8 Jahren |
|
__init__.py
|
5dcb6e648a
Added compile script in Python
|
vor 9 Jahren |
|
bootstrap.py
|
544c08519b
Lots of fixes to the new set representation
|
vor 8 Jahren |
|
bottom.mvc
|
e4828596d2
Add bottom formalism (the nice way)
|
vor 8 Jahren |
|
conformance_finding.alc
|
93c60c93b9
Split up type mapping and all operations on it
|
vor 8 Jahren |
|
conformance_scd.alc
|
93c60c93b9
Split up type mapping and all operations on it
|
vor 8 Jahren |
|
constructors.alc
|
5dfe2c511a
Make constructors work with a list internally, instead of relying on input()
|
vor 8 Jahren |
|
core_algorithm.alc
|
93c60c93b9
Split up type mapping and all operations on it
|
vor 8 Jahren |
|
initial_code_manager.alc
|
93c60c93b9
Split up type mapping and all operations on it
|
vor 8 Jahren |
|
initial_code_task.alc
|
3c6cdfc184
Update compiler to use the tree for hashing, instead of the file contents
|
vor 8 Jahren |
|
io.alc
|
09e82bb330
Add missing bootstrap file
|
vor 8 Jahren |
|
jit.alc
|
37dd973b33
Define JIT primitives
|
vor 8 Jahren |
|
library.alc
|
7476d11930
Replaced all create_node calls to their data structure equivalents
|
vor 8 Jahren |
|
metamodels.alt
|
e4828596d2
Add bottom formalism (the nice way)
|
vor 8 Jahren |
|
mini_modify.alc
|
93c60c93b9
Split up type mapping and all operations on it
|
vor 8 Jahren |
|
model_management.alc
|
93c60c93b9
Split up type mapping and all operations on it
|
vor 8 Jahren |
|
modelling.alc
|
93c60c93b9
Split up type mapping and all operations on it
|
vor 8 Jahren |
|
object_operations.alc
|
93c60c93b9
Split up type mapping and all operations on it
|
vor 8 Jahren |
|
pm.mvc
|
da5fa20b1a
Add keywords for model transformations (broken)
|
vor 8 Jahren |
|
primitives.alc
|
2baeead326
Change most set operations to dictionary operations: internal structure
|
vor 8 Jahren |
|
ramify.alc
|
9a5238a437
Merge branch 'master' into testing
|
vor 8 Jahren |
|
random.alc
|
da72df1862
Fixed some strange constructions and mapped them to easier to understand ones
|
vor 8 Jahren |
|
semi_primitives.alc
|
5dfe2c511a
Make constructors work with a list internally, instead of relying on input()
|
vor 8 Jahren |
|
services.alc
|
7476d11930
Replaced all create_node calls to their data structure equivalents
|
vor 8 Jahren |
|
task_manager.alc
|
46dfcb1bc6
Fixed bootstrap file: everything loads
|
vor 8 Jahren |
|
tracability.mvc
|
2b15a6871c
First step towards compiling models in the bootstrap file as well
|
vor 8 Jahren |
|
transform.alc
|
00776cd9f4
Updated Addis' file
|
vor 8 Jahren |
|
typing.alc
|
93c60c93b9
Split up type mapping and all operations on it
|
vor 8 Jahren |
|
utils.alc
|
5dfe2c511a
Make constructors work with a list internally, instead of relying on input()
|
vor 8 Jahren |
Yentl Van Tendeloo
5dfe2c511a
Make constructors work with a list internally, instead of relying on input()