Cardano Updates

export compute_public and size constants

Try #541:

fix project.cabal

Add missing materialized files for native arm

This should fix the infinite recursion issue with #654

Update Hackage and Stackage

Automatic update for Sun Jun 7 01:15:53 UTC 2020

Automatic update for Sun Jun 7 01:03:49 UTC 2020

added a CK machine for computing types

Bump apollo-server-core from 2.11.0 to 2.14.2

Bumps apollo-server-core from 2.11.0 to 2.14.2.

• Release notes
• Changelog
• Commits

Signed-off-by: dependabot[bot] [email protected]

Bump apollo-server-express from 2.12.0 to 2.14.2

Bumps apollo-server-express from 2.12.0 to 2.14.2.

• Release notes
• Changelog
• Commits

Signed-off-by: dependabot[bot] [email protected]

deploy: 9ce59b1904a6f428a01195ffb6c76b527d401736

Merge pull request #197 from cardano-community/papacarp-patch-1

update quickstart

Merge branch ‘master’ into papacarp-patch-1

Bump apollo-server-express from 2.6.9 to 2.14.2

Bumps apollo-server-express from 2.6.9 to 2.14.2.

• Release notes
• Changelog
• Commits

Signed-off-by: dependabot[bot] [email protected]

updated reduction of types

• some scope changes to make Everything.lagda type check again

Bump apollo-server from 2.6.9 to 2.14.2

Bumps apollo-server from 2.6.9 to 2.14.2.

• Release notes
• Changelog
• Commits

Signed-off-by: dependabot[bot] [email protected]

checkMaterialization false

[DDW-197] Edit HW name support added

Pledging and rewards

Bump websocket-extensions from 0.1.3 to 0.1.4 in /explorer/frontend

Bumps websocket-extensions from 0.1.3 to 0.1.4.

• Release notes
• Changelog
• Commits

Signed-off-by: dependabot[bot] [email protected]

Added relay doc

[DDW-197] HW transactions listing fix

APE

Update 2020-05-06_10-19-53_configuring-a-node-using-yaml-en.md

adding in copy for the configuration section

Test.ThreadNet: refine the TestConfig*, use TestSetup, expand Praos tests

TODO I’ve removed all shrinking for now. I will revisit that shortly. It was a mess, slow, and rarely helpful except when the problem was trivial, like a bug preventing nodes from producing any blocks whatsoever.

• This diff reorganize the TestConfig and TestConfigBlock data types. Those fields have now been teased apart into three record types: TestConfig, TestConfigB, TestConfigMB. (I’m happy to take name suggestions!)

  See the Haddock there for more, but there are two basic ideas. TestConfigB contains things that need the blk type and also things whose semantics (eg validitiy) depend the block. TestConfigMB contains things that need the m type, since it’s not easily available in all contexts we’re concerned about and those fields are usually only ever interpreted for the actual execution.

• We introduce a TestSetup type for each test. Now that TestConfig is smaller, we can re-use it more broadly.

• While I was in there, I increased the scope of the parameter generators (eg k, eg numCoreNodes) for the mock Praos tests {LeaderSchedule,Praos}.hs.