Issues
- 1
Differential Matching for Chase
#90 opened by salmans - 1
rename `PreProcessorEx`
#111 opened by salmans - 0
- 0
- 2
Consider using LALRPOP
#40 opened by KiChjang - 0
- 0
- 1
Create `as_...` methods on `Term` to convert the term to `Var`, `App`, and `Const`
#113 opened by salmans - 0
- 0
- 0
- 0
Use `Rewrite` for `rewrite` in relational model
#110 opened by salmans - 0
- 0
- 0
remove `chase_all`: move it to test modules
#107 opened by salmans - 0
- 0
- 0
- 0
Provide an option for disabling Razor's logo
#88 opened by salmans - 0
- 0
- 3
panic when terminal cannot be opened
#83 opened by purew - 0
document `show_incomplete` parameter
#66 opened by salmans - 2
Add examples to the readme
#79 opened by Cypher1 - 0
Benchmark Razor against Alloy
#82 opened by salmans - 1
Add examples to the readme
#80 opened by Cypher1 - 0
document razor-for syntax
#69 opened by salmans - 0
support block comments
#70 opened by salmans - 0
strategy for evaluating relevant sequents
#67 opened by salmans - 1
Improve documentation
#46 opened by salmans - 0
Generate structured output
#42 opened by salmans - 1
- 0
Produce trace information for models
#45 opened by salmans - 0
- 0
- 0
Razor displays colorful models with --no-color
#39 opened by salmans - 0
- 0
Support TPTP library
#43 opened by salmans - 1
panics on hodor-time-loop example
#35 opened by salmans - 0
support comments in the parser
#3 opened by salmans - 0
Software license
#14 opened by KiChjang