Ecosyste.ms: Issues

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

GitHub / smucclaw/baby-l4 issues and pull requests

#100 - Change error & hover IDE msgs to 1-based index

Pull Request - State: closed - Opened by alfredats over 3 years ago - 6 comments

#100 - Change error & hover IDE msgs to 1-based index

Pull Request - State: closed - Opened by alfredats over 3 years ago - 6 comments

#99 - #84 replace cabal with package yaml

Pull Request - State: closed - Opened by Meowyam over 3 years ago

#99 - #84 replace cabal with package yaml

Pull Request - State: closed - Opened by Meowyam over 3 years ago

#97 - Create a flat Error structure

Issue - State: open - Opened by anka-213 over 3 years ago
Labels: IDE

#97 - Create a flat Error structure

Issue - State: open - Opened by anka-213 over 3 years ago
Labels: IDE

#96 - Add file-names to the SrcLoc structure

Issue - State: open - Opened by anka-213 over 3 years ago

#96 - Add file-names to the SrcLoc structure

Issue - State: open - Opened by anka-213 over 3 years ago

#95 - Don't use 0-indexed locations

Issue - State: closed - Opened by anka-213 over 3 years ago - 2 comments
Labels: IDE

#95 - Don't use 0-indexed locations

Issue - State: closed - Opened by anka-213 over 3 years ago - 2 comments
Labels: IDE

#94 - Complete lexsis

Pull Request - State: closed - Opened by alfredats over 3 years ago

#94 - Complete lexsis

Pull Request - State: closed - Opened by alfredats over 3 years ago

#93 - Fix the installation instructions

Issue - State: open - Opened by anka-213 over 3 years ago - 7 comments

#93 - Fix the installation instructions

Issue - State: open - Opened by anka-213 over 3 years ago - 7 comments

#92 - Support lexicon creation of all types of functions

Issue - State: closed - Opened by inariksit over 3 years ago - 1 comment

#92 - Support lexicon creation of all types of functions

Issue - State: closed - Opened by inariksit over 3 years ago - 1 comment

#91 - Generate PGF to verbalise s(CASP) answers from L4 code

Pull Request - State: closed - Opened by inariksit over 3 years ago - 3 comments

#91 - Generate PGF to verbalise s(CASP) answers from L4 code

Pull Request - State: closed - Opened by inariksit over 3 years ago - 3 comments

#90 - Complete LExSIS transpilation

Issue - State: open - Opened by alfredats over 3 years ago - 2 comments

#90 - Complete LExSIS transpilation

Issue - State: open - Opened by alfredats over 3 years ago - 2 comments

#89 - More precise error message for errors in types

Issue - State: open - Opened by Martin-Strecker over 3 years ago

#89 - More precise error message for errors in types

Issue - State: open - Opened by Martin-Strecker over 3 years ago

#88 - In parsing natural language descriptions, support placeholder arguments

Issue - State: closed - Opened by inariksit over 3 years ago - 1 comment
Labels: NLG

#88 - In parsing natural language descriptions, support placeholder arguments

Issue - State: closed - Opened by inariksit over 3 years ago - 1 comment
Labels: NLG

#87 - Smtgen

Pull Request - State: closed - Opened by Martin-Strecker over 3 years ago - 2 comments

#87 - Smtgen

Pull Request - State: closed - Opened by Martin-Strecker over 3 years ago - 2 comments

#86 - Decide on a Haskell auto-formatter

Issue - State: open - Opened by anka-213 over 3 years ago

#86 - Decide on a Haskell auto-formatter

Issue - State: open - Opened by anka-213 over 3 years ago

#85 - Add custom LSP errors & add handler for different types of problems

Pull Request - State: closed - Opened by alfredats over 3 years ago

#85 - Add custom LSP errors & add handler for different types of problems

Pull Request - State: closed - Opened by alfredats over 3 years ago

#84 - Replace the cabal file with package.yaml

Issue - State: open - Opened by inariksit over 3 years ago - 1 comment

#84 - Replace the cabal file with package.yaml

Issue - State: open - Opened by inariksit over 3 years ago - 1 comment

#83 - Complete ToSCASP.hs

Issue - State: open - Opened by inariksit over 3 years ago - 3 comments

#83 - Complete ToSCASP.hs

Issue - State: open - Opened by inariksit over 3 years ago - 3 comments

#82 - improve introductory user-facing documentation for baby-l4

Issue - State: open - Opened by mengwong over 3 years ago - 1 comment

#82 - improve introductory user-facing documentation for baby-l4

Issue - State: open - Opened by mengwong over 3 years ago - 1 comment

#81 - Update the isomorphic English grammar to use the same structure as Questions and Answer

Issue - State: closed - Opened by inariksit over 3 years ago - 1 comment
Labels: NLG

#81 - Update the isomorphic English grammar to use the same structure as Questions and Answer

Issue - State: closed - Opened by inariksit over 3 years ago - 1 comment
Labels: NLG

#80 - add test for rule subexpr

Pull Request - State: closed - Opened by akjw over 3 years ago

#80 - add test for rule subexpr

Pull Request - State: closed - Opened by akjw over 3 years ago

#79 - Improvements in the GF grammar for producing answers

Pull Request - State: closed - Opened by inariksit over 3 years ago

#79 - Improvements in the GF grammar for producing answers

Pull Request - State: closed - Opened by inariksit over 3 years ago

#78 - Show type info on hover

Pull Request - State: closed - Opened by alfredats over 3 years ago - 1 comment

#78 - Show type info on hover

Pull Request - State: closed - Opened by alfredats over 3 years ago - 1 comment

#77 - Add type class for annotations

Pull Request - State: closed - Opened by anka-213 over 3 years ago - 1 comment

#77 - Add type class for annotations

Pull Request - State: closed - Opened by anka-213 over 3 years ago - 1 comment

#76 - Mergify: configuration update

Pull Request - State: closed - Opened by anka-213 over 3 years ago

#76 - Mergify: configuration update

Pull Request - State: closed - Opened by anka-213 over 3 years ago

#75 - Mergify: configuration update

Pull Request - State: closed - Opened by anka-213 over 3 years ago

#75 - Mergify: configuration update

Pull Request - State: closed - Opened by anka-213 over 3 years ago

#74 - Copy hover test files, Complete tc-tests for Rules

Pull Request - State: closed - Opened by alfredats over 3 years ago - 2 comments

#74 - Copy hover test files, Complete tc-tests for Rules

Pull Request - State: closed - Opened by alfredats over 3 years ago - 2 comments

#73 - fix logging for debugM

Pull Request - State: closed - Opened by akjw over 3 years ago - 5 comments

#73 - fix logging for debugM

Pull Request - State: closed - Opened by akjw over 3 years ago - 5 comments

#72 - Use 1-index line and column numbers in error messages

Issue - State: closed - Opened by anka-213 over 3 years ago
Labels: IDE

#72 - Use 1-index line and column numbers in error messages

Issue - State: closed - Opened by anka-213 over 3 years ago
Labels: IDE

#71 - Add type errors

Pull Request - State: closed - Opened by akjw over 3 years ago

#71 - Add type errors

Pull Request - State: closed - Opened by akjw over 3 years ago

#70 - Display type errors in diagnostics

Issue - State: closed - Opened by anka-213 over 3 years ago
Labels: IDE

#70 - Display type errors in diagnostics

Issue - State: closed - Opened by anka-213 over 3 years ago
Labels: IDE

#69 - Convert TODO to github issues

Pull Request - State: closed - Opened by kharus over 3 years ago

#69 - Convert TODO to github issues

Pull Request - State: closed - Opened by kharus over 3 years ago

#68 - Restructure AST for easier use in the IDE backend

Issue - State: open - Opened by anka-213 over 3 years ago - 1 comment

#68 - Restructure AST for easier use in the IDE backend

Issue - State: open - Opened by anka-213 over 3 years ago - 1 comment

#67 - Handle different kinds of problems differently!

Issue - State: closed - Opened by kharus over 3 years ago - 2 comments
Labels: IDE

#67 - Handle different kinds of problems differently!

Issue - State: closed - Opened by kharus over 3 years ago - 2 comments
Labels: IDE

#66 - Add custom error type for LSP

Issue - State: closed - Opened by kharus over 3 years ago - 1 comment
Labels: good first issue, IDE

#66 - Add custom error type for LSP

Issue - State: closed - Opened by kharus over 3 years ago - 1 comment
Labels: good first issue, IDE

#65 - Show type information on hover

Issue - State: closed - Opened by kharus over 3 years ago - 1 comment
Labels: IDE

#65 - Show type information on hover

Issue - State: closed - Opened by kharus over 3 years ago - 1 comment
Labels: IDE

#64 - Use `debugM` instead of `elog`

Issue - State: closed - Opened by kharus over 3 years ago
Labels: IDE

#64 - Use `debugM` instead of `elog`

Issue - State: closed - Opened by kharus over 3 years ago
Labels: IDE

#63 - Accept a virtual file as well

Issue - State: closed - Opened by kharus over 3 years ago - 1 comment
Labels: IDE

#63 - Accept a virtual file as well

Issue - State: closed - Opened by kharus over 3 years ago - 1 comment
Labels: IDE

#62 - Change LSP tests to use their own test files

Issue - State: closed - Opened by kharus over 3 years ago - 1 comment
Labels: good first issue, IDE

#62 - Change LSP tests to use their own test files

Issue - State: closed - Opened by kharus over 3 years ago - 1 comment
Labels: good first issue, IDE

#61 - Write go to Definition

Issue - State: open - Opened by kharus over 3 years ago - 3 comments
Labels: IDE

#61 - Write go to Definition

Issue - State: open - Opened by kharus over 3 years ago - 3 comments
Labels: IDE

#60 - Finish Hover provider

Issue - State: open - Opened by kharus over 3 years ago
Labels: IDE

#60 - Finish Hover provider

Issue - State: open - Opened by kharus over 3 years ago
Labels: IDE

#59 - WIP: Interactively ask the user for lexicon entries

Pull Request - State: closed - Opened by anka-213 almost 4 years ago

#58 - Unify Questions and Answers to use Predicates grammar

Pull Request - State: closed - Opened by inariksit almost 4 years ago

#58 - Unify Questions and Answers to use Predicates grammar

Pull Request - State: closed - Opened by inariksit almost 4 years ago

#57 - IDE: Make feedback realtime

Pull Request - State: closed - Opened by anka-213 almost 4 years ago

#57 - IDE: Make feedback realtime

Pull Request - State: closed - Opened by anka-213 almost 4 years ago

#56 - merge smtgen

Pull Request - State: closed - Opened by Martin-Strecker almost 4 years ago

#56 - merge smtgen

Pull Request - State: closed - Opened by Martin-Strecker almost 4 years ago

#55 - Run tests in github actions

Pull Request - State: closed - Opened by anka-213 almost 4 years ago

#55 - Run tests in github actions

Pull Request - State: closed - Opened by anka-213 almost 4 years ago

#54 - add tests for globalVarDecl & rule; LegalPractitioner test fails due to overlap w/ rule

Pull Request - State: closed - Opened by akjw almost 4 years ago - 1 comment

#54 - add tests for globalVarDecl & rule; LegalPractitioner test fails due to overlap w/ rule

Pull Request - State: closed - Opened by akjw almost 4 years ago - 1 comment

#53 - Worst-case lexicon handling

Pull Request - State: closed - Opened by inariksit almost 4 years ago

#53 - Worst-case lexicon handling

Pull Request - State: closed - Opened by inariksit almost 4 years ago

#52 - Add hover for ClassDecl and mark failure as expected

Pull Request - State: closed - Opened by kharus almost 4 years ago

#52 - Add hover for ClassDecl and mark failure as expected

Pull Request - State: closed - Opened by kharus almost 4 years ago

#51 - Implement hover on mapping and add tests for it

Pull Request - State: closed - Opened by kharus almost 4 years ago - 2 comments

#51 - Implement hover on mapping and add tests for it

Pull Request - State: closed - Opened by kharus almost 4 years ago - 2 comments

#50 - Add tests for lsp server

Pull Request - State: closed - Opened by anka-213 almost 4 years ago