提交歷史

作者 SHA1 備註 提交日期
  Joeri Exelmans 53b32dcc5d Update description of Priority implementation with latest advances in SCCD's code. 5 年之前
  Joeri Exelmans a919c66f3c Add table with overview of semantic options supported in SCCD. 5 年之前
  Joeri Exelmans 15f40b5355 Explain priority implementation does not detect non-total orderings + remove footnote + more future work 5 年之前
  Joeri Exelmans 7a6f171eb0 Punctuation stuff 5 年之前
  Joeri Exelmans ec094af3ea Added acknowledgements 5 年之前
  Joeri Exelmans 805158dfcb Added Prout's CGG and Template Semantics to Related Work. Small edits. 5 年之前
  Joeri Exelmans 09a4e244c7 More background on priority semantics, including references to Statemate, Rhapsody and ROOM. 5 年之前
  Joeri Exelmans 65f0087a1a Added citation of ROOM language. Small edits. 5 年之前
  Joeri Exelmans 5886922a88 Added background/BSML section on queueing of internal events. Added references to Rhapsody. Re-wrote part on priority implementation. Fixed casing of references. 5 年之前
  Joeri Exelmans 533b3374c7 Add captions to all figures. Remove old titlesec.sty 5 年之前
  Joeri Exelmans adbfc65b4d Add gitignore 5 年之前
  Joeri Exelmans 116a8e5500 Initial commit 5 年之前