 Yentl Van Tendeloo
|
a24a972a9a
Show warning message in MvS on duplicate keys
|
преди 9 години |
|
Yentl Van Tendeloo
|
1262b06214
Stricter checking enforced on duplicate entries: do not redefine global symbol if already exists
|
преди 9 години |
|
Yentl Van Tendeloo
|
fefc09cad9
Add exception when adding multiple entries to the same dictionary using
|
преди 9 години |
|
Yentl Van Tendeloo
|
e11aeba370
Semantics visitor no longer reasons about the global keyword either
|
преди 9 години |
|
Yentl Van Tendeloo
|
a063055f90
Removed the global keyword altogether
|
преди 9 години |
|
Yentl Van Tendeloo
|
a2d1291d36
Further constrain types of conformance operations
|
преди 9 години |
|
Yentl Van Tendeloo
|
bc7da652de
Use operators in pn_interface.alc
|
преди 9 години |
|
Yentl Van Tendeloo
|
35669917c4
Clean up files
|
преди 9 години |
|
Yentl Van Tendeloo
|
0592c8fe7b
Cleaning object_operations
|
преди 9 години |
|
Yentl Van Tendeloo
|
4792f0579a
Fix variable names in library.alc
|
преди 9 години |
|
Yentl Van Tendeloo
|
520b077bba
Constrain the types of constructors further (Element --> Action)
|
преди 9 години |
|
Yentl Van Tendeloo
|
291da53c21
Deduplicate names for constructors.alc and use operators
|
преди 9 години |
|
Yentl Van Tendeloo
|
f909fdb654
Use shorter variable names now that scopes exist
|
преди 9 години |
|
Yentl Van Tendeloo
|
ab394a5dbb
Made conformance_scd a bit more readable and fixed some latent bugs in
|
преди 9 години |
|
Yentl Van Tendeloo
|
fb60fd7ac0
Compilation manager now uses nicer variable names and operators for some
|
преди 9 години |
|
Yentl Van Tendeloo
|
516e99a5fb
Minor order changes
|
преди 9 години |
|
Yentl Van Tendeloo
|
36cf45eded
Added possibility to do string appends through + operator (order of
|
преди 9 години |
|
Yentl Van Tendeloo
|
0115001996
Allow Modelverse some time to start up completely
|
преди 9 години |
|
Yentl Van Tendeloo
|
4362bb57ff
Removed ugly print
|
преди 9 години |
|
Yentl Van Tendeloo
|
80046e3680
Also ignore __pycache__ folders
|
преди 9 години |
|
Yentl Van Tendeloo
|
e044a1ddff
Also ignore .dot files, as they are used as output for the internal
|
преди 9 години |
|
Yentl Van Tendeloo
|
d784b20530
Re-added file that was necessary
|
преди 9 години |
|
Yentl Van Tendeloo
|
09901779c5
More user-friendly error messages when tests fail
|
преди 9 години |
|
Yentl Van Tendeloo
|
558c86ac5b
Move techreports to their own repository, as they aren't linked to the
|
преди 9 години |
|
Yentl Van Tendeloo
|
735fadd0c7
Ignore .m files as well
|
преди 9 години |
|
Yentl Van Tendeloo
|
02a7186ddb
Removed old files that are never used
|
преди 9 години |
|
Yentl Van Tendeloo
|
0a563afe39
Further extended gitignore; everything seems covered now
|
преди 9 години |
|
Yentl Van Tendeloo
|
ec2b66f5a2
Added .gitignore and remove some additional automatically generated
|
преди 9 години |
|
Yentl Van Tendeloo
|
4e70c41c7e
Added gitignore file and removed some more useless files
|
преди 9 години |
|
Yentl Van Tendeloo
|
e40b7f1c44
Removed some unnecessary files
|
преди 9 години |
