Started 5 mo 28 days ago
Took 11 sec on master

Success Build The VDM parser (Feb 12, 2020 7:04:39 PM)

  1. Correct specification statement parse, fixes #708 (commit: 98065ea) (details)
  2. Add annotations.debug property to debug annotation parsing (commit: b94246e) (details)
  3. Fix #ifdef processing and move to properties, fixes #710 (commit: 3ce9276) (details)
  4. Add checks for reserved word prefixes in definition names, fixes #711 (commit: 348313a) (details)
  5. Allow renamed function imports to use reserved prefixes, fixes #711 (commit: 0f7f4cf) (details)
  6. Added #ifndef processing to LatexStreamReader (commit: 59da932) (details)
  7. Correction to seq comprehensions to use "bind", see #692 (commit: 699e976) (details)
Task Scanner: 2 open tasks in 49 workspace files.
    Test Result (no failures)