Commit Graph

10 Commits

Author SHA1 Message Date
Łukasz Magiera
170cc0e275 Add some basic tests 2020-05-08 20:01:42 +02:00
laser
f0569bd3c4 remove lotus from dependency graph 2020-05-01 09:18:00 -07:00
anorth
5ab39592cf Upgrade to specs-actors v0.3.0 2020-04-29 13:36:31 +10:00
anorth
14256e22d3 Upgrade to specs-actors v0.2.0 2020-04-25 12:37:12 +10:00
anorth
a875473670 Update to specs-actors v1.0.0 2020-04-22 15:49:28 +10:00
Łukasz Magiera
6850784b1e Move GenerateWinningPoStSectorChallenge to Verifier 2020-04-17 16:00:21 +02:00
Łukasz Magiera
65efbfce12 Fix tests with v25 params 2020-04-10 21:13:47 +02:00
Łukasz Magiera
e854090bdd v25 2020-04-10 20:46:53 +02:00
Łukasz Magiera
c4b928d441 Revert specs-actors version 2020-03-28 00:33:38 +01:00
Łukasz Magiera
afebab334e Update imports; Add build scripts 2020-03-28 00:21:36 +01:00