Halaman utama Jelajahi Bantuan
Masuk
tpinna
/
modelverse-thomas
ter-fork dari yentl/modelverse
Liatin 2
Bintangi 0
Fork 0
Berkas

fork of the modelverse

Cabang: SearchStateCopyAll
Ranting Tag
modelverse-t...
ZIP TAR.GZ
tpinna 334f3df640 fixed previously semantically incorrect LHS and NAC combiner 10 tahun lalu
bootstrap f8bf670970 implemented a timeprimitive for the modelverse 10 tahun lalu
hybrid_server 80c5157715 Make ports flexible and no longer restricted to 8001: mostly updated tests for this 10 tahun lalu
integration 334f3df640 fixed previously semantically incorrect LHS and NAC combiner 10 tahun lalu
interface f8bf670970 implemented a timeprimitive for the modelverse 10 tahun lalu
kernel f8bf670970 implemented a timeprimitive for the modelverse 10 tahun lalu
state 0a24037711 First few changes to make Modelverse without primitive type hierarchy 10 tahun lalu
.gitignore 125c5a44bf Add new tests for the constructor 10 tahun lalu
AL.dot ac256891ac Most parts of metamodel are there 10 tahun lalu
compile.sh 80c5157715 Make ports flexible and no longer restricted to 8001: mostly updated tests for this 10 tahun lalu
fix_linux.sh 125c5a44bf Add new tests for the constructor 10 tahun lalu
fix_windows.bat 7a29367f9f Added .gitignore and remove some additional automatically generated 10 tahun lalu
flush_compiler_caches.sh 16aea7da03 Initial commit from svn 10 tahun lalu
generate_bootstrap.sh 16aea7da03 Initial commit from svn 10 tahun lalu
library.sh 16aea7da03 Initial commit from svn 10 tahun lalu
link_and_load.sh 80c5157715 Make ports flexible and no longer restricted to 8001: mostly updated tests for this 10 tahun lalu
make_all.sh 80c5157715 Make ports flexible and no longer restricted to 8001: mostly updated tests for this 10 tahun lalu
make_parallel.sh 80c5157715 Make ports flexible and no longer restricted to 8001: mostly updated tests for this 10 tahun lalu
prompt.py 2fda6044b0 New metamodel is merged in and basic conformance checks seem to work 10 tahun lalu
run_local_modelverse.bat 16aea7da03 Initial commit from svn 10 tahun lalu
run_local_modelverse.sh 80c5157715 Make ports flexible and no longer restricted to 8001: mostly updated tests for this 10 tahun lalu
run_modelverse.sh 16aea7da03 Initial commit from svn 10 tahun lalu
run_tests.bat 16aea7da03 Initial commit from svn 10 tahun lalu
run_tests.sh 16aea7da03 Initial commit from svn 10 tahun lalu
unfix_linux.sh 7a29367f9f Added .gitignore and remove some additional automatically generated 10 tahun lalu