Started 4 yr 2 mo ago
Took 15 sec on master

Success Build #134 (Nov 15, 2016 2:45:22 PM)

  1. Inserting explicit cast necessary for ATmega target.  Because of a fluke (commit: 2d2f3b5) (details / githubweb)
  2. fixed #50 (commit: e23e8f0) (details / githubweb)
  3. Improvement to number operations so that the largest type gets returned (commit: 6fd06c9) (details / githubweb)
  4. Fixed tests in accordance with reduced maximal type change. (commit: 79015eb) (details / githubweb)
  5. Maximal type fix for vdmMod. (commit: ad34906) (details / githubweb)

Started by GitHub push by peterwvj

Revision: ad349061706ddec89a8cdf69da07b541c10296cf
  • refs/remotes/origin/development