Renaming simulationIndex to simulationId.
Home /
Input Output /
plutus
Jan 09, 2-3 PM (0)
Jan 09, 3-4 PM (0)
Jan 09, 4-5 PM (0)
Jan 09, 5-6 PM (0)
Jan 09, 6-7 PM (0)
Jan 09, 7-8 PM (0)
Jan 09, 8-9 PM (0)
Jan 09, 9-10 PM (0)
Jan 09, 10-11 PM (0)
Jan 09, 11-12 AM (0)
Jan 10, 12-1 AM (0)
Jan 10, 1-2 AM (0)
Jan 10, 2-3 AM (0)
Jan 10, 3-4 AM (0)
Jan 10, 4-5 AM (0)
Jan 10, 5-6 AM (0)
Jan 10, 6-7 AM (0)
Jan 10, 7-8 AM (0)
Jan 10, 8-9 AM (0)
Jan 10, 9-10 AM (0)
Jan 10, 10-11 AM (0)
Jan 10, 11-12 PM (0)
Jan 10, 12-1 PM (0)
Jan 10, 1-2 PM (0)
Jan 10, 2-3 PM (0)
Jan 10, 3-4 PM (0)
Jan 10, 4-5 PM (0)
Jan 10, 5-6 PM (0)
Jan 10, 6-7 PM (0)
Jan 10, 7-8 PM (0)
Jan 10, 8-9 PM (0)
Jan 10, 9-10 PM (0)
Jan 10, 10-11 PM (0)
Jan 10, 11-12 AM (0)
Jan 11, 12-1 AM (0)
Jan 11, 1-2 AM (0)
Jan 11, 2-3 AM (0)
Jan 11, 3-4 AM (0)
Jan 11, 4-5 AM (0)
Jan 11, 5-6 AM (0)
Jan 11, 6-7 AM (5)
Jan 11, 7-8 AM (10)
Jan 11, 8-9 AM (11)
Jan 11, 9-10 AM (1)
Jan 11, 10-11 AM (2)
Jan 11, 11-12 PM (1)
Jan 11, 12-1 PM (3)
Jan 11, 1-2 PM (3)
Jan 11, 2-3 PM (1)
Jan 11, 3-4 PM (1)
Jan 11, 4-5 PM (2)
Jan 11, 5-6 PM (0)
Jan 11, 6-7 PM (0)
Jan 11, 7-8 PM (0)
Jan 11, 8-9 PM (0)
Jan 11, 9-10 PM (0)
Jan 11, 10-11 PM (0)
Jan 11, 11-12 AM (1)
Jan 12, 12-1 AM (0)
Jan 12, 1-2 AM (0)
Jan 12, 2-3 AM (0)
Jan 12, 3-4 AM (1)
Jan 12, 4-5 AM (0)
Jan 12, 5-6 AM (2)
Jan 12, 6-7 AM (5)
Jan 12, 7-8 AM (1)
Jan 12, 8-9 AM (1)
Jan 12, 9-10 AM (1)
Jan 12, 10-11 AM (4)
Jan 12, 11-12 PM (1)
Jan 12, 12-1 PM (2)
Jan 12, 1-2 PM (1)
Jan 12, 2-3 PM (2)
Jan 12, 3-4 PM (2)
Jan 12, 4-5 PM (2)
Jan 12, 5-6 PM (1)
Jan 12, 6-7 PM (2)
Jan 12, 7-8 PM (0)
Jan 12, 8-9 PM (0)
Jan 12, 9-10 PM (0)
Jan 12, 10-11 PM (1)
Jan 12, 11-12 AM (0)
Jan 13, 12-1 AM (0)
Jan 13, 1-2 AM (0)
Jan 13, 2-3 AM (0)
Jan 13, 3-4 AM (1)
Jan 13, 4-5 AM (0)
Jan 13, 5-6 AM (0)
Jan 13, 6-7 AM (2)
Jan 13, 7-8 AM (1)
Jan 13, 8-9 AM (3)
Jan 13, 9-10 AM (1)
Jan 13, 10-11 AM (2)
Jan 13, 11-12 PM (1)
Jan 13, 12-1 PM (3)
Jan 13, 1-2 PM (4)
Jan 13, 2-3 PM (3)
Jan 13, 3-4 PM (1)
Jan 13, 4-5 PM (1)
Jan 13, 5-6 PM (0)
Jan 13, 6-7 PM (1)
Jan 13, 7-8 PM (0)
Jan 13, 8-9 PM (0)
Jan 13, 9-10 PM (0)
Jan 13, 10-11 PM (0)
Jan 13, 11-12 AM (0)
Jan 14, 12-1 AM (0)
Jan 14, 1-2 AM (0)
Jan 14, 2-3 AM (0)
Jan 14, 3-4 AM (0)
Jan 14, 4-5 AM (0)
Jan 14, 5-6 AM (0)
Jan 14, 6-7 AM (0)
Jan 14, 7-8 AM (0)
Jan 14, 8-9 AM (2)
Jan 14, 9-10 AM (2)
Jan 14, 10-11 AM (8)
Jan 14, 11-12 PM (4)
Jan 14, 12-1 PM (1)
Jan 14, 1-2 PM (3)
Jan 14, 2-3 PM (1)
Jan 14, 3-4 PM (0)
Jan 14, 4-5 PM (14)
Jan 14, 5-6 PM (0)
Jan 14, 6-7 PM (0)
Jan 14, 7-8 PM (0)
Jan 14, 8-9 PM (0)
Jan 14, 9-10 PM (0)
Jan 14, 10-11 PM (0)
Jan 14, 11-12 AM (0)
Jan 15, 12-1 AM (0)
Jan 15, 1-2 AM (0)
Jan 15, 2-3 AM (0)
Jan 15, 3-4 AM (0)
Jan 15, 4-5 AM (0)
Jan 15, 5-6 AM (0)
Jan 15, 6-7 AM (0)
Jan 15, 7-8 AM (0)
Jan 15, 8-9 AM (3)
Jan 15, 9-10 AM (0)
Jan 15, 10-11 AM (0)
Jan 15, 11-12 PM (4)
Jan 15, 12-1 PM (3)
Jan 15, 1-2 PM (7)
Jan 15, 2-3 PM (6)
Jan 15, 3-4 PM (3)
Jan 15, 4-5 PM (3)
Jan 15, 5-6 PM (1)
Jan 15, 6-7 PM (2)
Jan 15, 7-8 PM (1)
Jan 15, 8-9 PM (0)
Jan 15, 9-10 PM (0)
Jan 15, 10-11 PM (0)
Jan 15, 11-12 AM (0)
Jan 16, 12-1 AM (0)
Jan 16, 1-2 AM (0)
Jan 16, 2-3 AM (0)
Jan 16, 3-4 AM (0)
Jan 16, 4-5 AM (0)
Jan 16, 5-6 AM (0)
Jan 16, 6-7 AM (0)
Jan 16, 7-8 AM (0)
Jan 16, 8-9 AM (0)
Jan 16, 9-10 AM (0)
Jan 16, 10-11 AM (0)
Jan 16, 11-12 PM (0)
Jan 16, 12-1 PM (0)
Jan 16, 1-2 PM (0)
Jan 16, 2-3 PM (1)
163 commits this week
Jan 09, 2021 -
Jan 16, 2021
WIP update plutus-metatheory documentation (#2589)
* move Everything file, minor README tweaks * moved Everything to index and set layout * ToC * added links to subsections in index * intro in index * index:types * switched Type stuff to .lagda.md, variable generalising, removing unneeded code * update README + gen vars in Type.RenamingSubstitution * type ren/sub cleanup and knockon effects * type eq cleanup + small cleanup in type ren/sub * type reduction cleanup * added CK machine for types to the index and cleaned it up * removing a closure style CEK machine for types which isn't used. * added some explanation of the CK machine for types * builtin + declarative syntax * moving builtin postulates into Builtin and updating builtins generally * Declarative renaming and substitution * decl erasure and examples * reverting to lazy bytestring in main * moving some utils into utils * simplified the type signatures in Decl Ren/Sub
simplified the type signatures in Decl Ren/Sub
simplified the type signatures in Decl Ren/Sub
SCP-1664: Plutus Ledger API
First attempt at an interface module for the ledger team. I had to do a lot of moving becuase we want the dependencies of this package to be as minimal as possible, in particular we really don't want it to depend on the plugin (which `plutus-ledger` does), or things like `servant` or `iots-export`.
simplified the type signatures in Decl Ren/Sub
simplified the type signatures in Decl Ren/Sub
simplified the type signatures in Decl Ren/Sub
Merge branch 'j-mueller/scp-1412-app-tutorial' of github.com:input-output-hk/plutus into j-mueller/scp-1412-app-tutorial
Capitalising the title and changing gist '(re)publish' button text to 'save'.
Finish app tutorial
add bindings to fix marlowe client tests (doesn't work)
Declarative renaming and substitution
Update QuickCheck framework and models to emulator refactoring
quick and dirty for now
pull out code from web-common that is specific to plutus or marlowe
More realistic Option contract example (#2366)
* Update Option.hs * fix * fix * trigger build * fix unexpected hex