Skip to content

v1.5.0
Compare
Choose a tag to compare
@sillydan1 sillydan1 released this 20 Jul 17:55
· 137 commits to main since this release
v1.5.0
6a5f79f
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.

What's Changed

  • Add implication (=>) operator by @sillydan1 in #8
  • Add modulo (%) operator by @sillydan1 in #6
  • Add default symbol initialization in declarations by @sillydan1 in #4
  • Compilation and z3 integration by @sillydan1 in #7
    • Add compilation support
      • you can now compile to tree structures with the expr::compiler driver
      • These tree structures can be interpreted via the expr::interpreter driver
    • Add z3 integration via the expr::z3_driver driver
    • Moved all header files relating to operators back into src directory. They are not supposed to be used by clients
    • Put all elements of the library into the expr:: namespace

Bug Fixes

  • Fix shift-reduce and operator precedence problems in the grammar by @sillydan1 in #5

Full Changelog: v1.2.0...v1.5.0

Contributors

sillydan1
Assets 2
Loading