Skip to content

v3.19.1
Compare
Choose a tag to compare
@ivanperez-keera ivanperez-keera released this 08 May 07:46
· 164 commits to master since this release
v3.19.1
9e4b1cb

copilot

  • Version bump (3.19.1). (#512)

copilot-core

  • Version bump (3.19.1). (#512)

copilot-c99

  • Version bump (3.19.1). (#512)

copilot-interpreter

  • Version bump (3.19.1). (#512)

copilot-language

  • Version bump (3.19.1). (#512)

copilot-libraries

  • Version bump (3.19.1). (#512)

copilot-prettyprinter

  • Version bump (3.19.1). (#512)

copilot-theorem

  • Version bump (3.19.1). (#512)
  • Fix handling of unsatisfiable properties with Kind2. (#495)
  • Remove outdated details from README. (#452)

Full Changelog: v3.19...v3.19.1

Assets 2
Loading