Skip to content

Releases: imandra-ai/ocaml-tracy

0.4

06 Dec 15:20
@c-cube c-cube
v0.4
f7f4c27
This commit was signed with the committer’s verified signature.
c-cube Simon Cruanes
GPG key ID: EBFFF6F283F3A2B4
Learn about vigilant mode.
Compare
Choose a tag to compare
0.4 Latest
Latest

CHANGES:

  • update for trace 0.3
  • fix: truncate messages that are too long
Assets 3

0.3

11 Oct 18:50
@c-cube c-cube
v0.3
f548ede
This commit was signed with the committer’s verified signature.
c-cube Simon Cruanes
GPG key ID: EBFFF6F283F3A2B4
Learn about vigilant mode.
Compare
Choose a tag to compare
0.3

CHANGES:

  • update for trace 0.3
  • fix: truncate messages that are too long
Assets 3

0.2

09 Aug 20:50
@c-cube c-cube
0.2
fac7e8f
This commit was signed with the committer’s verified signature.
c-cube Simon Cruanes
GPG key ID: EBFFF6F283F3A2B4
Learn about vigilant mode.
Compare
Choose a tag to compare
0.2

CHANGES:

  • update for trace 0.3
  • fix: truncate messages that are too long
Assets 3

0.1

10 Jun 23:35
@c-cube c-cube
v0.1
74116b3
This commit was signed with the committer’s verified signature.
c-cube Simon Cruanes
GPG key ID: EBFFF6F283F3A2B4
Learn about vigilant mode.
Compare
Choose a tag to compare
0.1

CHANGES:

initial release

Assets 3