This repository has been archived by the owner on Mar 2, 2020. It is now read-only.
Releases: junkerm/specmate
Releases · junkerm/specmate
v0.3.1-dev-6
version bump
v0.3.1-rc-1
Merge branch 'fix-use-proc-name-in-export' into 0.3.1-rc
v0.3.1-dev-4
update bndrun files
v0.3.1-dev-3
Merge pull request #449 from junkerm/fix/flaky-tests Fix/flaky tests
v0.3-fix-1
disable oracle build
v0.3.1-dev-2
update travis file
v0.3.1-dev-1
adapt travis file