Skip to content

v1.0

Latest
Latest

Choose a tag to compare

View all tags
@mikhirurg mikhirurg released this 09 Jul 23:51
v1.0
0067ec1
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

The first release of the DerivationTreeBuilder:

  • Building derivation trees for While programs
  • Representing the trees in ASCII and LateX formats
Assets 3
Loading