Yentl Van Tendeloo 42bec84f2d Fixed various problems; test passes again преди 8 години
..
90_core_formalism.mvc 93c60c93b9 Split up type mapping and all operations on it преди 8 години
99_core.mvc 93c60c93b9 Split up type mapping and all operations on it преди 8 години
__init__.py 5dcb6e648a Added compile script in Python преди 9 години
bootstrap.py 544c08519b Lots of fixes to the new set representation преди 8 години
bottom.mvc e4828596d2 Add bottom formalism (the nice way) преди 8 години
conformance_finding.alc 42bec84f2d Fixed various problems; test passes again преди 8 години
conformance_scd.alc 93c60c93b9 Split up type mapping and all operations on it преди 8 години
constructors.alc ba7c9a43c0 Clean patch преди 8 години
core_algorithm.alc 42bec84f2d Fixed various problems; test passes again преди 8 години
initial_code_manager.alc 93c60c93b9 Split up type mapping and all operations on it преди 8 години
initial_code_task.alc 3c6cdfc184 Update compiler to use the tree for hashing, instead of the file contents преди 8 години
io.alc 09e82bb330 Add missing bootstrap file преди 8 години
jit.alc 37dd973b33 Define JIT primitives преди 8 години
library.alc 7476d11930 Replaced all create_node calls to their data structure equivalents преди 8 години
manual.mvc 791d1db0a0 Fixed problem with manual operation having no MM преди 8 години
metamodels.alt e4828596d2 Add bottom formalism (the nice way) преди 8 години
mini_modify.alc 93c60c93b9 Split up type mapping and all operations on it преди 8 години
model_management.alc 93c60c93b9 Split up type mapping and all operations on it преди 8 години
modelling.alc 23524607f0 Remove types again from type mapping, to prevent false entries in allInstances преди 8 години
object_operations.alc 93c60c93b9 Split up type mapping and all operations on it преди 8 години
pm.mvc da5fa20b1a Add keywords for model transformations (broken) преди 8 години
primitives.alc 2baeead326 Change most set operations to dictionary operations: internal structure преди 8 години
ramify.alc 9a5238a437 Merge branch 'master' into testing преди 8 години
random.alc da72df1862 Fixed some strange constructions and mapped them to easier to understand ones преди 8 години
semi_primitives.alc 42bec84f2d Fixed various problems; test passes again преди 8 години
services.alc 7476d11930 Replaced all create_node calls to their data structure equivalents преди 8 години
task_manager.alc 46dfcb1bc6 Fixed bootstrap file: everything loads преди 8 години
tracability.mvc 2b15a6871c First step towards compiling models in the bootstrap file as well преди 8 години
transform.alc 23524607f0 Remove types again from type mapping, to prevent false entries in allInstances преди 8 години
typing.alc 42bec84f2d Fixed various problems; test passes again преди 8 години
utils.alc 5dfe2c511a Make constructors work with a list internally, instead of relying on input() преди 8 години