Merging plutus-playground-lib and plutus-playground-server.
…in an effort to reduce compile times for those of us who spend most of their time working on the playground. :-D
Home /
Input Output /
plutus
47 commits this week
Dec 06, 2019 -
Dec 13, 2019
Merging plutus-playground-lib and plutus-playground-server.
…in an effort to reduce compile times for those of us who spend most of their time working on the playground. :-D
Migrating playground-lib’s test cases to tasty.
There’s no good reason to have a separate test framework for this. And I’d like to try merging lib & server, and having a single test framework will make that easier.
updated Scoped.lagda, unScopeCheck is postulated
updated Raw.hs to remove names, currently reversing the process produces empty names (“”)
update to Agda version 2.6.0.1 and Agda Standard Library version 1.2
Tidying some dead, duplicated code.
The code that parses compilation errors an annotated them for the frontend was in two placed, one unused, the other untested. I’ve deleted the unused code and moved the tests to the right place.
Tidying some dead, duplicated code.
The code that parses compilation errors an annotated them for the frontend was in two placed, one unused, the other untested. I’ve deleted the unused code and moved the tests to the right place.
Adding some haddock to Playground.Types.ContractCall.
Adding some haddock to Playground.Types.ContractCall.
Adding some haddock to give a better explanation of the Schema module.
Adding some haddock to give a better explanation of the Schema module.
Improving the naming and documentation of parts of the IOTS exporter.
The API hasn’t changed.
Improving the naming and documentation of parts of the IOTS exporter.
The API hasn’t changed.
Some changes to re-synchronize the usecases files.
For reasons, we have to keep two similar copies of some these demo contracts. This commit keeps them as similar as possible.
Making ‘crowdfunding’ consistently capitalised as a single word.
Making ‘crowdfunding’ consistently capitalised as a single word.
Making ‘crowdfunding’ consistently capitalised as a single word.
Making ‘crowdfunding’ consistently capitalised as a single word.
Some changes to re-synchronize the usecases files.
For reasons, we have to keep two similar copies of some these demo contracts. This commit keeps them as similar as possible.
can now produce a tree of execution paths for any contract (in repl)
Frontend: CSS Tweaks to the action pane layouts.
Frontend: CSS Tweaks to the action pane layouts.
Frontend: Small tweak to the layout of the demo buttons.
A teensy bit of extra space between them.
Frontend: Small tweak to the layout of the demo buttons.
A teensy bit of extra space between them.
plutus-emulator: get rid of Trace in favour of constrained effects
The old version was overly fixed, this one is a bit more flexible to use.
Added an enhanced depgraph (ScopeGraph.hs) , to mark lambda/Lambda scope edges
Merge pull request #1669 from michaelpj/imp/node-client-restructuring
Restructure emulator to use effects
initial WIP of symbolic execution with purescript