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