Ecosyste.ms: Issues

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

GitHub / smucclaw/naturall5 issues and pull requests

#29 - Web DSL: Syntax highlighting for Justification Trace

Issue - State: open - Opened by JuliaPoo over 1 year ago

#28 - Web : UI

Issue - State: open - Opened by lczm over 1 year ago

#28 - Web : UI

Issue - State: open - Opened by lczm over 1 year ago

#27 - Web DSL : Annotations

Issue - State: closed - Opened by lczm over 1 year ago - 1 comment

#27 - Web DSL : Annotations

Issue - State: closed - Opened by lczm over 1 year ago - 1 comment

#26 - Web DSL : Data Structures

Issue - State: open - Opened by lczm over 1 year ago

#26 - Web DSL : Data Structures

Issue - State: open - Opened by lczm over 1 year ago

#25 - Web DSL : Switch Cases / AnyAll

Issue - State: open - Opened by lczm over 1 year ago - 1 comment

#25 - Web DSL : Switch Cases / AnyAll

Issue - State: open - Opened by lczm over 1 year ago - 1 comment

#24 - Web DSL : Execution Trace

Issue - State: closed - Opened by lczm over 1 year ago

#23 - L5: Parser should be able to parse nested strings

Issue - State: open - Opened by lczm over 1 year ago

#23 - L5: Parser should be able to parse nested strings

Issue - State: open - Opened by lczm over 1 year ago

#22 - NaturalL5: Exploring UI for writing L5

Issue - State: open - Opened by JuliaPoo over 1 year ago - 2 comments

#21 - L5: DISCUSSION SANDBOX

Issue - State: open - Opened by JuliaPoo over 1 year ago - 8 comments

#21 - L5: DISCUSSION SANDBOX

Issue - State: open - Opened by JuliaPoo over 1 year ago - 8 comments

#20 - L5: Update wiki on updated semantics

Issue - State: open - Opened by JuliaPoo over 1 year ago

#19 - L5: Formalize the constructs in terms of Kripke semantics

Issue - State: closed - Opened by JuliaPoo over 1 year ago

#19 - L5: Formalize the constructs in terms of Kripke semantics

Issue - State: closed - Opened by JuliaPoo over 1 year ago

#18 - L5: Cannot analyse deontic actions with different instances

Issue - State: closed - Opened by JuliaPoo over 1 year ago - 2 comments

#17 - l5: Write instancing and namespaces into the EBNF

Issue - State: closed - Opened by lczm over 1 year ago

#16 - Parser redo

Pull Request - State: closed - Opened by lczm over 1 year ago

#15 - L5 Semantic changes TODO

Issue - State: closed - Opened by JuliaPoo over 1 year ago

#13 - Organize build files such that they don't rely on each other

Issue - State: open - Opened by lczm over 1 year ago

#9 - web-runtime-prototype: Add exception handling to the DSL

Issue - State: closed - Opened by JuliaPoo over 1 year ago

#6 - web-runtime-prototype: Implement conclusion callback

Issue - State: closed - Opened by JuliaPoo over 1 year ago

#4 - web-runtime-prototype: Support Enums

Issue - State: open - Opened by JuliaPoo over 1 year ago

#2 - Lexer

Pull Request - State: closed - Opened by lczm over 1 year ago - 1 comment

#1 - L5 Parser init infra

Pull Request - State: closed - Opened by lczm over 1 year ago