Skip to content

Releases: shonfeder/um-abt

0.1.7

04 Oct 00:17
@shonfeder shonfeder
v0.1.7
2b3860b
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.
Compare
Choose a tag to compare
0.1.7 Latest
Latest

CHANGES:

  • Add s-expression representation of UABTs (See #3)
Assets 3
Loading

0.1.6

31 Aug 00:35
@shonfeder shonfeder
v0.1.6
e121a8d
This commit was signed with the committer’s verified signature.
shonfeder Shon Feder
GPG key ID: 9860045825A0D745
Learn about vigilant mode.
Compare
Choose a tag to compare
0.1.6

CHANGES:

  • Improve documentation
Assets 3
Loading

0.1.5

24 Aug 10:57
@shonfeder shonfeder
v0.1.5
71f39b1
This commit was signed with the committer’s verified signature.
shonfeder Shon Feder
GPG key ID: 9860045825A0D745
Learn about vigilant mode.
Compare
Choose a tag to compare
0.1.5

CHANGES:

  • Fix bug in ɑ-equivalence algorithm (See f89271)
Assets 3
Loading

0.1.4

21 Aug 03:45
@shonfeder shonfeder
v0.1.4
6bd393a
This commit was signed with the committer’s verified signature.
shonfeder Shon Feder
GPG key ID: 9860045825A0D745
Learn about vigilant mode.
Compare
Choose a tag to compare
0.1.4

CHANGES:

  • Add conflict with result < 1.5
  • Remove lower bound on ocaml compiler
  • Add Syntax signature
  • Fix nominal unification
  • Fix cyclic term detection
Assets 3
Loading

0.1.3

16 Aug 03:39
@shonfeder shonfeder
v0.1.3
18284ee
This commit was signed with the committer’s verified signature.
shonfeder Shon Feder
GPG key ID: 9860045825A0D745
Learn about vigilant mode.
Compare
Choose a tag to compare
0.1.3

CHANGES:

  • Put lower bound of 4.08.0 on ocaml compiler
Assets 3
Loading

0.1.2

16 Aug 03:01
@shonfeder shonfeder
v0.1.2
8d243f3
This commit was signed with the committer’s verified signature.
shonfeder Shon Feder
GPG key ID: 9860045825A0D745
Learn about vigilant mode.
Compare
Choose a tag to compare
0.1.2

CHANGES:

  • Fix missing logs dependency
  • Fix documentation of =.= operator
Assets 3
Loading

0.1.1

16 Aug 02:28
@shonfeder shonfeder
v0.1.1
e3d4b1f
This commit was signed with the committer’s verified signature.
shonfeder Shon Feder
GPG key ID: 9860045825A0D745
Learn about vigilant mode.
Compare
Choose a tag to compare
0.1.1

CHANGES:

  • Fix binding constructor bug
  • Fix build failure
  • Fix missing dependencies
Assets 3
Loading

v0.1.0

16 Aug 01:21
@shonfeder shonfeder
v0.1.0
94ec569
This commit was signed with the committer’s verified signature.
shonfeder Shon Feder
GPG key ID: 9860045825A0D745
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.1.0

CHANGES:

  • Initial release
Assets 3
Loading