Skip to content

Issues: smucclaw/baby-l4

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

22 Open 23 Closed
22 Open 23 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

More template types for the CNL descriptions NLG Natural Language Generation
#105 opened Sep 3, 2021 by inariksit
@Meowyam @inariksit @1Regina
Replace this temporary workaround when AST is updated with positional information.
#98 opened Jun 25, 2021 by chuabingquan
Create a flat Error structure IDE Anything lsp/ide related
#97 opened Jun 25, 2021 by anka-213
@Martin-Strecker @chuabingquan
@alfredats @akjw
Add file-names to the SrcLoc structure
#96 opened Jun 25, 2021 by anka-213
Fix the installation instructions
#93 opened Jun 24, 2021 by anka-213
7
Complete LExSIS transpilation
#90 opened Jun 21, 2021 by alfredats
1
@alfredats
2
More precise error message for errors in types
#89 opened Jun 9, 2021 by Martin-Strecker
@Martin-Strecker
Decide on a Haskell auto-formatter
#86 opened Jun 8, 2021 by anka-213
Replace the cabal file with package.yaml
#84 opened Jun 7, 2021 by inariksit
1
@Meowyam
1
Complete ToSCASP.hs
#83 opened Jun 3, 2021 by inariksit
3
improve introductory user-facing documentation for baby-l4
#82 opened Jun 3, 2021 by mengwong
@mengwong @Martin-Strecker
1
Restructure AST for easier use in the IDE backend
#68 opened May 17, 2021 by anka-213
@anka-213 @kharus @Martin-Strecker
1
Write go to Definition IDE Anything lsp/ide related
#61 opened May 11, 2021 by kharus
@kharus
3
Finish Hover provider IDE Anything lsp/ide related
#60 opened May 11, 2021 by kharus
5 of 16 tasks
@kharus
Include rule names in translations enhancement New feature or request
#41 opened Mar 26, 2021 by Gauntlet173
Consider using record syntax for the AST to reduce extra work when adding more fields
#32 opened Mar 3, 2021 by anka-213
@anka-213 @inariksit
@Martin-Strecker @2jacobtan
2
draft more examples that illustrate the baby l4 language
#29 opened Mar 2, 2021 by mengwong
@Martin-Strecker @Gauntlet173
2
given a sourcefile position location, identify the element in the AST that's there.
#27 opened Mar 2, 2021 by mengwong
1 task
@anka-213 @2jacobtan
1
how do we model multiparty obligations?
#25 opened Mar 2, 2021 by mengwong
1
add built-in keyword deontics
#24 opened Mar 2, 2021 by mengwong
3
Confirm multi-platform support for LSP backend
#23 opened Mar 2, 2021 by mengwong
@anka-213
1
Generate automatic status reports from test suite good first issue Good for newcomers
#7 opened Feb 23, 2021 by inariksit
1 of 3 tasks
@anka-213
2
ProTip! no:milestone will show everything without a milestone.