Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Staging #99

Merged
merged 322 commits into from
Jan 27, 2022
Merged

Staging #99

merged 322 commits into from
Jan 27, 2022

Conversation

L-as
Copy link
Member

@L-as L-as commented Jan 12, 2022

No description provided.

@L-as
Copy link
Member Author

L-as commented Jan 12, 2022

#94 needs to be fixed before this can be merged. Right now it's all broken because some new constraints have been added, not to mention pdefaultUniConstant is fundamentally broken.

L-as and others added 21 commits January 17, 2022 10:54
@L-as
Merge pull request #121 from sergesku/sergesku/format#100
082b4c6 
Add formatter for .cabal and .nix files
@L-as
Commit Plutarch.Monadic (forgot to commit)
50e59bc
@L-as
fourmolu 0.5.0.0
cbeafe1
@L-as
Use fourmolu 0.5 in CI too
ed3178b
@L-as
Merge remote-tracking branch 'origin/staging' into las/monadic
9999308
@L-as
Improve Plutarch.Monadic
bd52f79
@L-as
Apply do-syntax examples for ptrace and >>
9071e72
@L-as
Fix checks
0948627
@L-as
Thanks @TotallyNotChase
60ffac6
@t1lde
better PBool instance, compat tests with PIsData instances
2f5cf3d
@L-as
Merge pull request #110 from t1lde/tilde/boolfix
e5c3221 
instance PIsData PBool (compatible with Plutus API)
@t1lde
merge
30d144c
@L-as
Merge pull request #119 from Plutonomicon/las/monadic
9dd625d 
do-syntax
@blamario
Added class FieldsFromData
5e64279
@blamario
Added recordFromFieldReaders
46bab7a
@blamario
Reorganized the definitions
1cc5c4d
@blamario
Formatting
cf139a0
@L-as
Merge pull request #125 from Plutonomicon/mario/records-data
23bd0ca 
Mario/records data
@L-as
Rework PLift, add type role to Term, and remove bogus derivations
f87b4fa
@L-as
Merge remote-tracking branch 'origin/staging' into las/1
8956c51
@L-as
Draft HLS support
e621991
This was linked to issues Jan 17, 2022
Review of entire codebase #98
Closed
Plutarch 1.1 #106
Closed
@L-as L-as mentioned this pull request Jan 17, 2022
Closed
TotallyNotChase
TotallyNotChase previously approved these changes Jan 27, 2022
View reviewed changes
Plutarch/Prelude.hs Outdated Show resolved Hide resolved
Plutarch/Builtin.hs Outdated Show resolved Hide resolved
t1lde
t1lde previously approved these changes Jan 27, 2022
View reviewed changes
Copy link
Collaborator

@t1lde t1lde left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It's great seeing how this has all come together, props to everyone 😄

I'll go ahead and split up the API module rq

@L-as L-as dismissed stale reviews from t1lde and TotallyNotChase via 7495749 January 27, 2022 12:38
t1lde and others added 11 commits January 27, 2022 13:01
@t1lde
split API modules, added some missing instances
d3740d8
@t1lde
Merge branch 'staging' of github.com:Plutonomicon/plutarch into tilde…
df0b1d3 
…/api-mod
@TotallyNotChase
Use Plutarch import instead of Plutarch.Internal.PlutusType
e379423
@L-as
Merge pull request #204 from Plutonomicon/prelude-stuff
ca0d710 
Remove pcon' and pmatch' exports from prelude
@L-as
Merge pull request #205 from Plutonomicon/tilde/api-mod
9bef408 
Split API modules
@TotallyNotChase
Fix duplicate work in pmatch' impl of builtin lists
8ee02c9
@TotallyNotChase
Start with adding plutus type instance sanity tests
9a417af
@srid
Clarify benchmark CLI in README
d008168
@TotallyNotChase
Make general pmatchTargetEval work
4491dc4
@L-as
Merge pull request #206 from Plutonomicon/plist-fix
baba73e 
Fix duplicate work in pmatch' impl of builtin lists
@L-as
Merge pull request #207 from Plutonomicon/srid-patch-1
0e08a41 
Clarify benchmark CLI in README
TotallyNotChase
TotallyNotChase approved these changes Jan 27, 2022
View reviewed changes
Copy link
Collaborator

@TotallyNotChase TotallyNotChase left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It's time!

blamario
blamario approved these changes Jan 27, 2022
View reviewed changes
Plutarch/Bool.hs Show resolved Hide resolved
@L-as L-as merged commit d753dc3 into master Jan 27, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@t1lde t1lde t1lde left review comments

@MatthewCroughan MatthewCroughan MatthewCroughan left review comments

@TotallyNotChase TotallyNotChase TotallyNotChase approved these changes

@blamario blamario blamario approved these changes

@srid srid Awaiting requested review from srid

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
7 participants
@L-as @TotallyNotChase @srid @MatthewCroughan @blamario @t1lde @emiflake