Skip to content

Issues: salmans/rusty-razor

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

19 Open 22 Closed
19 Open 22 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

Drop Skolem functions and constants when printing models enhancement New feature or request
#127 opened Sep 12, 2021 by salmans
@salmans
Replace elements with user-defined constants when pretty printing models enhancement New feature or request
#126 opened Sep 12, 2021 by salmans
@salmans
Pretty print instrumentation of tracing in relational implementation
#114 opened Nov 16, 2020 by salmans
@salmans
make pre_process of PreProcessorEx return a Result type
#112 opened Nov 16, 2020 by salmans
@salmans
Use Rewrite for rewrite in relational model
#110 opened Nov 15, 2020 by salmans
Enforce the bounds more accurately on the relational implementation
#109 opened Nov 14, 2020 by salmans
Consider removing reference and batch implementation to investigate To learn about the root cause of the behavior
#108 opened Nov 14, 2020 by salmans
@salmans
remove chase_all: move it to test modules
#107 opened Nov 11, 2020 by salmans
Avoid unnecessary cloning of the parent model when evaluating enhancement New feature or request
#106 opened Nov 7, 2020 by salmans
@salmans
implement a strategy that prioritizes sequents with fewer branches first enhancement New feature or request
#105 opened Nov 7, 2020 by salmans
@salmans
Support reading theories form code blocks of markdown files enhancement New feature or request
#91 opened Jan 28, 2020 by salmans
Benchmark Razor against Alloy to investigate To learn about the root cause of the behavior
#82 opened Jan 4, 2020 by salmans
strategy for evaluating relevant sequents to investigate To learn about the root cause of the behavior
#67 opened Nov 21, 2019 by salmans
document show_incomplete parameter
#66 opened Nov 21, 2019 by salmans
Add an option for reusing existing elements when possible enhancement New feature or request
#51 opened May 12, 2019 by salmans
Implement sorts in the core model-finding algorithm question Further information is requested to investigate To learn about the root cause of the behavior
#49 opened May 9, 2019 by salmans
create a rule for converting Razor's syntax to Geolog enhancement New feature or request
#48 opened May 9, 2019 by salmans
Support TPTP library enhancement New feature or request
#43 opened May 5, 2019 by salmans
Generate structured output enhancement New feature or request
#42 opened May 5, 2019 by salmans
2 tasks
ProTip! no:milestone will show everything without a milestone.