Skip to content

Release 1.7.0
Compare
Choose a tag to compare
@mmcgr mmcgr released this 29 Nov 06:11
1.7.0
1da3515
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
  • Rewrote Interpreter for enhanced performance (XiaowenHu96,HerbertJordan)
  • Add SWIG interface (detljh,chadgavin,honghyw)
  • Improved C++ interface and documentation (detljh,chadgavin,honghyw)
  • C++ interface allows specification of thread count (mmcgr)
  • Added RAM analysis to debug report (b-scholz)
  • New provenance instrumentation storing subproof heights (ssallinger)
  • Compiles with MSVC (brianfairservice)
  • Provenance interface supports querying results (yuli6313)
  • Removed mpi support
  • C++17 used for synthesised code
  • Performance enhancements
  • Bug fixes
Assets 6
Loading