v0.3.0

What's Changed

• A 'textbook' unification algorithm by @h0nzZik in #11
• Finish the textbook unification and separate its interface. by @h0nzZik in #12
• A specification of symbolic execution and first steps towards an implementation by @h0nzZik in #13
• doc: on transparency and opacity of built-in values by @h0nzZik in #14
• magic nix cache by @h0nzZik in #15
• Build a Docker image by @h0nzZik in #16
• try uploading docker container by @h0nzZik in #17
• fix docker image tag command by @h0nzZik in #18
• Another Symbolic Execution Lemma by @h0nzZik in #19
• Towards concrete syntax parser integration by @h0nzZik in #20
• Cleanup by @h0nzZik in #21

Full Changelog: v0.2.1...v0.3.0

v0.2.1

What's Changed

• minuska native 2 coq benchmarks by @h0nzZik in #9

Version 0.2.0

What's Changed

• Update ideas.md by @h0nzZik in #6
• Vagrant, Dune, opam, doc by @h0nzZik in #7
• Consistent version information by @h0nzZik in #8

Full Changelog: fm24-submission...v0.2.0

0.1-pre

This is a pre-release of version 0.1 of Minuska semantic framework.