Skip to content
[Jenkins]Jenkins
log in
Started 2 yr 10 mo ago
Took 7 min 39 sec

Build #9 (Jun 8, 2021, 12:36:13 PM)

Build Artifacts
MLS.pdf3.38 MB view
MLS.tar.gz2.14 MB view
Changes
  1. Generalize previous commit to also cover 'guessPriority' in the same way (details / githubweb)
  2. No, record constructor names in second argument of 'guess' are not redundant (details / githubweb)
  3. Distinguish between continuous-time and discrete-time syntactic sugar (details / githubweb)

Pull request #2748 updated at 12:35:58 PM on Jun 8, 2021

Revision: 7000abda3958f97b882fce32e4747a8b2bbc3faa
Repository: https://github.com/modelica/ModelicaSpecification.git
  • PR-2748