Skip to content

Issues: smucclaw/sandbox

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

14 Open 13 Closed
14 Open 13 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

Let CLI request a specific rule parser
#36 opened Nov 30, 2021 by mengwong
@mengwong
allow parameterization of GIVEN and other keywords
#34 opened Nov 1, 2021 by mengwong
Improve the indentation parsing
#33 opened Oct 25, 2021 by anka-213
1
add SrcRef annotations to other rule types
#32 opened Oct 20, 2021 by mengwong
what to do about left-shifted first terms?
#31 opened Oct 20, 2021 by mengwong
1
add support for rule labels and defeasible meta-rules
#27 opened Oct 12, 2021 by mengwong
1
integrate mp against vue-pure-pdpa so we can spin up a new web app
#23 opened Oct 12, 2021 by mengwong
1
document how to prettyprint boxes
#21 opened Oct 12, 2021 by mengwong
1
output from our intermediate L4 to natural language via the existing AnyAll
#20 opened Oct 12, 2021 by mengwong
1
mp should parse the regulative rules tab
#19 opened Oct 12, 2021 by mengwong
mp should parse the constitutive rules tab
#18 opened Oct 12, 2021 by mengwong
mp should parse the pdpa tab
#17 opened Oct 12, 2021 by mengwong
@mengwong
handle pilcrow separation
#14 opened Oct 12, 2021 by mengwong
@mengwong
1
replace hardcoded output to file, with output to STDOUT and STDERR
#8 opened Jun 21, 2021 by mengwong
@ffrixslee
2
ProTip! Type g i on any issue or pull request to go back to the issue listing page.