Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / tweag/nickel issues and pull requests
#1634 - Honor `nostdlib` in customize mode as well
Pull Request -
State: closed - Opened by vkleen over 1 year ago
#1633 - Implement a first solution for collecting metrics during a Nickel evaluation
Pull Request -
State: closed - Opened by vkleen over 1 year ago
- 2 comments
#1632 - Make `eval` an explicit subcommand and restructure the CLI somewhat
Pull Request -
State: closed - Opened by vkleen over 1 year ago
#1631 - Implement contract deduplication optimization
Pull Request -
State: closed - Opened by yannham over 1 year ago
#1630 - Infinite recursion when applying record contract twice
Issue -
State: closed - Opened by YorikSar over 1 year ago
- 1 comment
Labels: type: bug
#1629 - Hover support without the linearizer
Pull Request -
State: closed - Opened by jneem over 1 year ago
#1628 - flake.lock: Update
Pull Request -
State: closed - Opened by yannham over 1 year ago
#1627 - Refine lsp document symbols
Issue -
State: closed - Opened by jneem over 1 year ago
Labels: type: feature request, area: lsp
#1627 - Refine lsp document symbols
Issue -
State: open - Opened by jneem over 1 year ago
Labels: type: feature request, area: lsp
#1627 - Refine lsp document symbols
Issue -
State: open - Opened by jneem over 1 year ago
Labels: type: feature request, area: lsp
#1627 - Refine lsp document symbols
Issue -
State: open - Opened by jneem over 1 year ago
Labels: type: feature request, area: lsp
#1627 - Refine lsp document symbols
Issue -
State: open - Opened by jneem over 1 year ago
Labels: type: feature request, area: lsp
#1626 - More CI speed
Pull Request -
State: closed - Opened by Radvendii over 1 year ago
#1625 - Remove the double contract application introduced in #1194
Pull Request -
State: closed - Opened by vkleen over 1 year ago
#1625 - Remove the double contract application introduced in #1194
Pull Request -
State: closed - Opened by vkleen over 1 year ago
#1625 - Remove the double contract application introduced in #1194
Pull Request -
State: closed - Opened by vkleen over 1 year ago
#1625 - Remove the double contract application introduced in #1194
Pull Request -
State: closed - Opened by vkleen over 1 year ago
#1624 - Pin and update Topiary
Pull Request -
State: closed - Opened by ErinvanderVeen over 1 year ago
#1624 - Pin and update Topiary
Pull Request -
State: closed - Opened by ErinvanderVeen over 1 year ago
#1624 - Pin and update Topiary
Pull Request -
State: closed - Opened by ErinvanderVeen over 1 year ago
#1623 - Convert symbols request away from the linearizer
Pull Request -
State: closed - Opened by jneem over 1 year ago
- 2 comments
#1623 - Convert symbols request away from the linearizer
Pull Request -
State: closed - Opened by jneem over 1 year ago
- 2 comments
#1623 - Convert symbols request away from the linearizer
Pull Request -
State: closed - Opened by jneem over 1 year ago
- 2 comments
#1622 - Investigate degradation of performance for medium-size codebase (5~10 kLoc)
Issue -
State: open - Opened by yannham over 1 year ago
Labels: P0, type: bug
#1622 - Investigate degradation of performance for medium-size codebase (5~10 kLoc)
Issue -
State: closed - Opened by yannham over 1 year ago
- 4 comments
Labels: P0, type: bug
#1622 - Investigate degradation of performance for medium-size codebase (5~10 kLoc)
Issue -
State: open - Opened by yannham over 1 year ago
Labels: P0, type: bug
#1621 - Make the customize mode CLI available for `nickel eval`
Issue -
State: closed - Opened by yannham over 1 year ago
- 1 comment
Labels: type: feature request, area: cli
#1621 - Make the customize mode CLI available for `nickel eval`
Issue -
State: open - Opened by yannham over 1 year ago
Labels: type: feature request, area: cli
#1621 - Make the customize mode CLI available for `nickel eval`
Issue -
State: open - Opened by yannham over 1 year ago
Labels: type: feature request, area: cli
#1621 - Make the customize mode CLI available for `nickel eval`
Issue -
State: open - Opened by yannham over 1 year ago
Labels: type: feature request, area: cli
#1620 - CLI improvement: `nickel eval` and positional file arguments
Issue -
State: open - Opened by yannham over 1 year ago
Labels: type: feature request, area: cli
#1620 - CLI improvement: `nickel eval` and positional file arguments
Issue -
State: closed - Opened by yannham over 1 year ago
- 1 comment
Labels: type: feature request, area: cli
#1620 - CLI improvement: `nickel eval` and positional file arguments
Issue -
State: open - Opened by yannham over 1 year ago
Labels: type: feature request, area: cli
#1620 - CLI improvement: `nickel eval` and positional file arguments
Issue -
State: open - Opened by yannham over 1 year ago
Labels: type: feature request, area: cli
#1620 - CLI improvement: `nickel eval` and positional file arguments
Issue -
State: open - Opened by yannham over 1 year ago
Labels: type: feature request, area: cli
#1619 - Lazily attaching functional contracts to record contracts
Issue -
State: open - Opened by YorikSar over 1 year ago
- 9 comments
Labels: type: feature request
#1619 - Lazily attaching functional contracts to record contracts
Issue -
State: open - Opened by YorikSar over 1 year ago
- 9 comments
Labels: type: feature request
#1619 - Lazily attaching functional contracts to record contracts
Issue -
State: open - Opened by YorikSar over 1 year ago
- 9 comments
Labels: type: feature request
#1619 - Lazily attaching functional contracts to record contracts
Issue -
State: open - Opened by YorikSar over 1 year ago
- 9 comments
Labels: type: feature request
#1619 - Lazily attaching functional contracts to record contracts
Issue -
State: open - Opened by YorikSar over 1 year ago
- 9 comments
Labels: type: feature request
#1618 - Optimize merging of identical terms
Pull Request -
State: closed - Opened by vkleen over 1 year ago
#1618 - Optimize merging of identical terms
Pull Request -
State: closed - Opened by vkleen over 1 year ago
#1617 - Assume -> ApplyContract
Pull Request -
State: closed - Opened by yannham over 1 year ago
- 1 comment
#1617 - Assume -> ApplyContract
Pull Request -
State: closed - Opened by yannham over 1 year ago
- 1 comment
#1617 - Assume -> ApplyContract
Pull Request -
State: closed - Opened by yannham over 1 year ago
- 1 comment
#1617 - Assume -> ApplyContract
Pull Request -
State: closed - Opened by yannham over 1 year ago
- 1 comment
#1617 - Assume -> ApplyContract
Pull Request -
State: closed - Opened by yannham over 1 year ago
- 1 comment
#1616 - Outputting / serializing to the Nickel format
Issue -
State: closed - Opened by rob-p over 1 year ago
- 2 comments
#1616 - Outputting / serializing to the Nickel format
Issue -
State: closed - Opened by rob-p over 1 year ago
- 2 comments
#1615 - Run a REPL session for `nickel #repl` snippets
Pull Request -
State: closed - Opened by vkleen over 1 year ago
#1615 - Run a REPL session for `nickel #repl` snippets
Pull Request -
State: closed - Opened by vkleen over 1 year ago
#1615 - Run a REPL session for `nickel #repl` snippets
Pull Request -
State: closed - Opened by vkleen over 1 year ago
#1614 - Imperative Traverse
Pull Request -
State: open - Opened by Radvendii over 1 year ago
- 7 comments
#1614 - Imperative Traverse
Pull Request -
State: open - Opened by Radvendii over 1 year ago
- 16 comments
#1614 - Imperative Traverse
Pull Request -
State: open - Opened by Radvendii over 1 year ago
- 15 comments
#1614 - Imperative Traverse
Pull Request -
State: open - Opened by Radvendii over 1 year ago
- 7 comments
#1614 - Imperative Traverse
Pull Request -
State: open - Opened by Radvendii over 1 year ago
- 7 comments
#1613 - Support completion while in the middle of a complex record
Issue -
State: open - Opened by thufschmitt over 1 year ago
Labels: type: feature request, area: lsp
#1613 - Support completion while in the middle of a complex record
Issue -
State: open - Opened by thufschmitt over 1 year ago
- 1 comment
Labels: type: feature request, area: lsp
#1613 - Support completion while in the middle of a complex record
Issue -
State: open - Opened by thufschmitt over 1 year ago
Labels: type: feature request, area: lsp
#1612 - flake.lock: Update
Pull Request -
State: closed - Opened by yannham over 1 year ago
#1612 - flake.lock: Update
Pull Request -
State: closed - Opened by yannham over 1 year ago
#1611 - Testing Nickel snippets in the manual
Pull Request -
State: closed - Opened by vkleen over 1 year ago
#1611 - Testing Nickel snippets in the manual
Pull Request -
State: closed - Opened by vkleen over 1 year ago
#1611 - Testing Nickel snippets in the manual
Pull Request -
State: closed - Opened by vkleen over 1 year ago
#1611 - Testing Nickel snippets in the manual
Pull Request -
State: closed - Opened by vkleen over 1 year ago
#1611 - Testing Nickel snippets in the manual
Pull Request -
State: closed - Opened by vkleen over 1 year ago
#1610 - Move goto away from the linearizer
Pull Request -
State: closed - Opened by jneem over 1 year ago
#1610 - Move goto away from the linearizer
Pull Request -
State: closed - Opened by jneem over 1 year ago
#1610 - Move goto away from the linearizer
Pull Request -
State: closed - Opened by jneem over 1 year ago
#1610 - Move goto away from the linearizer
Pull Request -
State: closed - Opened by jneem over 1 year ago
#1610 - Move goto away from the linearizer
Pull Request -
State: closed - Opened by jneem over 1 year ago
#1609 - Update VSCode extension to 0.3
Pull Request -
State: closed - Opened by yannham over 1 year ago
#1609 - Update VSCode extension to 0.3
Pull Request -
State: closed - Opened by yannham over 1 year ago
#1609 - Update VSCode extension to 0.3
Pull Request -
State: closed - Opened by yannham over 1 year ago
#1608 - Update the version number in the manual introduction
Pull Request -
State: closed - Opened by vkleen over 1 year ago
#1608 - Update the version number in the manual introduction
Pull Request -
State: closed - Opened by vkleen over 1 year ago
#1608 - Update the version number in the manual introduction
Pull Request -
State: closed - Opened by vkleen over 1 year ago
#1607 - Update the version number in the manual introduction
Pull Request -
State: closed - Opened by vkleen over 1 year ago
- 1 comment
#1607 - Update the version number in the manual introduction
Pull Request -
State: closed - Opened by vkleen over 1 year ago
- 1 comment
#1607 - Update the version number in the manual introduction
Pull Request -
State: closed - Opened by vkleen over 1 year ago
- 1 comment
#1607 - Update the version number in the manual introduction
Pull Request -
State: closed - Opened by vkleen over 1 year ago
- 1 comment
#1606 - [REVIEW & CI] 1.2.1 release
Pull Request -
State: closed - Opened by yannham over 1 year ago
#1606 - [REVIEW & CI] 1.2.1 release
Pull Request -
State: closed - Opened by yannham over 1 year ago
#1606 - [REVIEW & CI] 1.2.1 release
Pull Request -
State: closed - Opened by yannham over 1 year ago
#1605 - Fix an off-by-one error in the LSP formatter
Pull Request -
State: closed - Opened by vkleen over 1 year ago
#1604 - Put embedded topiary formatting behind a feature flag for NLS
Pull Request -
State: closed - Opened by vkleen over 1 year ago
#1603 - Backport 1.2.0 release to master
Pull Request -
State: closed - Opened by yannham over 1 year ago
#1601 - [DO NOT MERGE] 1.2.0 release
Pull Request -
State: closed - Opened by yannham over 1 year ago
- 1 comment
#1600 - Disable recursive priorities
Pull Request -
State: closed - Opened by yannham over 1 year ago
#1599 - Statically merge partial record definitions
Pull Request -
State: closed - Opened by vkleen over 1 year ago
#1597 - Large piecewise records create deeply nested ASTs and lead to stack overflow when type checking
Issue -
State: closed - Opened by Quantum64 over 1 year ago
- 3 comments
#1596 - chore(deps): bump aws-actions/configure-aws-credentials from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, github_actions
#1595 - Cleanup the code a bit (a lot)
Pull Request -
State: closed - Opened by gtsiam over 1 year ago
- 7 comments
#1594 - print nice logs without losing speedup
Pull Request -
State: closed - Opened by Radvendii over 1 year ago
#1593 - flake.lock: Update
Pull Request -
State: closed - Opened by yannham over 1 year ago
#1592 - Publish pyckel to PyPI
Issue -
State: open - Opened by suimong over 1 year ago
- 6 comments
#1591 - Comparative benchmark suite
Issue -
State: open - Opened by yannham over 1 year ago
Labels: type: feature request
#1590 - Nickel-kubernetes
Issue -
State: open - Opened by yannham over 1 year ago
Labels: type: feature request
#1589 - Incremental evaluation
Issue -
State: open - Opened by yannham over 1 year ago
Labels: type: feature request