Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
ts-codersInline
4a1fa775
·
After rebaseing with master, and resolving conflicts
·
Nov 10, 2020
polina/txbody
2f8da1a8
·
Merge pull request #1965 from input-output-hk/ts-duncanstyle-timelock
·
Nov 06, 2020
jc/DEBUG-non-owner-members
f674d4c7
·
DO NOT MERGE testing non-owner reward acnt
·
Nov 03, 2020
nc/aargh
925deff4
·
Posit a change to the reward calculation.
·
Nov 03, 2020
jbgi/desync-investiguation
99f92f2c
·
Changed the raising of BadInputsUTxO to be less expensive.
·
Oct 27, 2020
translate-era-generics
e538bd99
·
WIP
·
Oct 23, 2020
polina/paramtests
fad5cfe2
·
polymorphic tests
·
Oct 19, 2020
ts-datafamily-gadtValue
b6df9a54
·
GADT version now compiles
·
Oct 14, 2020
ts-datafamily-value
d085608d
·
Added a GADT style pre-experiment.
·
Oct 13, 2020
ts-value-prop
537a8225
·
Ormolize
·
Sep 29, 2020
kh/goguen-spec-review
ec144f8a
·
updates
·
Sep 29, 2020
nc/async-sts
a175a34b
·
WIP Straw man for async STS
·
Sep 28, 2020
polina/versuch
f004359e
·
fix extra constraints
·
Sep 23, 2020
polina/reorg
5ff12553
·
separating data and functions
·
Sep 16, 2020
ts/optimiseRewards
a9c8a44e
·
Bump up genTxRetries now that we have longer traces
·
Sep 16, 2020
nc/benchRewards
dbf0b0de
·
Found the bug. There was an extra: 'not' in a clause of the function compute.
·
Sep 15, 2020
polina/tokens
aaee229b
·
native tokens script evaluator in progress
·
Sep 11, 2020
ts-eraRep
17f84638
·
Added a way to make open class singleton types using TypeRep and testEquality. Not longer import
·
Sep 10, 2020
nc/versuch
5927f574
·
Parametrise the Shelley ledger over Value.
·
Sep 09, 2020
ts-eras-unassoc-class
fcb98b2a
·
Added EraRep andShelleyEra.hs
·
Sep 04, 2020
Prev
1
2
3
4
5
6
7
8
Next