Cardano Updates

Added show constraints in tx-submission

This makes the access to debugging information easier. Just un-comment show tx or use the commented out tracer.

Update kRouter to make a network lookup when local fails.

ignore ‘Monoidal Law’ in HLint v2.2.1

We do use ‘mempty’ often to align text and ease readability. So the small overhead is acceptable and, most probably removed by GHC at compile-time…

Use Signable for serialisation concerns.

We earlier introduced explicit serialisers, but we now have the Signable associated type, which can be used for exactly this. The intention here is that, for example, the serialisation of old cardano types may be done over the Decoded class, thus ensuring that we use the correct bytes carried in the annotation.

Add stack/cabal litter to gitignore

Add Haskell project with SOS rules including initial CI support

• Add stack.yaml file.
• Add .gitignore
• Initial project scaffolding with CI support
• Change the license to Apache.
• Update the README
• Add rules for the SIP Ideation phase
• Add a HasTrace instance for IDEATION.
• Add tests and update the README with instructions on how to run the tests and enter the REPL.

Rename CLI transaction list time range options.

Use --start and --end instead of --after and --before.

See: https://github.com/input-output-hk/cardano-wallet/issues/467#issuecomment-514080923

Update the iohk-nix pin

• Update nix files.
• Update the CI.

fix code style and re-review test assertions to match new default dir

Added demo-dns.sh

Fixed test_correct_utxo_transaction_replaces_old_utxo_by_node test

Review fix

Wallet listTransactions: Provide tx time and depth (sort of)

Extract tracers used in tests into Test.Util.Tracer

Remove usage of Ouroboros.Network.Chain module (#809)

Fix usages for networking tests

Since fragment id is calculated in jcli JCLITransactionWrapper is now building transaction_message directly (there is no need to get transction id from builder)

ChainDB.Iterator: fix bug caused by overlap between ImmDB and VolDB

This fixes the bug triggered by the prop_773_bug test (see its docstring for more information) in Test.Ouroboros.Storage.ChainDB.Iterator.

Jcli wrapper renaming

Utilized newest changes in fragment logs. Now, there is a corellation beetwen transaction and fragment id and it is possible to track tansaction status using fragment id in node logs. Tests are now sending transaction to node, gets fragment id from jcli and ensures that transaction has expected status using get message log command

Clean TransactionBuilder. removed lifetime and removed trimming of output since its output extension responsibility now

Use Hash in tests instead of str for Witness and TransactionBuilder structs

Fix after message for fragment renaming. Docs update

Review fixed. Renamed CertBuilder to TransactionCertBuilder

clean code

Nix voodoo

Enable warnings and fix them all

Update

Update Hackage and Stackage

Chore/ci and license (#37)

Also remove the lodash vulnerability

Add notice file for license

Start implementing Semantics4 in Isabelle

[DDW-757] Implement new themes (#1480)

• [DDW-757] Introduce yellow / white / dark-cardano themes base setup

• [DDW-757] Add new themes to Settings page

• [DDW-757] Run translations manager

• [DDW-757] Add missing config for new themes create/update and theme images

• [DDW-757] Generate css variables for new themes and yellow theme overrides

• [DDW-757] Adjusts buttons colors in all states, and input/select border colors

• [DDW-757] Auto-updates defaultMessages.json

• [DDW-757] Fixes delegation icon in SideBar to use fill/stroke color in CSS vars

• [DDW-757] Fixes delegation-progress icon in SideBar to use fill/stroke color in CSS vars

• [DDW-757] Fixes create paper wallet icon in SideBar to use fill/stroke color in CSS vars

• [DDW-757] Yellow theme fine tuning and storybook menu new themes selection

• [DDW-757] Fix dark cardano theme config and vars creation

• [DDW-757] Introduce Dark-Cardano theme partial varibles override

• [DDW-757] Yellow theme styles improvements

• [DDW-757] Generating new additional variables for all themes

• [DDW-757] Introduce basic layout variables overrides for White theme

• [DDW-757] Small color improvements for BigDialogButtons, StakePool cards and tooltips, delegation dropdowns on Yellow theme

• [DDW-757] Dark-Blue theme border color on stake pool boxes fix

• [DDW-757] Support icon for yellow theme

• [DDW-757] Fix Support icon disappearing

• [DDW-757] Main background color change

• [DDW-757] Yellow theme - about window fixes

• [DDW-757] Stories to get the current theme and dark icon for white theme

• [DDW-757] Yellow theme - about window overlay color

• [DDW-757] Add MINT variations to White theme and settings page translation improvement

• [DDW-757] Adding new theme images for setting page

• [DDW-757] White overrides - WIP

• [DDW-757] Theme buttons better arrangement

• [DDW-757] Finalizing Yellow theme by resolving requested changes

• [DDW-757] Run prettier

• [DDW-757] UTXO graph colors improvement and options list bg color

• [DDW-757] Fix copy notification text color

• [DDW-757] Fix dropdown bg colors

• [DDW-757] Fix support request hover

• [DDW-757] Update dark cardano theme

• [DDW-757] White theme - WIP

• [DDW-757] White theme - Block consolidation done

• [DDW-757] White theme - Paper Wallet

• [DDW-757] White theme - Transactions

• [DDW-757] Matches Block Consolidation screen to mockups in fine detail

• [DDW-757] Imports taller, thinner cross svg for use in About/Block Consolidation screens

• [DDW-757] Replaces hard coded fill value with CSS variable

• [DDW-757] Uses thinner cross in About.js

• [DDW-757] Handles active/pressed button state on Block Consolidation screen

• [DDW-757] Color value adjustments in all theme files

• [DDW-757] Auto update in defaultMessages.json

• [DDW-757] Fixes checkbox and link colors in white theme

• [DDW-757] Fixes flat button on white and dark cardano themes, fixes utxo chart on white theme

• [DDW-757] Updates white theme with fixes

• [DDW-757] Imports correct svg cross icon

• [DDW-757] Fixes remaining issues in white theme and also learn more buttons in dark-cardano

• [DDW-757] Darkens mnemonics background color in white theme

• [DDW-757] White theme CSS fixes

• [DDW-757] Add missing stories

• [DDW-757] Fixes AdaRedemptionSuccessOverlay styles in white, yellow, and dark-cardano themes

• [DDW-757] Fixes AdaRedemptionDisclaimer styles in white, yellow, and dark-cardano themes

• [DDW-757] Fixes button colors on trouble syncing/connecting screens in dark-cardano.js

• [DDW-757] Fixes Data Layer Migration screen in white, yellow, and dark-cardano themes

• [DDW-757] Fixes Data Layer Migration screen in white, yellow, and dark-cardano themes

• [DDW-757] Fixes Node Update Notification in yellow theme

• [DDW-757] Update storybook stories

• [DDW-757] Fixing themes

• [DDW-757] Storybook topbar expand icon, loading wallet progress bar color and UTXO charts on white theme

• [DDW-757] White theme improvements

• [DDW-757] Fixing themes

• [DDW-757] White theme final imporvements

• [DDW-757] Fixing themes

• [DDW-757] Remove testing faked data

• [DDW-757] Run prettier

• [DDW-757] Fixing themes

• [DDW-757] Fixing themes

• [DDW-757] Dark Cardano theme UTXO charts improvements

• [DDW-757] Failed transactions colors imporovement

• [DDW-757] Cardano Dark and White theme improvements

• [DDW-757] Eslint warning and prettier fix

• [DDW-757] Fix storybook restoration progress

• [DDW-757] Different BGs on Overlays

• [DDW-757] Syncing screen - tooltip not visible

• [DDW-757] Wrong border Staking on Staking screens

• [DDW-757] Wrong strip colors on progress bar

• [DDW-757] Dropdown triangle arrow on dark theme

• [DDW-757] Wrong pop-over colors on Delegation Center

• [DDW-757] The final piece of the puzzle

• [DDW-757] Adds CHANGELOG entry

[DDW-757] The final piece of the puzzle

[DDW-757] Wrong pop-over colors on Delegation Center

[DDW-757] Dropdown triangle arrow on dark theme

[DDW-757] Wrong strip colors on progress bar

[DDW-757] Wrong border Staking on Staking screens

[DDW-757] Syncing screen - tooltip not visible

Merge branch ‘feature/ddw-757-implement-new-themes’ of https://github.com/input-output-hk/daedalus into feature/ddw-757-implement-new-themes

[DDW-757] Different BGs on Overlays

Some small updates

Minor change to wording

[DDW-757] Fix storybook restoration progress

Merge branch ‘kwxm/mpj-core-spec-updates’ of https://github.com/input-output-hk/plutus into kwxm/mpj-core-spec-updates

Rebase specification updates

implement HSM client

Resolve conflicts

download to ChainDB

This is a massive commit because it comes from branch work on ourobors-network, but byron-proxy was migrated to this repo in the interim.