Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / plow-technologies/inferno issues and pull requests
#37 - WIP: A Concurrency Tester for Inferno-VC (and other servant servers)
Issue -
State: open - Opened by siddharth-krishna over 1 year ago
Labels: enhancement
#37 - WIP: A Concurrency Tester for Inferno-VC (and other servant servers)
Issue -
State: open - Opened by siddharth-krishna over 1 year ago
Labels: enhancement
#36 - Use RWLock to prevent races in inferno-vc-server
Pull Request -
State: closed - Opened by siddharth-krishna over 1 year ago
- 1 comment
#36 - Use RWLock to prevent races in inferno-vc-server
Pull Request -
State: closed - Opened by siddharth-krishna over 1 year ago
- 1 comment
#35 - Concurrent tests for inferno-vc
Pull Request -
State: open - Opened by siddharth-krishna over 1 year ago
#35 - Concurrent tests for inferno-vc
Pull Request -
State: open - Opened by siddharth-krishna over 1 year ago
#34 - Revert usage of chooseInt (not supported on old Quickcheck versions)
Pull Request -
State: closed - Opened by mirko-plowtech over 1 year ago
#34 - Revert usage of chooseInt (not supported on old Quickcheck versions)
Pull Request -
State: closed - Opened by mirko-plowtech over 1 year ago
#33 - Build `treefmt-check` first
Pull Request -
State: closed - Opened by ngua over 1 year ago
#33 - Build `treefmt-check` first
Pull Request -
State: closed - Opened by ngua over 1 year ago
#32 - Run `treefmt` first so that formatting errors break CI quickly
Issue -
State: closed - Opened by siddharth-krishna over 1 year ago
- 1 comment
#32 - Run `treefmt` first so that formatting errors break CI quickly
Issue -
State: closed - Opened by siddharth-krishna over 1 year ago
- 1 comment
#31 - Define an Arbitrary instance for VCObject for golden tests
Pull Request -
State: closed - Opened by siddharth-krishna over 1 year ago
#31 - Define an Arbitrary instance for VCObject for golden tests
Pull Request -
State: closed - Opened by siddharth-krishna over 1 year ago
#30 - Implement Serialize for VCObjectHash + provide golden tests for it
Pull Request -
State: closed - Opened by mirko-plowtech over 1 year ago
#30 - Implement Serialize for VCObjectHash + provide golden tests for it
Pull Request -
State: closed - Opened by mirko-plowtech over 1 year ago
#29 - Convert VCObjectHash to be an instance of Binary or Serialize
Issue -
State: closed - Opened by mirko-plowtech over 1 year ago
- 1 comment
Labels: enhancement, good first issue
#29 - Convert VCObjectHash to be an instance of Binary or Serialize
Issue -
State: closed - Opened by mirko-plowtech over 1 year ago
- 1 comment
Labels: enhancement, good first issue
#28 - [perf] Refactor parsing of tuples and prefix ops
Pull Request -
State: closed - Opened by siddharth-krishna over 1 year ago
#28 - [perf] Refactor parsing of tuples and prefix ops
Pull Request -
State: closed - Opened by siddharth-krishna over 1 year ago
#27 - Fix dependency version conflict
Pull Request -
State: closed - Opened by siddharth-krishna over 1 year ago
#27 - Fix dependency version conflict
Pull Request -
State: closed - Opened by siddharth-krishna over 1 year ago
#26 - Improve formatting setup and fix `devShells.ghc884`
Pull Request -
State: closed - Opened by ngua over 1 year ago
#26 - Improve formatting setup and fix `devShells.ghc884`
Pull Request -
State: closed - Opened by ngua over 1 year ago
#25 - Upgrade to GHC 9.2.5
Issue -
State: open - Opened by ngua over 1 year ago
Labels: bug, nix
#25 - Upgrade to GHC 9.2.5
Issue -
State: closed - Opened by ngua over 1 year ago
Labels: bug, nix
#24 - Add `inferno` cache and switch CI to build with Nix
Pull Request -
State: closed - Opened by ngua over 1 year ago
- 1 comment
#24 - Add `inferno` cache and switch CI to build with Nix
Pull Request -
State: closed - Opened by ngua over 1 year ago
- 1 comment
#23 - `devShells.ghc884` is broken
Issue -
State: closed - Opened by ngua over 1 year ago
- 1 comment
Labels: bug
#23 - `devShells.ghc884` is broken
Issue -
State: closed - Opened by ngua over 1 year ago
- 1 comment
Labels: bug
#22 - Switch to `treefmt-nix`
Issue -
State: closed - Opened by ngua over 1 year ago
Labels: enhancement
#22 - Switch to `treefmt-nix`
Issue -
State: closed - Opened by ngua over 1 year ago
Labels: enhancement
#21 - Set up binary cache and use Nix on CI
Issue -
State: closed - Opened by ngua over 1 year ago
Labels: enhancement
#21 - Set up binary cache and use Nix on CI
Issue -
State: closed - Opened by ngua over 1 year ago
Labels: enhancement
#20 - Profiling build of `inferno` binary
Pull Request -
State: closed - Opened by goodlyrottenapple over 1 year ago
#20 - Profiling build of `inferno` binary
Pull Request -
State: closed - Opened by goodlyrottenapple over 1 year ago
#19 - Quick succession of saving script leads to broken history state
Issue -
State: open - Opened by shulhi over 1 year ago
- 1 comment
#19 - Quick succession of saving script leads to broken history state
Issue -
State: open - Opened by shulhi over 1 year ago
- 1 comment
#18 - Add `devShells` for VS Code packages
Pull Request -
State: closed - Opened by ngua over 1 year ago
#18 - Add `devShells` for VS Code packages
Pull Request -
State: closed - Opened by ngua over 1 year ago
#17 - Fix `packages.vscode-inferno-syntax-highlighting`
Pull Request -
State: closed - Opened by ngua over 1 year ago
#17 - Fix `packages.vscode-inferno-syntax-highlighting`
Pull Request -
State: closed - Opened by ngua over 1 year ago
#17 - Fix `packages.vscode-inferno-syntax-highlighting`
Pull Request -
State: closed - Opened by ngua over 1 year ago
#16 - Add `devShells` for NPM packages
Issue -
State: closed - Opened by ngua over 1 year ago
Labels: enhancement, nix
#16 - Add `devShells` for NPM packages
Issue -
State: closed - Opened by ngua over 1 year ago
Labels: enhancement, nix
#15 - `vscode-inferno-syntax-highlighting` is broken
Issue -
State: closed - Opened by ngua over 1 year ago
Labels: bug, nix
#15 - `vscode-inferno-syntax-highlighting` is broken
Issue -
State: closed - Opened by ngua over 1 year ago
Labels: bug, nix
#14 - Consider switching to `buildNpmPackage` from `nixpkgs`
Issue -
State: open - Opened by ngua over 1 year ago
Labels: enhancement, nix
#14 - Consider switching to `buildNpmPackage` from `nixpkgs`
Issue -
State: open - Opened by ngua over 1 year ago
Labels: enhancement, nix
#14 - Consider switching to `buildNpmPackage` from `nixpkgs`
Issue -
State: open - Opened by ngua over 1 year ago
Labels: enhancement, nix
#13 - Fix incorrect shadowing of variables in match expressions
Pull Request -
State: closed - Opened by goodlyrottenapple almost 2 years ago
#13 - Fix incorrect shadowing of variables in match expressions
Pull Request -
State: closed - Opened by goodlyrottenapple almost 2 years ago
#12 - Add inferno executable
Pull Request -
State: closed - Opened by goodlyrottenapple almost 2 years ago
#12 - Add inferno executable
Pull Request -
State: closed - Opened by goodlyrottenapple almost 2 years ago
#11 - Fix broken vs code extension build + lsp server
Pull Request -
State: closed - Opened by goodlyrottenapple almost 2 years ago
#11 - Fix broken vs code extension build + lsp server
Pull Request -
State: closed - Opened by goodlyrottenapple almost 2 years ago
#11 - Fix broken vs code extension build + lsp server
Pull Request -
State: closed - Opened by goodlyrottenapple almost 2 years ago
#10 - Ormolu segfaults on M1 mac
Issue -
State: open - Opened by goodlyrottenapple almost 2 years ago
- 3 comments
Labels: bug
#10 - Ormolu segfaults on M1 mac
Issue -
State: open - Opened by goodlyrottenapple almost 2 years ago
- 3 comments
Labels: bug
#9 - Improve unification error when it fails
Pull Request -
State: open - Opened by shulhi almost 2 years ago
#9 - Improve unification error when it fails
Pull Request -
State: open - Opened by shulhi almost 2 years ago
#9 - Improve unification error when it fails
Pull Request -
State: open - Opened by shulhi almost 2 years ago
#8 - Update Nix instructions
Pull Request -
State: closed - Opened by ngua almost 2 years ago
#8 - Update Nix instructions
Pull Request -
State: closed - Opened by ngua almost 2 years ago
#7 - Pattern match is implemented incorrectly
Issue -
State: closed - Opened by goodlyrottenapple almost 2 years ago
- 1 comment
#7 - Pattern match is implemented incorrectly
Issue -
State: closed - Opened by goodlyrottenapple almost 2 years ago
- 1 comment
#7 - Pattern match is implemented incorrectly
Issue -
State: closed - Opened by goodlyrottenapple almost 2 years ago
- 1 comment
#6 - Switch to `flake-parts`
Pull Request -
State: closed - Opened by ngua almost 2 years ago
#6 - Switch to `flake-parts`
Pull Request -
State: closed - Opened by ngua almost 2 years ago
#5 - Fix year and month function to truncate time component properly
Pull Request -
State: closed - Opened by shulhi almost 2 years ago
#5 - Fix year and month function to truncate time component properly
Pull Request -
State: closed - Opened by shulhi almost 2 years ago
#4 - Nix setup
Pull Request -
State: closed - Opened by ngua almost 2 years ago
#4 - Nix setup
Pull Request -
State: closed - Opened by ngua almost 2 years ago
#4 - Nix setup
Pull Request -
State: closed - Opened by ngua almost 2 years ago
#4 - Nix setup
Pull Request -
State: closed - Opened by ngua almost 2 years ago
#3 - Add Ormolu format check to CI
Pull Request -
State: closed - Opened by siddharth-krishna almost 2 years ago
#3 - Add Ormolu format check to CI
Pull Request -
State: closed - Opened by siddharth-krishna almost 2 years ago
#2 - Add "missing" commits
Pull Request -
State: closed - Opened by siddharth-krishna almost 2 years ago
#2 - Add "missing" commits
Pull Request -
State: closed - Opened by siddharth-krishna almost 2 years ago
#2 - Add "missing" commits
Pull Request -
State: closed - Opened by siddharth-krishna almost 2 years ago
#2 - Add "missing" commits
Pull Request -
State: closed - Opened by siddharth-krishna almost 2 years ago
#1 - GitHub Actions CI to build and test
Pull Request -
State: closed - Opened by siddharth-krishna almost 2 years ago
#1 - GitHub Actions CI to build and test
Pull Request -
State: closed - Opened by siddharth-krishna almost 2 years ago