Historie revizí

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