Merge pull request #2204 from input-output-hk/misc-tweaks
A few small things that dropped out of the SCB websockets feature.
Home /
Input Output /
plutus
Jul 29, 10-11 PM (0)
Jul 29, 11-12 AM (0)
Jul 30, 12-1 AM (0)
Jul 30, 1-2 AM (0)
Jul 30, 2-3 AM (1)
Jul 30, 3-4 AM (0)
Jul 30, 4-5 AM (1)
Jul 30, 5-6 AM (1)
Jul 30, 6-7 AM (0)
Jul 30, 7-8 AM (1)
Jul 30, 8-9 AM (0)
Jul 30, 9-10 AM (2)
Jul 30, 10-11 AM (0)
Jul 30, 11-12 PM (2)
Jul 30, 12-1 PM (1)
Jul 30, 1-2 PM (0)
Jul 30, 2-3 PM (0)
Jul 30, 3-4 PM (1)
Jul 30, 4-5 PM (3)
Jul 30, 5-6 PM (0)
Jul 30, 6-7 PM (0)
Jul 30, 7-8 PM (1)
Jul 30, 8-9 PM (2)
Jul 30, 9-10 PM (0)
Jul 30, 10-11 PM (0)
Jul 30, 11-12 AM (0)
Jul 31, 12-1 AM (0)
Jul 31, 1-2 AM (0)
Jul 31, 2-3 AM (0)
Jul 31, 3-4 AM (0)
Jul 31, 4-5 AM (0)
Jul 31, 5-6 AM (0)
Jul 31, 6-7 AM (0)
Jul 31, 7-8 AM (1)
Jul 31, 8-9 AM (2)
Jul 31, 9-10 AM (0)
Jul 31, 10-11 AM (0)
Jul 31, 11-12 PM (0)
Jul 31, 12-1 PM (0)
Jul 31, 1-2 PM (1)
Jul 31, 2-3 PM (0)
Jul 31, 3-4 PM (2)
Jul 31, 4-5 PM (1)
Jul 31, 5-6 PM (1)
Jul 31, 6-7 PM (0)
Jul 31, 7-8 PM (0)
Jul 31, 8-9 PM (0)
Jul 31, 9-10 PM (0)
Jul 31, 10-11 PM (0)
Jul 31, 11-12 AM (0)
Aug 01, 12-1 AM (0)
Aug 01, 1-2 AM (0)
Aug 01, 2-3 AM (0)
Aug 01, 3-4 AM (0)
Aug 01, 4-5 AM (0)
Aug 01, 5-6 AM (0)
Aug 01, 6-7 AM (0)
Aug 01, 7-8 AM (0)
Aug 01, 8-9 AM (2)
Aug 01, 9-10 AM (0)
Aug 01, 10-11 AM (0)
Aug 01, 11-12 PM (0)
Aug 01, 12-1 PM (0)
Aug 01, 1-2 PM (0)
Aug 01, 2-3 PM (0)
Aug 01, 3-4 PM (0)
Aug 01, 4-5 PM (0)
Aug 01, 5-6 PM (0)
Aug 01, 6-7 PM (0)
Aug 01, 7-8 PM (0)
Aug 01, 8-9 PM (0)
Aug 01, 9-10 PM (0)
Aug 01, 10-11 PM (0)
Aug 01, 11-12 AM (0)
Aug 02, 12-1 AM (0)
Aug 02, 1-2 AM (0)
Aug 02, 2-3 AM (0)
Aug 02, 3-4 AM (0)
Aug 02, 4-5 AM (0)
Aug 02, 5-6 AM (0)
Aug 02, 6-7 AM (0)
Aug 02, 7-8 AM (0)
Aug 02, 8-9 AM (0)
Aug 02, 9-10 AM (0)
Aug 02, 10-11 AM (0)
Aug 02, 11-12 PM (0)
Aug 02, 12-1 PM (0)
Aug 02, 1-2 PM (0)
Aug 02, 2-3 PM (0)
Aug 02, 3-4 PM (0)
Aug 02, 4-5 PM (0)
Aug 02, 5-6 PM (0)
Aug 02, 6-7 PM (0)
Aug 02, 7-8 PM (0)
Aug 02, 8-9 PM (0)
Aug 02, 9-10 PM (0)
Aug 02, 10-11 PM (0)
Aug 02, 11-12 AM (0)
Aug 03, 12-1 AM (0)
Aug 03, 1-2 AM (0)
Aug 03, 2-3 AM (0)
Aug 03, 3-4 AM (0)
Aug 03, 4-5 AM (0)
Aug 03, 5-6 AM (0)
Aug 03, 6-7 AM (2)
Aug 03, 7-8 AM (4)
Aug 03, 8-9 AM (0)
Aug 03, 9-10 AM (0)
Aug 03, 10-11 AM (14)
Aug 03, 11-12 PM (0)
Aug 03, 12-1 PM (19)
Aug 03, 1-2 PM (0)
Aug 03, 2-3 PM (0)
Aug 03, 3-4 PM (0)
Aug 03, 4-5 PM (1)
Aug 03, 5-6 PM (0)
Aug 03, 6-7 PM (0)
Aug 03, 7-8 PM (0)
Aug 03, 8-9 PM (0)
Aug 03, 9-10 PM (0)
Aug 03, 10-11 PM (0)
Aug 03, 11-12 AM (0)
Aug 04, 12-1 AM (0)
Aug 04, 1-2 AM (0)
Aug 04, 2-3 AM (0)
Aug 04, 3-4 AM (0)
Aug 04, 4-5 AM (0)
Aug 04, 5-6 AM (0)
Aug 04, 6-7 AM (2)
Aug 04, 7-8 AM (2)
Aug 04, 8-9 AM (3)
Aug 04, 9-10 AM (0)
Aug 04, 10-11 AM (1)
Aug 04, 11-12 PM (1)
Aug 04, 12-1 PM (2)
Aug 04, 1-2 PM (3)
Aug 04, 2-3 PM (4)
Aug 04, 3-4 PM (0)
Aug 04, 4-5 PM (4)
Aug 04, 5-6 PM (3)
Aug 04, 6-7 PM (0)
Aug 04, 7-8 PM (2)
Aug 04, 8-9 PM (0)
Aug 04, 9-10 PM (0)
Aug 04, 10-11 PM (0)
Aug 04, 11-12 AM (0)
Aug 05, 12-1 AM (1)
Aug 05, 1-2 AM (0)
Aug 05, 2-3 AM (0)
Aug 05, 3-4 AM (0)
Aug 05, 4-5 AM (0)
Aug 05, 5-6 AM (0)
Aug 05, 6-7 AM (0)
Aug 05, 7-8 AM (0)
Aug 05, 8-9 AM (1)
Aug 05, 9-10 AM (4)
Aug 05, 10-11 AM (5)
Aug 05, 11-12 PM (0)
Aug 05, 12-1 PM (5)
Aug 05, 1-2 PM (0)
Aug 05, 2-3 PM (6)
Aug 05, 3-4 PM (7)
Aug 05, 4-5 PM (2)
Aug 05, 5-6 PM (0)
Aug 05, 6-7 PM (7)
Aug 05, 7-8 PM (3)
Aug 05, 8-9 PM (2)
Aug 05, 9-10 PM (1)
Aug 05, 10-11 PM (0)
137 commits this week
Jul 29, 2020 -
Aug 05, 2020
a test that appears to pass - checking soundness of the agda kind checker
sync materialised stuff and cabal file
updateMaterialized2
I renamed plc-agda.cabal to metatheory.cabal. I think the previous commit removed a file related to the former. Adding the corresponding file related to the latter...
Initial version of builtin application document
updateMaterialized (even though this isn't going to pass CI yet)
marlowe pg refactor - extract haskell editor state
SCB: Refactoring some pretty rendering code that can be reused.
FE: Improved formatting of long currency names in the wallet balances table.
FE: UI tweak for the "copy to clipboard" display.
marlowe pg refactoring - modularizing the haskell editor
SCB: Refactoring some pretty rendering code that can be reused.
FE: Improved formatting of long currency names in the wallet balances table.