| .. |
|
90_core_formalism.mvc
|
da30f523ff
First attempt at hierarchy
|
%!s(int64=8) %!d(string=hai) anos |
|
99_core.mvc
|
dc67b0197f
Revert "Fully replace the old typing with the new explicit model"
|
%!s(int64=8) %!d(string=hai) anos |
|
__init__.py
|
5dcb6e648a
Added compile script in Python
|
%!s(int64=9) %!d(string=hai) anos |
|
bootstrap.py
|
b89f748bb9
Merge branch 'master' into testing
|
%!s(int64=8) %!d(string=hai) anos |
|
bottom.mvc
|
3c13fe62ba
Fix error in bottom formalism and add test for it
|
%!s(int64=8) %!d(string=hai) anos |
|
compiler.alc
|
9e66fda092
Fixed Modelverse with remote HUTN compiler
|
%!s(int64=8) %!d(string=hai) anos |
|
conformance_finding.alc
|
fa9a51c7cc
Fixed visualization in GUI
|
%!s(int64=7) %!d(string=hai) anos |
|
conformance_scd.alc
|
93c60c93b9
Split up type mapping and all operations on it
|
%!s(int64=8) %!d(string=hai) anos |
|
constructors.alc
|
4a31756fba
Move HUTN compilation to the Modelverse, instead of in the client
|
%!s(int64=8) %!d(string=hai) anos |
|
core_algorithm.alc
|
7a3c35e2fa
Cleaned up logs and added conformance_add function
|
%!s(int64=7) %!d(string=hai) anos |
|
initial_code_manager.alc
|
93c60c93b9
Split up type mapping and all operations on it
|
%!s(int64=8) %!d(string=hai) anos |
|
initial_code_task.alc
|
c474025c10
Added compiler code in bootstrap
|
%!s(int64=8) %!d(string=hai) anos |
|
io.alc
|
09e82bb330
Add missing bootstrap file
|
%!s(int64=8) %!d(string=hai) anos |
|
jit.alc
|
37dd973b33
Define JIT primitives
|
%!s(int64=8) %!d(string=hai) anos |
|
library.alc
|
7476d11930
Replaced all create_node calls to their data structure equivalents
|
%!s(int64=8) %!d(string=hai) anos |
|
manual.mvc
|
791d1db0a0
Fixed problem with manual operation having no MM
|
%!s(int64=8) %!d(string=hai) anos |
|
metamodels.alt
|
dc67b0197f
Revert "Fully replace the old typing with the new explicit model"
|
%!s(int64=8) %!d(string=hai) anos |
|
mini_modify.alc
|
7d7a5b50ab
Fixed set_difference and made some new operations/altered them for the GUI
|
%!s(int64=7) %!d(string=hai) anos |
|
model_management.alc
|
fa9a51c7cc
Fixed visualization in GUI
|
%!s(int64=7) %!d(string=hai) anos |
|
modelling.alc
|
3b73abefb4
Remove some prints
|
%!s(int64=7) %!d(string=hai) anos |
|
object_operations.alc
|
f1f4adf68a
Fix some bootstrap functions to make them usable for the GUI
|
%!s(int64=7) %!d(string=hai) anos |
|
pm.mvc
|
da5fa20b1a
Add keywords for model transformations (broken)
|
%!s(int64=8) %!d(string=hai) anos |
|
primitives.alc
|
9c93634f3b
Added is_error primitive
|
%!s(int64=8) %!d(string=hai) anos |
|
ramify.alc
|
9a5238a437
Merge branch 'master' into testing
|
%!s(int64=8) %!d(string=hai) anos |
|
random.alc
|
da72df1862
Fixed some strange constructions and mapped them to easier to understand ones
|
%!s(int64=8) %!d(string=hai) anos |
|
semi_primitives.alc
|
4eebd63e94
Fix difference between set_difference and set_subtract
|
%!s(int64=7) %!d(string=hai) anos |
|
services.alc
|
552b912104
Return empty port when service undefined
|
%!s(int64=8) %!d(string=hai) anos |
|
task_manager.alc
|
46dfcb1bc6
Fixed bootstrap file: everything loads
|
%!s(int64=8) %!d(string=hai) anos |
|
tracability.mvc
|
fa9a51c7cc
Fixed visualization in GUI
|
%!s(int64=7) %!d(string=hai) anos |
|
transform.alc
|
5ba3036883
Remove lots of logs
|
%!s(int64=8) %!d(string=hai) anos |
|
typing.alc
|
37d24fdc7a
Store retypes in the typing model immediately to allow for immediate use
|
%!s(int64=7) %!d(string=hai) anos |
|
utils.alc
|
7d7a5b50ab
Fixed set_difference and made some new operations/altered them for the GUI
|
%!s(int64=7) %!d(string=hai) anos |
Yentl Van Tendeloo
7a3c35e2fa
Cleaned up logs and added conformance_add function