sillydan1 / expr

Simple variable and environment manipulation language

MIT License

1 stars 0 forks source link

Compilation & z3 integration #7

Closed sillydan1 closed 2 years ago

sillydan1 commented 2 years ago

Version 1.4.0

Changes

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

sillydan1 commented 2 years ago

Also, missing License notice in source files