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