 Yentl Van Tendeloo
|
428ef3c15e
Show warning message in MvS on duplicate keys
|
9 лет назад |
|
Yentl Van Tendeloo
|
88daa39abb
Stricter checking enforced on duplicate entries: do not redefine global symbol if already exists
|
9 лет назад |
|
Yentl Van Tendeloo
|
3dd3459abe
Add exception when adding multiple entries to the same dictionary using
|
9 лет назад |
|
Yentl Van Tendeloo
|
71b047c278
Semantics visitor no longer reasons about the global keyword either
|
9 лет назад |
|
Yentl Van Tendeloo
|
1a04c8f8b5
Removed the global keyword altogether
|
9 лет назад |
|
Yentl Van Tendeloo
|
94748e49a7
Further constrain types of conformance operations
|
9 лет назад |
|
Yentl Van Tendeloo
|
dd4f217e00
Use operators in pn_interface.alc
|
9 лет назад |
|
Yentl Van Tendeloo
|
e41cc0270d
Clean up files
|
9 лет назад |
|
Yentl Van Tendeloo
|
51c59b91aa
Cleaning object_operations
|
9 лет назад |
|
Yentl Van Tendeloo
|
43b8148c79
Fix variable names in library.alc
|
9 лет назад |
|
Yentl Van Tendeloo
|
949d8d78dc
Constrain the types of constructors further (Element --> Action)
|
9 лет назад |
|
Yentl Van Tendeloo
|
4005e9459f
Deduplicate names for constructors.alc and use operators
|
9 лет назад |
|
Yentl Van Tendeloo
|
f16ea4b8bb
Use shorter variable names now that scopes exist
|
9 лет назад |
|
Yentl Van Tendeloo
|
c18fc802c0
Made conformance_scd a bit more readable and fixed some latent bugs in
|
9 лет назад |
|
Yentl Van Tendeloo
|
b5631b9213
Compilation manager now uses nicer variable names and operators for some
|
9 лет назад |
|
Yentl Van Tendeloo
|
3b8ef62dfd
Minor order changes
|
9 лет назад |
|
Yentl Van Tendeloo
|
a8ec4ff36a
Added possibility to do string appends through + operator (order of
|
9 лет назад |
|
Yentl Van Tendeloo
|
59608d87b0
Allow Modelverse some time to start up completely
|
9 лет назад |
|
Yentl Van Tendeloo
|
2eeb22ebe4
Removed ugly print
|
9 лет назад |
|
Yentl Van Tendeloo
|
1abef9e064
Also ignore __pycache__ folders
|
9 лет назад |
|
Yentl Van Tendeloo
|
d1258b78ec
Also ignore .dot files, as they are used as output for the internal
|
9 лет назад |
|
Yentl Van Tendeloo
|
5a165d8855
Re-added file that was necessary
|
9 лет назад |
|
Yentl Van Tendeloo
|
54bd7d857e
More user-friendly error messages when tests fail
|
9 лет назад |
|
Yentl Van Tendeloo
|
a8381298f9
Move techreports to their own repository, as they aren't linked to the
|
9 лет назад |
|
Yentl Van Tendeloo
|
9f4467df29
Ignore .m files as well
|
9 лет назад |
|
Yentl Van Tendeloo
|
46c02bde2a
Removed old files that are never used
|
9 лет назад |
|
Yentl Van Tendeloo
|
0a7b31bda3
Further extended gitignore; everything seems covered now
|
9 лет назад |
|
Yentl Van Tendeloo
|
7a29367f9f
Added .gitignore and remove some additional automatically generated
|
9 лет назад |
|
Yentl Van Tendeloo
|
703e2ac4d5
Added gitignore file and removed some more useless files
|
9 лет назад |
|
Yentl Van Tendeloo
|
c83866b48f
Removed some unnecessary files
|
9 лет назад |
