Code repository for master thesis about example-driven DSML design http://msdl.cs.mcgill.ca/people/lucas

Yentl Van Tendeloo a2d1291d36 Further constrain types of conformance operations 9 年之前
bootstrap 35669917c4 Clean up files 9 年之前
hybrid_server 09901779c5 More user-friendly error messages when tests fail 9 年之前
integration bc7da652de Use operators in pn_interface.alc 9 年之前
interface a2d1291d36 Further constrain types of conformance operations 9 年之前
kernel e527d9b485 Initial commit from svn 9 年之前
state e527d9b485 Initial commit from svn 9 年之前
.gitignore 80046e3680 Also ignore __pycache__ folders 9 年之前
compile.sh e527d9b485 Initial commit from svn 9 年之前
fix_linux.sh ec2b66f5a2 Added .gitignore and remove some additional automatically generated 9 年之前
fix_windows.bat ec2b66f5a2 Added .gitignore and remove some additional automatically generated 9 年之前
flush_compiler_caches.sh e527d9b485 Initial commit from svn 9 年之前
generate_bootstrap.sh e527d9b485 Initial commit from svn 9 年之前
library.sh e527d9b485 Initial commit from svn 9 年之前
link_and_load.sh e527d9b485 Initial commit from svn 9 年之前
make_all.sh e527d9b485 Initial commit from svn 9 年之前
make_parallel.sh e527d9b485 Initial commit from svn 9 年之前
prompt.py d784b20530 Re-added file that was necessary 9 年之前
run_local_modelverse.bat e527d9b485 Initial commit from svn 9 年之前
run_local_modelverse.sh e527d9b485 Initial commit from svn 9 年之前
run_modelverse.sh e527d9b485 Initial commit from svn 9 年之前
run_tests.bat e527d9b485 Initial commit from svn 9 年之前
run_tests.sh e527d9b485 Initial commit from svn 9 年之前
unfix_linux.sh ec2b66f5a2 Added .gitignore and remove some additional automatically generated 9 年之前