scdsl - Cardano Updates

Home / Input Output / scdsl

Insights Pull Requests

23 commits this week Aug 13, 2019 - Aug 20, 2019

nau · Fri, 16 Aug 19 12:00:50 +0000 · scdsl · d4bd754e:code-review

Use Ada data type for Money.

nau · Fri, 16 Aug 19 11:19:55 +0000 · scdsl · 9ce1c316:code-review

Rename goObs/Val to evalObs/Val

nau · Thu, 15 Aug 19 21:30:05 +0000 · scdsl · b2c669a3:code-review

Add Interval data type.

nau · Thu, 15 Aug 19 19:02:32 +0000 · scdsl · 62fd3f00:code-review

Small changes.

nau · Thu, 15 Aug 19 19:00:04 +0000 · scdsl · 8135d689:code-review

Remove where

nau · Thu, 15 Aug 19 18:54:55 +0000 · scdsl · 41c81db8:code-review

Rename apply to applyInput

nau · Thu, 15 Aug 19 18:27:37 +0000 · scdsl · c4c58334:code-review

Inline type aliases.

nau · Thu, 15 Aug 19 18:25:49 +0000 · scdsl · ba9d57d3:code-review

Remove ApplyError

nau · Thu, 15 Aug 19 18:09:24 +0000 · scdsl · 108f24f8:code-review

Remove ReduceError

nau · Thu, 15 Aug 19 18:05:45 +0000 · scdsl · 2f4b4fd5:code-review

ReduceAllResult renames

nau · Thu, 15 Aug 19 18:00:37 +0000 · scdsl · 7f86827d:code-review

ReduceEffect to Maybe Payment

nau · Thu, 15 Aug 19 17:37:08 +0000 · scdsl · 79e84186:code-review

Rename reduce to reduceContractStep

nau · Thu, 15 Aug 19 17:20:15 +0000 · scdsl · d88e072b:code-review

Remove where, $.

nau · Thu, 15 Aug 19 15:55:02 +0000 · scdsl · 69f86528:code-review

Remove Read.

palas · Thu, 15 Aug 19 13:21:04 +0000 · scdsl · ec076b18:master

Implement symbolic version of getSignatures

nau · Wed, 14 Aug 19 17:28:27 +0000 · scdsl · 4c48a6b2:master

Rename Semantics4 to Semantics, delete old Semantics. (#33)

Rename Semantics to Semantics1
Rename Semantics4 to Semantics
Delete old versions of Semantics
Rename Semantics in prompt of using-marlowe.md

palas · Wed, 14 Aug 19 17:21:39 +0000 · scdsl · 464206fc:rename-semantics4

Rename Semantics in prompt of using-marlowe.md

nau · Wed, 14 Aug 19 13:33:37 +0000 · scdsl · f977b977:master

Small changes to (hopefully) prettify Semantics (#32)

Some renames
Clarify When timeout reduction
Update after review

palas · Wed, 14 Aug 19 13:00:32 +0000 · scdsl · a3812a66:master

Implement symbolic version of applyAllAux

nau · Wed, 14 Aug 19 11:16:00 +0000 · scdsl · cf22bd2e:prettify

Update after review

nau · Wed, 14 Aug 19 10:57:32 +0000 · scdsl · 4ce5bfc1:prettify

Clarify When timeout reduction

palas · Tue, 13 Aug 19 14:23:08 +0000 · scdsl · 2a69185c:master

Implement symbolic applyCases

nau · Tue, 13 Aug 19 13:53:45 +0000 · scdsl · 961f5309:prettify

Some renames

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