michaelpj
Follow
Popular repositories
1,137 contributions in the last year
Less
More
Contribution activity
May 2021
Created 22 commits in 3 repositories
Created 1 repository
Created a pull request in input-output-hk/plutus that received 2 comments
SCP-2256: remove fee inputs
These don't exist any more, instead there will be separate collateral inputs which we don't see. Fortunately, we hadn't even got around to using them.
+3,967
−4,183
•
2
comments
Opened 5 other pull requests in 2 repositories
input-output-hk/plutus
1
open
3
merged
mpickering/old-ghc-nix
1
merged
Reviewed 21 pull requests in 4 repositories
input-output-hk/plutus 18 pull requests
- deployment: link deployment docs in CONTRIBUTING
- Drop git rev argument
- SCP-2141: Inline type bindings
- Add Plutus implementation of take (fix #3202)
- Fix SatInt (take 2)
- Kwxm/scp 2176/cost model ledger interface
- SCP-2214 Switch to POSIXTime instead of Slot in TxInfo
- Add Plutus implementation of head (fix #3187).
- Notify hls/ghcide that we are using a patched ghc
- try conditional instead of branches match
- Suggest to use Integer instead of Int for Data, Lift and Typeable (fix #3161).
- Fix satint
- don't push a folder in; just write bashrc directly
- Eliminate ReaderT in the CEK machine
- Kwxm/scp 2175/full cost model
- Work on landing pages a bit
- SCP-1973: use machine integers for costing
- SCP-2188 - Uniswap II