Skip to content

v2.0.0
Compare
Choose a tag to compare
@sillydan1 sillydan1 released this 19 Sep 20:08
· 104 commits to main since this release
v2.0.0
d3df7d1

v2.0.0 - 2022-09-19

Compare with v1.7.0

Bug Fixes

  • Warning about not returning at the end of a non-void function (4e6ea47 by Asger Gitz-Johansen).
  • Mingw pipeline (de346ee by Asger Gitz-Johansen).
  • Fixing gcc-related compilation issues (859f8f3 by Asger Gitz-Johansen).
  • Symbol_table_t now contains delay information (6ef9e08 by Asger Gitz-Johansen).
  • Z3 bug where known variables were interpreted as "known" (f3430b0 by Asger Gitz-Johansen).
  • Move driver.h into include directory (43ecd13 by Asger Gitz-Johansen).
  • Fixed identifier bug in the z3_driver (f2e6fbd by Asger Gitz-Johansen).

Code Refactoring

  • Identifiers are now stored as a string instead of a iterator (c6dae37 by Asger Gitz-Johansen).

Features

  • Add special case in z3_driver for clocks (92806fa by Asger Gitz-Johansen).
  • Add c++ comparator operators for symbol_value_t (29cbe74 by Asger Gitz-Johansen).
  • Add support for delayable clock types (a6aae17 by Asger Gitz-Johansen).
Assets 2
Loading