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

#50 - Add tests for lsp server

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

#48 - Incomplete translation to SCASP, works for RPS demo

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

#48 - Incomplete translation to SCASP, works for RPS demo

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

#47 - Fix windows build

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

#47 - Fix windows build

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

#46 - First step - pulled Program into hover processing

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

#46 - First step - pulled Program into hover processing

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

#45 - add-r34.l4

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

#45 - add-r34.l4

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

#44 - Make Paths.l4 location independent

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

#44 - Make Paths.l4 location independent

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

#43 - Make Paths.l4 location independent

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

#43 - Make Paths.l4 location independent

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

#42 - Typechecking with error annotations

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

#42 - Typechecking with error annotations

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

#41 - Include rule names in translations

Issue - State: open - Opened by Gauntlet173 almost 4 years ago
Labels: enhancement

#41 - Include rule names in translations

Issue - State: open - Opened by Gauntlet173 almost 4 years ago
Labels: enhancement

#40 - command line flag to select specific gf translation type

Issue - State: closed - Opened by Gauntlet173 almost 4 years ago - 1 comment
Labels: enhancement

#40 - command line flag to select specific gf translation type

Issue - State: closed - Opened by Gauntlet173 almost 4 years ago - 1 comment
Labels: enhancement

#39 - Fix installation instructions to make GF_LIB_PATH permanent

Issue - State: closed - Opened by anka-213 almost 4 years ago - 1 comment
Labels: help wanted

#39 - Fix installation instructions to make GF_LIB_PATH permanent

Issue - State: closed - Opened by anka-213 almost 4 years ago - 1 comment
Labels: help wanted

#38 - NLG improvements

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

#38 - NLG improvements

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

#37 - Code questions

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

#37 - Code questions

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

#36 - Typing

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

#36 - Typing

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

#35 - [Finalized] Clear diagnostics #19

Pull Request - State: closed - Opened by ffrixslee almost 4 years ago - 7 comments

#35 - [Finalized] Clear diagnostics #19

Pull Request - State: closed - Opened by ffrixslee almost 4 years ago - 7 comments

#34 - Added CLI subcommand support

Pull Request - State: closed - Opened by alfredats almost 4 years ago - 10 comments

#34 - Added CLI subcommand support

Pull Request - State: closed - Opened by alfredats almost 4 years ago - 10 comments

#33 - Add printf debugging for GF_LIB_PATH env variable

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

#33 - Add printf debugging for GF_LIB_PATH env variable

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

#31 - Add source locations to the AST and prepare for LSP use

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

#31 - Add source locations to the AST and prepare for LSP use

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

#30 - improve typing

Issue - State: closed - Opened by mengwong almost 4 years ago - 2 comments

#30 - improve typing

Issue - State: closed - Opened by mengwong almost 4 years ago - 2 comments

#29 - draft more examples that illustrate the baby l4 language

Issue - State: open - Opened by mengwong almost 4 years ago - 2 comments

#29 - draft more examples that illustrate the baby l4 language

Issue - State: open - Opened by mengwong almost 4 years ago - 2 comments

#28 - does this show up in baby l4 todo?

Issue - State: closed - Opened by mengwong almost 4 years ago

#28 - does this show up in baby l4 todo?

Issue - State: closed - Opened by mengwong almost 4 years ago

#26 - add annotations / decorations of types and source positions

Issue - State: closed - Opened by mengwong almost 4 years ago

#26 - add annotations / decorations of types and source positions

Issue - State: closed - Opened by mengwong almost 4 years ago

#25 - how do we model multiparty obligations?

Issue - State: open - Opened by mengwong almost 4 years ago - 1 comment

#25 - how do we model multiparty obligations?

Issue - State: open - Opened by mengwong almost 4 years ago - 1 comment

#24 - add built-in keyword deontics

Issue - State: open - Opened by mengwong almost 4 years ago - 3 comments

#23 - Confirm multi-platform support for LSP backend

Issue - State: open - Opened by mengwong almost 4 years ago - 1 comment

#22 - Add position annotations to the AST

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

#21 - Typing

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

#20 - essential typing

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

#19 - Clear diagnostics when they are no longer relevant.

Issue - State: closed - Opened by anka-213 almost 4 years ago - 3 comments
Labels: IDE

#18 - Try some simple github actions

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

#17 - Include patched version of stack with support for custom preprocessors

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

#16 - IDE demo: Show names of tokens on hover

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

#15 - Rename bl4-lsp-server to lsp-server-bl4

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

#14 - Dynamic lexicon

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

#13 - Add positions to the parser and lexer errors

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

#12 - Remove dependency on RGL

Issue - State: closed - Opened by kharus almost 4 years ago - 3 comments

#11 - Rename lsp exec

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

#10 - Add build instructions

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

#9 - Add lsp file to hie.yaml

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

#8 - Add lsp server

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

#7 - Generate automatic status reports from test suite

Issue - State: open - Opened by inariksit almost 4 years ago - 2 comments
Labels: good first issue

#6 - Add support for proper command line parsing, as in the main dsl repo

Issue - State: closed - Opened by anka-213 almost 4 years ago - 3 comments
Labels: good first issue

#5 - Command line options for l4 executable + clean up Main

Issue - State: closed - Opened by inariksit almost 4 years ago - 1 comment

#4 - Minimal NLG functionality + test file l4/mini.l4

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

#3 - Support for dynamic creation and compilation of GF files

Issue - State: closed - Opened by inariksit almost 4 years ago - 2 comments

#2 - Automatically build gf files with cabal

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

#1 - Minor fixes and cleanup

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