scdsl - Cardano Updates

Home / Input Output / scdsl

Insights Pull Requests

13 commits this week Feb 10, 2019 - Feb 17, 2019

palas · Fri, 15 Feb 19 13:23:36 +0000 · scdsl · 11cb8908:master

Isabelle formalisation and termination proof of new semantics

palas · Fri, 15 Feb 19 12:55:17 +0000 · scdsl · c36bb829:master

Remove unnecessary Maybe

palas · Wed, 13 Feb 19 23:35:22 +0000 · scdsl · 3afba0f7:master

Restore deleted function and document optimisations

palas · Wed, 13 Feb 19 14:19:43 +0000 · scdsl · 9ff95557:stable

Copy license and copyright files from master

palas · Wed, 13 Feb 19 14:14:48 +0000 · scdsl · 023fe395:master

Merge updated pull requests #3 and #4

palas · Wed, 13 Feb 19 14:13:53 +0000 · scdsl · 4f29045d:master

Rename filename to avoid parenthesis

palas · Wed, 13 Feb 19 14:13:20 +0000 · scdsl · 24d93b4f:master

Merge pull request #4

palas · Wed, 13 Feb 19 14:12:56 +0000 · scdsl · d2714ba8:master

Merge pull request #3

palas · Wed, 13 Feb 19 13:58:47 +0000 · scdsl · be153212:master

Rename getFreshKey to getFreshLabel

palas · Wed, 13 Feb 19 01:12:25 +0000 · scdsl · f3a3e8ce:master

Unify so that fresh identifiers are at least 1

nathankaiser · Wed, 13 Feb 19 01:06:08 +0000 · scdsl · d23af91e:master

create license notice

thanks!

nathankaiser · Wed, 13 Feb 19 01:04:27 +0000 · scdsl · 9bd2c186:master

Update License

cleaning up a bit here…

palas · Tue, 12 Feb 19 23:45:23 +0000 · scdsl · b4cb42a8:master

Consider subcontract labels when generating fresh one

Showing 1 to 13 of 13 new commits. Check out Input Output on GitHub to see more.