Skip to content

v3.17
Compare
Choose a tag to compare
@ivanperez-keera ivanperez-keera released this 08 Nov 00:33
· 195 commits to master since this release
v3.17
cfc565b

copilot

  • Version bump (3.17). (#466)
  • Replace uses of deprecated functions. (#457)
  • Fix typo in README. (#459)

copilot-c99

  • Version bump (3.17). (#466)
  • Replace uses of deprecated functions. (#457)

copilot-core

  • Version bump (3.17). (#466)
  • Compliance with style guide. (#457)

copilot-interpreter

  • Version bump (3.17). (#466)
  • Replace uses of deprecated functions. (#457)

copilot-language

  • Version bump (3.17). (#466)

copilot-libraries

  • Version bump (3.17). (#466)

copilot-prettyprinter

  • Version bump (3.17). (#466)
  • Replace uses of deprecated functions. (#457)

copilot-theorem

  • Version bump (3.17). (#466)
  • Relax version constraint on what4. (#461)
  • Replace uses of deprecated functions. (#457)
Assets 2
Loading