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
#9887 - fix: propogate error locations in contextReduction
Pull Request -
State: open - Opened by mlutze 7 days ago
#9886 - feat: support code action for stand alone lsp
Pull Request -
State: open - Opened by stormckey 7 days ago
#9885 - refactor: use new CofiniteSet in Monomorpher
Pull Request -
State: open - Opened by mlutze 7 days ago
#9884 - Add tokens to all frontend ASTs
Issue -
State: open - Opened by magnus-madsen 7 days ago
- 4 comments
Labels: A: lsp
#9883 - feat: add generic CofiniteSet
Pull Request -
State: closed - Opened by mlutze 7 days ago
- 6 comments
#9882 - Reversing order in SVE breaks
Issue -
State: open - Opened by magnus-madsen 8 days ago
Labels: bug
#9881 - refactor: introduce StringCursor
Pull Request -
State: open - Opened by JonathanStarup 8 days ago
- 3 comments
#9880 - refactor: make show ast provider return path
Pull Request -
State: closed - Opened by stormckey 8 days ago
#9879 - refactor: make RenameProvider return WorkspaceEdit
Pull Request -
State: closed - Opened by stormckey 8 days ago
#9878 - test: update Debug.scala to work on substitution trees
Pull Request -
State: closed - Opened by mlutze 8 days ago
#9877 - refactor: make GotoProvider return LocationLink
Pull Request -
State: closed - Opened by stormckey 8 days ago
#9876 - refactor: make FindReferencesProvider return Set of Locations
Pull Request -
State: closed - Opened by stormckey 8 days ago
#9875 - refactor: make CodeLensProvider return CodeLens
Pull Request -
State: closed - Opened by stormckey 8 days ago
#9874 - perf: add histogram to `ZhegalkinPerf`
Pull Request -
State: closed - Opened by magnus-madsen 8 days ago
#9873 - refactor: make CompletionProvider return CompletionList
Pull Request -
State: closed - Opened by stormckey 8 days ago
#9872 - perf: tweak `SetSubstitution.apply`
Pull Request -
State: closed - Opened by magnus-madsen 8 days ago
- 1 comment
#9871 - perf: tweak `ZhegalkinCaches`
Pull Request -
State: closed - Opened by magnus-madsen 8 days ago
- 1 comment
#9870 - Update signature of `SetUnification.solve` and establish invariants
Issue -
State: open - Opened by magnus-madsen 8 days ago
#9869 - refactor: cleanup `SetUnification`
Pull Request -
State: closed - Opened by magnus-madsen 8 days ago
- 1 comment
#9868 - Expand `SemanticTokensProvider` to provide more tokens
Issue -
State: open - Opened by magnus-madsen 8 days ago
- 11 comments
Labels: A: lsp
#9867 - feat: support semantic tokens for standalone lsp
Pull Request -
State: closed - Opened by stormckey 9 days ago
- 6 comments
#9866 - refactor: semantic tokens do not return JObject directly
Pull Request -
State: closed - Opened by stormckey 9 days ago
#9865 - feat: support document highlight for stand alone lsp
Pull Request -
State: closed - Opened by stormckey 9 days ago
#9864 - chore: remove JvmUnification
Pull Request -
State: closed - Opened by mlutze 9 days ago
#9863 - feat: make instances incremental
Pull Request -
State: open - Opened by stormckey 9 days ago
- 3 comments
#9862 - experiment: heap effects
Pull Request -
State: open - Opened by mlutze 9 days ago
#9861 - refactor: make processHighLight return Set[DocumentHighlight]
Pull Request -
State: closed - Opened by stormckey 9 days ago
#9860 - How to complete a name with multiple resolutions
Issue -
State: open - Opened by stormckey 9 days ago
- 10 comments
#9859 - feat: move ident to namespace for QName when there is a trailing dot
Pull Request -
State: open - Opened by stormckey 9 days ago
- 19 comments
#9858 - refactor: remove effect-related stuff from BoolUnification
Pull Request -
State: closed - Opened by mlutze 9 days ago
#9857 - Remove Completers relying on regex
Issue -
State: open - Opened by stormckey 9 days ago
- 1 comment
#9856 - chore: remove dead code in Type.scala
Pull Request -
State: closed - Opened by mlutze 9 days ago
#9855 - `Array.empty` inconsistent
Issue -
State: open - Opened by mlutze 9 days ago
- 1 comment
Labels: A: standard library
#9854 - refactor: solve multiple equations in SVE
Pull Request -
State: closed - Opened by magnus-madsen 9 days ago
- 2 comments
#9853 - perf: tweaks to `ZhegalinPerf`
Pull Request -
State: closed - Opened by magnus-madsen 9 days ago
#9852 - refactor: polish and rename TypeReduction
Pull Request -
State: open - Opened by mlutze 10 days ago
- 2 comments
#9851 - perf: tweak output of `ZhegalinPerf`
Pull Request -
State: closed - Opened by magnus-madsen 10 days ago
#9850 - chore: remove Type.isRegion
Pull Request -
State: closed - Opened by mlutze 10 days ago
- 1 comment
#9849 - refactor: add `Xzhegalkin` command
Pull Request -
State: closed - Opened by magnus-madsen 10 days ago
#9848 - perf: use `IntMap` in `SetSubstitution`
Pull Request -
State: closed - Opened by magnus-madsen 11 days ago
#9847 - feat: release 0.57.0
Pull Request -
State: closed - Opened by magnus-madsen 11 days ago
#9846 - refactor: remove `SetUnification.Options`
Pull Request -
State: closed - Opened by magnus-madsen 11 days ago
#9845 - perf: update `ZhegalkinPerf`
Pull Request -
State: closed - Opened by magnus-madsen 11 days ago
#9844 - feat: support partially qualified name for EnumTagCompleter
Pull Request -
State: closed - Opened by stormckey 13 days ago
- 1 comment
#9843 - test: enable ignored Redundancy tests
Pull Request -
State: closed - Opened by mlutze 13 days ago
#9842 - test: enable ignored Typer tests
Pull Request -
State: closed - Opened by mlutze 13 days ago
#9841 - chore: remove Regions phase
Pull Request -
State: closed - Opened by mlutze 13 days ago
- 2 comments
#9840 - refactor: remove unnecessary named parameters in Regex
Pull Request -
State: closed - Opened by gwydd12 13 days ago
- 4 comments
#9839 - chore: remove dead code from ConstraintSolver2
Pull Request -
State: closed - Opened by mlutze 13 days ago
#9838 - perf: collect rule stats for `SetUnification`
Pull Request -
State: closed - Opened by magnus-madsen 13 days ago
#9837 - feat: identify trailing dot in QName
Pull Request -
State: closed - Opened by stormckey 13 days ago
- 10 comments
#9836 - refactor: introduce Type.Apply.renew
Pull Request -
State: closed - Opened by mlutze 13 days ago
#9835 - chore: remove henv in Kinder
Pull Request -
State: closed - Opened by mlutze 13 days ago
#9834 - chore: rename RecordConstraintSolver and SchemaConstraintSolver
Pull Request -
State: closed - Opened by mlutze 13 days ago
- 2 comments
#9833 - refactor: remove BroadEqualityConstraint and EqualityEnvironment
Pull Request -
State: closed - Opened by mlutze 13 days ago
#9832 - feat: introduce EqualityEnv
Pull Request -
State: closed - Opened by mlutze 13 days ago
- 2 comments
#9831 - refactor: return Option from CaseSetUnification
Pull Request -
State: closed - Opened by mlutze 13 days ago
#9830 - refactor: return Option from BoolUnification
Pull Request -
State: closed - Opened by mlutze 13 days ago
#9829 - chore: remove dead code in EffUnification3
Pull Request -
State: closed - Opened by mlutze 13 days ago
#9828 - refactor: send TraitEnvironment.entails through the regular solver
Pull Request -
State: closed - Opened by mlutze 13 days ago
#9827 - refactor: simplify `SetFormula`
Pull Request -
State: closed - Opened by magnus-madsen 13 days ago
- 1 comment
#9826 - chore: remove dead code in Unification
Pull Request -
State: closed - Opened by mlutze 13 days ago
#9825 - chore: remove TestAssocTypeUnification
Pull Request -
State: closed - Opened by mlutze 13 days ago
#9824 - Fix flix package file name
Issue -
State: open - Opened by jaschdoc 14 days ago
Labels: bug
#9823 - Lexer will treat ".\n" as DotWhiteSpace
Issue -
State: closed - Opened by stormckey 14 days ago
- 7 comments
#9822 - chore: remove use of BroadEqualityConstraint in BoolUnification
Pull Request -
State: closed - Opened by mlutze 14 days ago
#9821 - feat: use endsWithDot from QName
Pull Request -
State: closed - Opened by stormckey 14 days ago
- 2 comments
#9820 - refactor: remove use of BroadEqualityConstraint from Scheme.scala
Pull Request -
State: closed - Opened by mlutze 14 days ago
#9819 - chore: remove dead code from EqualityEnvironment
Pull Request -
State: closed - Opened by mlutze 14 days ago
- 1 comment
#9818 - chore: remove Monomorpher.infallibleReduceAssocType
Pull Request -
State: closed - Opened by mlutze 14 days ago
#9817 - chore: remove dead code in AssocTypeSubstitution and EqualityEnvironment
Pull Request -
State: closed - Opened by mlutze 14 days ago
- 1 comment
#9816 - fix: properly initialize schemes in Kinder
Pull Request -
State: open - Opened by mlutze 14 days ago
#9815 - refactor: simplify `SetFormula.mkInter2` and `SetFormula.mkInter3`
Pull Request -
State: closed - Opened by magnus-madsen 14 days ago
#9814 - refactor: remove dependencies on Unification.scala
Pull Request -
State: closed - Opened by mlutze 14 days ago
#9813 - chore: remove old constraint solver
Pull Request -
State: closed - Opened by mlutze 14 days ago
#9812 - refactor: move withSupers function to Typer
Pull Request -
State: closed - Opened by mlutze 14 days ago
#9811 - feat: require parentheses for datalog-if-guard
Pull Request -
State: closed - Opened by stormckey 15 days ago
- 6 comments
#9810 - Introduce a proper complexity/timeout mechanism in SetUnification
Issue -
State: open - Opened by magnus-madsen 15 days ago
#9809 - fix: remove ExprSnippetCompleter from UndefinedAnnotation
Pull Request -
State: closed - Opened by stormckey 15 days ago
#9808 - feat: introduce RegionSym
Pull Request -
State: closed - Opened by mlutze 15 days ago
- 3 comments
#9807 - feat: introduce SharedContext to Instances
Pull Request -
State: closed - Opened by stormckey 15 days ago
- 3 comments
#9806 - test: add more tests to `TestSetUnification`
Pull Request -
State: closed - Opened by magnus-madsen 15 days ago
#9805 - refactor: consolidate TypeConstraint and TypeConstraint2
Pull Request -
State: closed - Opened by mlutze 15 days ago
#9804 - perf: collect more data in `ZhegalkinPerf`
Pull Request -
State: closed - Opened by magnus-madsen 15 days ago
#9803 - chore: clean up ConstraintSolver2
Pull Request -
State: closed - Opened by mlutze 16 days ago
#9802 - Experiment with performance of `ChangeSet`
Issue -
State: open - Opened by magnus-madsen 16 days ago
- 1 comment
#9801 - feat: make PatMatch incremental
Pull Request -
State: closed - Opened by stormckey 16 days ago
#9800 - feat: make PredDeps incremental
Pull Request -
State: closed - Opened by stormckey 16 days ago
#9799 - refactor: introduce ConstraintSolverInterface
Pull Request -
State: closed - Opened by mlutze 16 days ago
- 1 comment
#9798 - feat: make Regions incremental
Pull Request -
State: closed - Opened by stormckey 16 days ago
- 1 comment
#9797 - refactor: remove unused Soup companion object
Pull Request -
State: closed - Opened by mlutze 16 days ago
#9796 - refactor: use ConstraintSolver2 for Scheme
Pull Request -
State: closed - Opened by mlutze 16 days ago
#9795 - refactor: delegate solveAllTypes to solveAll
Pull Request -
State: closed - Opened by mlutze 16 days ago
#9794 - feat: expand constraint solver steps
Pull Request -
State: closed - Opened by mlutze 16 days ago
#9793 - refactor: use new changeset api for existing incremental compilation
Pull Request -
State: closed - Opened by stormckey 16 days ago
#9792 - refactor: take initialSubst in solveAll
Pull Request -
State: closed - Opened by mlutze 16 days ago
#9791 - refactor: make solveOne operate on Soup instead of constraint list
Pull Request -
State: closed - Opened by mlutze 16 days ago
#9790 - ci: introduce perf tag to semantic commit
Pull Request -
State: closed - Opened by mlutze 16 days ago
#9789 - feat: introduce Soup.renew
Pull Request -
State: closed - Opened by mlutze 16 days ago
#9788 - chore: tweaks to `ZhegalkinPerf`
Pull Request -
State: closed - Opened by magnus-madsen 16 days ago