salmans/rusty-razor issues and pull requests

#128 - Fix CNF and DNF transformations

Pull Request - State: open - Opened by salmans about 2 years ago

#127 - Drop Skolem functions and constants when printing models

Issue - State: open - Opened by salmans over 3 years ago
Labels: enhancement

#126 - Replace elements with user-defined constants when pretty printing models

Issue - State: open - Opened by salmans over 3 years ago
Labels: enhancement

#125 - Reimplementing the parser using LALRPOP

Pull Request - State: closed - Opened by salmans over 3 years ago

#124 - refactoring razor executable

Pull Request - State: closed - Opened by salmans almost 4 years ago

#123 - undoing query optionimization in relational expression

Pull Request - State: closed - Opened by salmans almost 4 years ago

#122 - Bug introduced by removing Skolem function tables from sequent queries

Issue - State: closed - Opened by salmans almost 4 years ago
Labels: bug

#121 - performance improvements and refactoring

Pull Request - State: closed - Opened by salmans almost 4 years ago

#120 - fixes #119

Pull Request - State: closed - Opened by salmans about 4 years ago

#119 - Converting theories to geometric form produces duplicate Skolem functions

Issue - State: closed - Opened by salmans about 4 years ago
Labels: bug

#118 - minor documentation adjustments

Pull Request - State: closed - Opened by salmans about 4 years ago

#117 - Syntax reform

Pull Request - State: closed - Opened by salmans about 4 years ago

#116 - intra-doc links

Pull Request - State: closed - Opened by salmans about 4 years ago

#115 - replace documentation hyperlinks with intera-doc linking

Issue - State: closed - Opened by salmans about 4 years ago

#114 - Pretty print instrumentation of tracing in relational implementation

Issue - State: open - Opened by salmans about 4 years ago

#113 - Create `as_...` methods on `Term` to convert the term to `Var`, `App`, and `Const`

Issue - State: closed - Opened by salmans about 4 years ago - 1 comment
Labels: wontfix

#112 - make `pre_process` of `PreProcessorEx` return a `Result` type

Issue - State: open - Opened by salmans about 4 years ago

#111 - rename `PreProcessorEx`

Issue - State: closed - Opened by salmans about 4 years ago - 1 comment

#110 - Use `Rewrite` for `rewrite` in relational model

Issue - State: open - Opened by salmans about 4 years ago

#109 - Enforce the bounds more accurately on the `relational` implementation

Issue - State: open - Opened by salmans about 4 years ago

#108 - Consider removing `reference` and `batch` implementation

Issue - State: open - Opened by salmans about 4 years ago
Labels: to investigate

#107 - remove `chase_all`: move it to test modules

Issue - State: open - Opened by salmans over 4 years ago

#106 - Avoid unnecessary cloning of the parent model when evaluating

Issue - State: open - Opened by salmans over 4 years ago
Labels: enhancement

#105 - implement a strategy that prioritizes sequents with fewer branches first

Issue - State: open - Opened by salmans over 4 years ago
Labels: enhancement

#104 - implementation based on relational algebra

Pull Request - State: closed - Opened by salmans over 4 years ago

#103 - adding new types (wrappers around formula) for transformations

Pull Request - State: closed - Opened by salmans over 4 years ago

#102 - replacing thiserror with anyhow in razor-fol

Pull Request - State: closed - Opened by salmans over 4 years ago

#101 - replacing thiserror with anyhow in razor-fol

Pull Request - State: closed - Opened by salmans over 4 years ago

#100 - creating the initial model with the preprocessor instance

Pull Request - State: closed - Opened by salmans over 4 years ago

#99 - adding PreProcessorEx and its implementations

Pull Request - State: closed - Opened by salmans over 4 years ago
Labels: enhancement

#98 - returning only owned values for ModelTrait

Pull Request - State: closed - Opened by salmans over 4 years ago

#97 - fixing internal dependencies

Pull Request - State: closed - Opened by salmans over 4 years ago

#96 - refactoring razor-fol

Pull Request - State: closed - Opened by salmans over 4 years ago - 1 comment

#95 - signature

Pull Request - State: closed - Opened by salmans over 4 years ago

#94 - removing observe and is_observed from ModelTrait

Pull Request - State: closed - Opened by salmans almost 5 years ago

#93 - add on `pull_request` to `rust.yml` workflow

Pull Request - State: closed - Opened by salmans about 5 years ago

#92 - Format code using 'cargo fmt'

Pull Request - State: closed - Opened by Atul9 about 5 years ago - 7 comments

#91 - Support reading theories form code blocks of markdown files

Issue - State: open - Opened by salmans about 5 years ago
Labels: enhancement

#90 - Differential Matching for Chase

Issue - State: closed - Opened by salmans about 5 years ago - 1 comment
Labels: enhancement, to investigate

#89 - accept input from stdin

Pull Request - State: closed - Opened by salmans about 5 years ago

#88 - Provide an option for disabling Razor's logo

Issue - State: closed - Opened by salmans about 5 years ago

#87 - Accept theories that are piped into the razor through stdin

Issue - State: closed - Opened by salmans about 5 years ago
Labels: enhancement

#86 - change precedence and associativity of implication

Pull Request - State: closed - Opened by salmans about 5 years ago

#85 - Change the precedence and associativity of implication

Issue - State: closed - Opened by salmans about 5 years ago

#84 - disable formatting when terminal fails. closes #83

Pull Request - State: closed - Opened by salmans about 5 years ago

#83 - panic when terminal cannot be opened

Issue - State: closed - Opened by purew about 5 years ago - 3 comments
Labels: bug

#82 - Benchmark Razor against Alloy

Issue - State: open - Opened by salmans about 5 years ago
Labels: to investigate

#81 - adding toy example in README

Pull Request - State: closed - Opened by salmans about 5 years ago

#80 - Add examples to the readme

Issue - State: closed - Opened by Cypher1 about 5 years ago - 1 comment
Labels: duplicate

#79 - Add examples to the readme

Issue - State: closed - Opened by Cypher1 about 5 years ago - 2 comments

#78 - making the projects ready to publish

Pull Request - State: closed - Opened by salmans about 5 years ago

#77 - Add link to documentation

Pull Request - State: closed - Opened by salmans about 5 years ago

#76 - Delete github-pages.yml

Pull Request - State: closed - Opened by salmans about 5 years ago

#75 - Update github-pages.yml

Pull Request - State: closed - Opened by salmans about 5 years ago

#74 - add github-pages workflow

Pull Request - State: closed - Opened by salmans about 5 years ago

#73 - adding book

Pull Request - State: closed - Opened by salmans about 5 years ago

#72 - minor syntactic changes

Pull Request - State: closed - Opened by salmans about 5 years ago

#71 - supporting block comments closes #70

Pull Request - State: closed - Opened by salmans about 5 years ago

#70 - support block comments

Issue - State: closed - Opened by salmans about 5 years ago
Labels: enhancement

#69 - document razor-for syntax

Issue - State: closed - Opened by salmans about 5 years ago

#68 - adding razor-bin module

Pull Request - State: closed - Opened by salmans about 5 years ago

#67 - strategy for evaluating relevant sequents

Issue - State: open - Opened by salmans about 5 years ago
Labels: to investigate

#66 - document `show_incomplete` parameter

Issue - State: open - Opened by salmans about 5 years ago

#65 - module breakdown: razor_fol and razor_chase

Pull Request - State: closed - Opened by salmans about 5 years ago