michaelpj
Follow
Popular repositories
1,682 contributions in the last year
Contribution activity
March 2023
Created 63 commits in 12 repositories
Created 3 repositories
- michaelpj/quickcheck-contractmodel Haskell
- michaelpj/nixbuild-action JavaScript
- michaelpj/wide-word Haskell
Created a pull request in input-output-hk/plutus that received 69 comments
Use a primarray for the step counter
This moves us from using WordArray to using a MutablePrimArray for the step counters. That scales as much as we want and performs comparably. I thi…
+317
−573
•
69
comments
Opened 36 other pull requests in 13 repositories
input-output-hk/plutus
13
merged
2
open
- Fix dependent-sum issue through bounding some
- PLT-4256: Expand UPLC inliner comments slightly
- Try downgrading the nix version in workflows
- Fix RTD config file
- Try turning off pre-commit hooks so that the benchmarking action can commit
- Fix the longitudinal benchmarks to run in a nix shell
- Fix another semantic merge conflict
- Tidy up benchmarks a bit
- Split the benchmark workflow
- Don't require changelogs for draft PRs
- Wide word array
- Add reproducer for #4645
- Fix another semantic conflict
- Fix version conflict
- PLT-1611: Fix Interval for discrete intervals
input-output-hk/cardano-haskell-packages
1
open
8
merged
- Remove the caching from the CI workflow
- Update the README a bunch
- CHaP CI: more reliable attribute build plus building new packages
- README updates
- Add more smoke-tests packages up to cardano-node
- Fix CI workflow to accept flake config
- Add a script to add revisions for a package version
- CI attempt 2
- Add flake settings for extra subtituters
input-output-hk/cardano-ledger
2
merged
input-output-hk/cardano-base
1
merged
input-output-hk/ouroboros-network
1
open
input-output-hk/cardano-node
1
merged
cardano-foundation/CIPs
1
open
input-output-hk/quickcheck-contractmodel
1
merged
haskell-org/summer-of-haskell
1
merged
nixbuild/nixbuild-action
1
merged
haskell/haskell-language-server
1
merged
input-output-hk/cardano-db-sync
1
open
input-output-hk/plutus-apps
1
merged
Reviewed 45 pull requests in 10 repositories
input-output-hk/plutus
23 pull requests
- PLT-1041 and PLT-1146 Implement inlining of fully applied functions.
- Kwxm/bls12-381/prototype (PLT-192, PLT-1557, PLT-1554, etc).
- Set dependent-sum lower bound in plutus-core.cabal
-
PLT-5287: Define a runCekM-like function
giveCekReqsfor the debugger - 1.4.0.0
-
Fix
pre-commit not founderror in longitudinal-benchmark.yml -
[prototype] Support
base's classes and methods in Plutus Tx - Use a primarray for the step counter
- Add workflow for longitudinal benchmarking
- Kwxm/expose optimisers 3 (PLT-1145)
- Benchmark the production code rather than some arbitrary thing
- Address a comment in PR 5160.
- Remove PlutusIR link from Haddock
- Fix various things to comply with the style guide.
- [Builtins] Optimize 'ToBinds'
- Bitwise operations
- fix jekyll generation of agda markdown files
- Update RELEASE.adoc
- PLT-1539: Remove Plutus Tx functions with Haskell.Monad constraint
- PLT-1552: Better support for Plutus Core language versions
- PLT-1611: Fix Interval for discrete intervals
- PLT-1604: Add some benchmarks for summing using 'data lists'
- PLT-1458: Propagate budget from debug driver to client
haskell/haskell-language-server
8 pull requests
input-output-hk/cardano-haskell-packages
4 pull requests
cardano-foundation/CIPs
3 pull requests
input-output-hk/plutus-apps
2 pull requests
input-output-hk/cardano-node
1 pull request
nixbuild/nixbuild-action
1 pull request
input-output-hk/sc-dev-platform
1 pull request
haskell/cabal
1 pull request
andreabedini/foliage
1 pull request
Created an issue in nixbuild/feedback that received 26 comments
Weird issues with remote store builds
This is all trying to set up some CI for a repository. I happen to be expecting the build to fail on a dependency (I tried it locally), but I'm get…
26
comments
Opened 33 other issues in 8 repositories
nixbuild/feedback
10
open
- Clarify situation wrt build caching
- Mysterious error
- Transient build error, unclear what to do
- Clients of remote store builds sometimes hang when finished
-
builds listprovides no information about what the output means - Say more about InternalErrors
- Hung builds and what to do about them
- client_loop: send disconnect: Broken pipe
-
Is there something wrong with
nix flake checkwith remote stores? - Document interaction of remote store build with cache upload
andreabedini/foliage
6
open
2
closed
- Make foliage repositories buildable Nix
- Allow pinning the content of remote sources with hashes
-
Add information about revisions to
packages.json -
foliage sdist <pkg-id> - Use patches for revisions
- foliage caching issues
- Show changelogs in the site if we have them
- Add a package version consistency check
input-output-hk/cardano-haskell-packages
7
open
- Come up with a better way of excluding packages that can't build on a particular GHC
- Add GHC 9.6 to the compilers list for CI
- Add some kind of check for dangling revised cabal files
-
Cut down the evaluation overhead of
build-packages -
Teach the
build-new-packagesCI to build revised packages also - Add a workflow to update the flake inputs occasionally
- Try using upload/download tarifact to speed up the repository transfer in CI