Yentl Van Tendeloo 48942603ba Explicitly model the symbol checking algorithm 9 年之前
..
__init__.py d9337bf0d9 Added compile script in Python 9 年之前
bootstrap.py d26b213e74 Allow the Modelverse to process precompiled functions instead of the explicit one, if such a function is present 9 年之前
compilation_manager.alc 48942603ba Explicitly model the symbol checking algorithm 9 年之前
conformance_scd.alc 0083127eb6 Fixed tests again 9 年之前
constructors.alc 30a5399241 Fixed RPGame test: metamodel is now valid! 9 年之前
library.alc 3c49843b8d Small change to serve as proof of concept for the change of dict_read 9 年之前
metamodels.alc 18a81eaa73 Reinstated most constraints, except for the AL constraints on AL elements: takes too long to run 9 年之前
modelling.alc 95180d98c2 get_superclasses now returns the full set of superclasses, instead of only the direct superclasses 9 年之前
object_operations.alc 8ab906c727 Add two library functions and add constraints on all sides of the Tile 9 年之前
primitives.alc d26b213e74 Allow the Modelverse to process precompiled functions instead of the explicit one, if such a function is present 9 年之前