Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / flix/flix issues and pull requests

#9788 - chore: tweaks to `ZhegalkinPerf`

Pull Request - State: closed - Opened by magnus-madsen 16 days ago

#9787 - feat: add blockApply and exhaustively to ConstraintSolver2.Soup

Pull Request - State: closed - Opened by mlutze 16 days ago

#9787 - feat: add blockApply and exhaustively to ConstraintSolver2.Soup

Pull Request - State: closed - Opened by mlutze 16 days ago

#9786 - fix: mark progress in purifyEmptyRegion

Pull Request - State: closed - Opened by mlutze 16 days ago

#9786 - fix: mark progress in purifyEmptyRegion

Pull Request - State: closed - Opened by mlutze 16 days ago

#9785 - refactor: introduce canSubstitute predicate

Pull Request - State: closed - Opened by mlutze 16 days ago

#9784 - fix: predicates are syntactic kinds

Pull Request - State: closed - Opened by mlutze 16 days ago

#9784 - fix: predicates are syntactic kinds

Pull Request - State: closed - Opened by mlutze 16 days ago

#9783 - refactor: remove type completer

Pull Request - State: closed - Opened by stormckey 17 days ago

#9783 - refactor: remove type completer

Pull Request - State: closed - Opened by stormckey 17 days ago

#9782 - feat: don't allocate new empty tree in SubstitutionTree.shallow

Pull Request - State: closed - Opened by mlutze 17 days ago

#9782 - feat: don't allocate new empty tree in SubstitutionTree.shallow

Pull Request - State: closed - Opened by mlutze 17 days ago

#9781 - feat: short-circuit on empty constraint set in EffUnification3

Pull Request - State: closed - Opened by mlutze 17 days ago

#9781 - feat: short-circuit on empty constraint set in EffUnification3

Pull Request - State: closed - Opened by mlutze 17 days ago

#9780 - feat: introduce blockEffectUnification to ConstraintSolver

Pull Request - State: closed - Opened by mlutze 17 days ago

#9780 - feat: introduce blockEffectUnification to ConstraintSolver

Pull Request - State: closed - Opened by mlutze 17 days ago

#9779 - fix: refresh flexible instance variables in contextReduction

Pull Request - State: closed - Opened by mlutze 17 days ago

#9779 - fix: refresh flexible instance variables in contextReduction

Pull Request - State: closed - Opened by mlutze 17 days ago

#9777 - refactor: make progress non-implicit in ConstraintSolver2

Pull Request - State: closed - Opened by mlutze 17 days ago - 2 comments

#9777 - refactor: make progress non-implicit in ConstraintSolver2

Pull Request - State: closed - Opened by mlutze 17 days ago - 2 comments

#9776 - refactor: change the signature of updateStaleValues

Pull Request - State: closed - Opened by stormckey 17 days ago

#9776 - refactor: change the signature of updateStaleValues

Pull Request - State: closed - Opened by stormckey 17 days ago

#9775 - Finer Visibility Check

Issue - State: open - Opened by stormckey 17 days ago

#9775 - Finer Visibility Check

Issue - State: open - Opened by stormckey 17 days ago

#9774 - feat: add progress to SetUnification

Pull Request - State: closed - Opened by mlutze 17 days ago

#9774 - feat: add progress to SetUnification

Pull Request - State: closed - Opened by mlutze 17 days ago

#9773 - Final cleanup for LocalScope Completer

Issue - State: open - Opened by stormckey 17 days ago

#9773 - Final cleanup for LocalScope Completer

Issue - State: open - Opened by stormckey 17 days ago

#9772 - fix: increase solver size threshold

Pull Request - State: closed - Opened by mlutze 17 days ago

#9772 - fix: increase solver size threshold

Pull Request - State: closed - Opened by mlutze 17 days ago

#9771 - fix: check the visibility for completion for sigs, ops and tags

Pull Request - State: closed - Opened by stormckey 17 days ago - 3 comments

#9771 - fix: check the visibility for completion for sigs, ops and tags

Pull Request - State: closed - Opened by stormckey 17 days ago - 3 comments

#9770 - refactor: use tparams in Typer.visitInstance

Pull Request - State: closed - Opened by mlutze 17 days ago

#9770 - refactor: use tparams in Typer.visitInstance

Pull Request - State: closed - Opened by mlutze 17 days ago

#9769 - fix: unseal SetUnification.SolverListener

Pull Request - State: closed - Opened by mlutze 17 days ago - 4 comments

#9769 - fix: unseal SetUnification.SolverListener

Pull Request - State: closed - Opened by mlutze 17 days ago - 4 comments

#9768 - refactor: introduce module completer

Pull Request - State: closed - Opened by stormckey 17 days ago

#9768 - refactor: introduce module completer

Pull Request - State: closed - Opened by stormckey 17 days ago

#9767 - test: wip raw performance output

Pull Request - State: open - Opened by mlutze 17 days ago

#9767 - test: wip raw performance output

Pull Request - State: open - Opened by mlutze 17 days ago

#9766 - feat: add provenance to TypeConstraint2

Pull Request - State: closed - Opened by mlutze 17 days ago

#9766 - feat: add provenance to TypeConstraint2

Pull Request - State: closed - Opened by mlutze 17 days ago

#9765 - feat: improve substitution tree interface

Pull Request - State: closed - Opened by mlutze 17 days ago

#9764 - refactor: update `ZhegalikPerf`

Pull Request - State: closed - Opened by magnus-madsen 18 days ago - 1 comment

#9762 - chore: cleanup `VSCodeLspServer`

Pull Request - State: closed - Opened by magnus-madsen 20 days ago - 1 comment

#9761 - feat: introduce effect keyword completer

Pull Request - State: closed - Opened by stormckey 20 days ago

#9761 - feat: introduce effect keyword completer

Pull Request - State: closed - Opened by stormckey 20 days ago

#9760 - feat: add partition and merge api to ChangeSet

Pull Request - State: closed - Opened by stormckey 20 days ago - 4 comments

#9759 - ci: add support for external perf server

Pull Request - State: closed - Opened by magnus-madsen 20 days ago - 7 comments

#9758 - refactor: introduce tag completer

Pull Request - State: closed - Opened by stormckey 20 days ago - 4 comments

#9757 - fix: use associated type tparams in TypeReduction2

Pull Request - State: closed - Opened by mlutze 20 days ago

#9757 - fix: use associated type tparams in TypeReduction2

Pull Request - State: closed - Opened by mlutze 20 days ago

#9756 - fix: make runWithTimeout public and add fix leak

Pull Request - State: closed - Opened by mlutze 20 days ago

#9756 - fix: make runWithTimeout public and add fix leak

Pull Request - State: closed - Opened by mlutze 20 days ago

#9755 - chore: catch TypeReconstruction2 up with TypeReconstruction

Pull Request - State: closed - Opened by mlutze 20 days ago

#9755 - chore: catch TypeReconstruction2 up with TypeReconstruction

Pull Request - State: closed - Opened by mlutze 20 days ago

#9754 - fix: use proper tparams in TraitEnv

Pull Request - State: closed - Opened by mlutze 20 days ago

#9754 - fix: use proper tparams in TraitEnv

Pull Request - State: closed - Opened by mlutze 20 days ago

#9753 - Annotate `java.lang.Class` with primitive effects

Issue - State: open - Opened by jaschdoc 20 days ago

#9753 - Annotate `java.lang.Class` with primitive effects

Issue - State: open - Opened by jaschdoc 20 days ago

#9752 - fix: use scope in RigidityEnv

Pull Request - State: closed - Opened by mlutze 20 days ago

#9752 - fix: use scope in RigidityEnv

Pull Request - State: closed - Opened by mlutze 20 days ago

#9751 - fix: introduce scope tvar inside the region

Pull Request - State: closed - Opened by mlutze 20 days ago

#9750 - Wrong assoc type error location

Issue - State: open - Opened by JonathanStarup 20 days ago - 1 comment
Labels: bug, blocked, A: error reporting, A: typing

#9749 - ci: add talpin1992-in-flix to community build

Pull Request - State: closed - Opened by mlutze 20 days ago

#9748 - refactor: introduce sig completer

Pull Request - State: closed - Opened by stormckey 21 days ago

#9748 - refactor: introduce sig completer

Pull Request - State: closed - Opened by stormckey 21 days ago

#9747 - feat: support hover for the standalone lsp

Pull Request - State: closed - Opened by stormckey 21 days ago - 1 comment

#9747 - feat: support hover for the standalone lsp

Pull Request - State: closed - Opened by stormckey 21 days ago - 1 comment

#9746 - refactor: use ListMap for ChangeSet

Pull Request - State: closed - Opened by stormckey 21 days ago - 5 comments

#9745 - refactor: remove `Option` from `TypedAst.entryPoints`

Pull Request - State: closed - Opened by jaschdoc 21 days ago - 3 comments

#9744 - refactor: let HoverProvider return Option[Hover]

Pull Request - State: closed - Opened by stormckey 21 days ago - 9 comments

#9743 - chore: update vulnerable dependency

Pull Request - State: closed - Opened by jaschdoc 21 days ago

#9742 - feat: optimize trait environment lookups

Pull Request - State: closed - Opened by mlutze 21 days ago - 3 comments

#9741 - Documentation of gotchas in the standard library

Issue - State: open - Opened by ryepesg 21 days ago - 9 comments
Labels: A: standard library

#9740 - feat: compile flix for stand alone lsp

Pull Request - State: closed - Opened by stormckey 22 days ago - 2 comments

#9738 - refactor: introduce OpCompleter

Pull Request - State: closed - Opened by stormckey 22 days ago - 2 comments

#9737 - refactor: compute more stats in `ZhegalkinPerf`

Pull Request - State: closed - Opened by magnus-madsen 22 days ago

#9736 - chore: remove unreachable errors

Pull Request - State: closed - Opened by mlutze 22 days ago

#9734 - feat: load main for the standalone lsp when initializing

Pull Request - State: closed - Opened by stormckey 23 days ago - 1 comment

#9733 - test: remove broken test

Pull Request - State: closed - Opened by mlutze 23 days ago

#9732 - test: remove broken test

Pull Request - State: closed - Opened by mlutze 23 days ago

#9731 - feat: add smart subeffecting

Pull Request - State: closed - Opened by magnus-madsen 23 days ago

#9730 - feat: add `effect-lock` command

Pull Request - State: open - Opened by jaschdoc 24 days ago - 1 comment

#9729 - feat: add box-and-whiskers plots to `ZhegalkinPerf`

Pull Request - State: closed - Opened by magnus-madsen 24 days ago

#9729 - feat: add box-and-whiskers plots to `ZhegalkinPerf`

Pull Request - State: closed - Opened by magnus-madsen 24 days ago

#9728 - Support hover for standalone LSP

Issue - State: open - Opened by stormckey 24 days ago - 5 comments

#9727 - feat: add data collection to `ZhegalkinPerf`

Pull Request - State: closed - Opened by magnus-madsen 24 days ago

#9727 - feat: add data collection to `ZhegalkinPerf`

Pull Request - State: closed - Opened by magnus-madsen 24 days ago

#9726 - no `new XYZ` completion

Issue - State: open - Opened by JonathanStarup 24 days ago - 4 comments
Labels: bug, A: lsp, A: java interop

#9726 - no `new XYZ` completion

Issue - State: open - Opened by JonathanStarup 24 days ago - 4 comments
Labels: bug, A: lsp, A: java interop

#9725 - Code copy in EnumCompleter EffectCompleter ...

Issue - State: open - Opened by stormckey 24 days ago

#9724 - chore: remove redundant file

Pull Request - State: closed - Opened by mlutze 24 days ago

#9724 - chore: remove redundant file

Pull Request - State: closed - Opened by mlutze 24 days ago