Up
collapse
99%
WDescription%
Test Result: 4 tests failing out of a total of 1,906 tests.99
Build stability: No recent builds failed.100
Build History
x
 593 KB
 577 KB

Changes

#165 (Oct 17, 2019 12:04:38 PM)

  1. [maven-release-plugin] prepare release Release/2.7.2 (commit: 9a86d2e) — Peter W. V. Tran-Jørgensen / detail
  2. [maven-release-plugin] prepare for next development iteration (commit: 2412c37) — Peter W. V. Tran-Jørgensen / detail
  3. Fix bug with import type mismatch with export (commit: 03c6582) — nick.battle / detail
  4. Suppress details as well as messages in VDMError when suspended (commit: b652fba) — nick.battle / detail
  5. Fix min_/max_ functions, fixes #706 (commit: c354db8) — nick.battle / detail