Thanks to visit codestin.com
Credit goes to Github.com

Skip to content

Tags: arya-sn/silver

Tags

v0.6.0

Toggle v0.6.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #884 from melt-umn/feature/revert-unify-trackedness

Revert "Disable comparison of dataness/trackedness in NT unification"

v0.5.1

Toggle v0.5.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #854 from melt-umn/develop

Silver 0.5.1 release candidate

v0.5.0

Toggle v0.5.0's commit message

Unverified

The key that signed this is expired.
Merge pull request #805 from melt-umn/develop

Silver 0.5.0 release candidate

v0.4.5

Toggle v0.4.5's commit message
Merge branch 'develop'

0.4.5 release candidate

v0.4.4

Toggle v0.4.4's commit message
Merge branch 'develop'

v0.4.3

Toggle v0.4.3's commit message

Unverified

The key that signed this is expired.
Merge pull request #378 from melt-umn/develop

Silver 0.4.3 release

v0.4.2

Toggle v0.4.2's commit message

Unverified

The key that signed this is expired.
Merge pull request #361 from melt-umn/develop

Silver 0.4.2 release candidate 2

concrete-object-syntax-stats

Toggle concrete-object-syntax-stats's commit message
Merge branch 'feature/patternMetatranslation' into feature/hostEmbedd…

…ingStats

v0.4.1

Toggle v0.4.1's commit message
Rename escape -> antiquote

v0.4.0

Toggle v0.4.0's commit message
update reported version number for release