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
#98 - Replace this temporary workaround when AST is updated with positional information.
Issue -
State: open - Opened by chuabingquan over 3 years ago
#98 - Replace this temporary workaround when AST is updated with positional information.
Issue -
State: open - Opened by chuabingquan 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