Commit History

Author SHA1 Message Date
  Yentl Van Tendeloo 520b077bba Constrain the types of constructors further (Element --> Action) 9 years ago
  Yentl Van Tendeloo 291da53c21 Deduplicate names for constructors.alc and use operators 9 years ago
  Yentl Van Tendeloo f909fdb654 Use shorter variable names now that scopes exist 9 years ago
  Yentl Van Tendeloo ab394a5dbb Made conformance_scd a bit more readable and fixed some latent bugs in 9 years ago
  Yentl Van Tendeloo fb60fd7ac0 Compilation manager now uses nicer variable names and operators for some 9 years ago
  Yentl Van Tendeloo 516e99a5fb Minor order changes 9 years ago
  Yentl Van Tendeloo 36cf45eded Added possibility to do string appends through + operator (order of 9 years ago
  Yentl Van Tendeloo 0115001996 Allow Modelverse some time to start up completely 9 years ago
  Yentl Van Tendeloo 4362bb57ff Removed ugly print 9 years ago
  Yentl Van Tendeloo 80046e3680 Also ignore __pycache__ folders 9 years ago
  Yentl Van Tendeloo e044a1ddff Also ignore .dot files, as they are used as output for the internal 9 years ago
  Yentl Van Tendeloo d784b20530 Re-added file that was necessary 9 years ago
  Yentl Van Tendeloo 09901779c5 More user-friendly error messages when tests fail 9 years ago
  Yentl Van Tendeloo 558c86ac5b Move techreports to their own repository, as they aren't linked to the 9 years ago
  Yentl Van Tendeloo 735fadd0c7 Ignore .m files as well 9 years ago
  Yentl Van Tendeloo 02a7186ddb Removed old files that are never used 9 years ago
  Yentl Van Tendeloo 0a563afe39 Further extended gitignore; everything seems covered now 9 years ago
  Yentl Van Tendeloo ec2b66f5a2 Added .gitignore and remove some additional automatically generated 9 years ago
  Yentl Van Tendeloo 4e70c41c7e Added gitignore file and removed some more useless files 9 years ago
  Yentl Van Tendeloo e40b7f1c44 Removed some unnecessary files 9 years ago
  Yentl Van Tendeloo e527d9b485 Initial commit from svn 9 years ago