Skip to content

Releases: mit-plv/rupicola

v0.0.10

22 Apr 14:05
a85c012
Compare
Choose a tag to compare
v0.0.10 Pre-release
Pre-release

v0.0.9

19 Mar 14:27
7259f52
Compare
Choose a tag to compare
v0.0.9 Pre-release
Pre-release
Merge pull request #103 from mit-plv/dependabot/submodules/bedrock2-0…

v0.0.7

31 Mar 22:37
Compare
Choose a tag to compare
v0.0.7 Pre-release
Pre-release

For Coq Platform 8.17 beta.

Rupicola v0.0.6

14 Oct 07:38
Compare
Choose a tag to compare
Rupicola v0.0.6 Pre-release
Pre-release

A pre-release tag for use with Fiat Cryptography v0.0.16 and a non-dev opam package

What's Changed

  • build(deps): bump bedrock2 from c9ed329 to b82ce36 by @dependabot in #68

Full Changelog: v0.0.5...v0.0.6

Rupicola v0.0.5

02 Oct 11:34
Compare
Choose a tag to compare
Rupicola v0.0.5 Pre-release
Pre-release

A pre-release tag for use with Fiat Cryptography v0.0.15 and a non-dev opam package

What's Changed

New Contributors

Full Changelog: v0.0.4...v0.0.5

Rupicola v0.0.4

30 Mar 18:22
0b67e4f
Compare
Choose a tag to compare
Rupicola v0.0.4 Pre-release
Pre-release

A pre-release tag for use with Fiat Cryptography v0.0.13 and a non-dev opam package

What's Changed

  • Bump bedrock2 for riscv-coq EXTERNAL_COQUTIL=1 by @JasonGross in #56
  • Use find for .v files when building without git by @JasonGross in #55

Full Changelog: v0.0.3...v0.0.4

Rupicola v0.0.3

29 Mar 18:55
Compare
Choose a tag to compare
Rupicola v0.0.3 Pre-release
Pre-release

A pre-release tag for use with Fiat Cryptography v0.0.12 and a non-dev opam package

Full Changelog: v0.0.2...v0.0.3

Rupicola v0.0.2

29 Mar 16:40
Compare
Choose a tag to compare
Rupicola v0.0.2 Pre-release
Pre-release

A pre-release tag for use with Fiat Cryptography v0.0.12 and a non-dev opam package

What's Changed

Full Changelog: v0.0.1...v0.0.2

Rupicola v0.0.1

22 Mar 17:46
Compare
Choose a tag to compare
Rupicola v0.0.1 Pre-release
Pre-release

A pre-release tag for use with Fiat Cryptography v0.0.12 and a non-dev opam package.