Skip to content

v0.3.0

Latest
Latest
Compare
Choose a tag to compare
@h0nzZik h0nzZik released this 28 Jun 13:05
· 46 commits to main since this release
v0.3.0
32e5715
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

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

Contributors

h0nzZik
Assets 2
Loading