Skip to content

Issues: vale1410/bule

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

25 Open 34 Closed
25 Open 34 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

std lib Sinz Sequential Counter spurious activation
#58 opened Jan 20, 2023 by AbdallahS
Std lib inconsistent over index vs std_index
#57 opened Jan 20, 2023 by AbdallahS
better error message when #ground is missing.
#56 opened Aug 4, 2022 by vale1410
prefix standard library predicates with std_
#53 opened Jul 15, 2022 by vale1410
Display more information from the original unground program enhancement
#50 opened Jul 9, 2022 by vale1410
Introduce syntax "#forall" without specifying the level
#48 opened Jul 1, 2022 by AbdallahS
performance test 2
#46 opened May 7, 2022 by vale1410
1
order of arithemtic expression matter
#44 opened Apr 30, 2022 by vale1410
Generate clauses of which
#43 opened Mar 8, 2022 by vale1410
1
Using wrong brackets: better error message
#40 opened Feb 26, 2022 by vale1410
More information in Error for debugging : line numbers
#39 opened Feb 26, 2022 by vale1410
Running bule2 with introduction examples creates infinite loop.
#38 opened Feb 22, 2022 by StephanieGouw
Introduce error detection mechanism in the grounding enhancement
#25 opened Aug 12, 2021 by AbdallahS
@AbdallahS
1
Introduce "bule2 --blame" enhancement
#24 opened Aug 12, 2021 by AbdallahS
@AbdallahS
Let bule read from stdin
#23 opened Jul 25, 2021 by AbdallahS
@vale1410
Bule DIMACS output file could be more readable
#21 opened Jun 29, 2021 by jajushubh25
1
Unfinished last statement is not detected and no error is raised
#20 opened Jun 24, 2021 by AbdallahS
@vale1410
Grouding: Avoid generating identical clauses from unnamed variables.
#15 opened May 22, 2021 by AbdallahS
Preserve literal order in grounding
#14 opened May 22, 2021 by AbdallahS
Negation in Generator and Free Variables
#12 opened May 20, 2021 by vale1410
2
Dont allow free variables
#11 opened May 12, 2021 by vale1410
Fix std Err and Output of Bule regarding pipe from Solvers
#10 opened May 12, 2021 by vale1410
1
Code with a variable occuring in different quantifier blocks isn't rejected.
#8 opened May 12, 2021 by AbdallahS
Bule doesnt solve equations with 2*X==4
#6 opened May 12, 2021 by vale1410
Alternative notation for quantifiers
#4 opened Mar 4, 2021 by AbdallahS
ProTip! Adding no:label will show everything without a label.