Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / salmans/rusty-razor issues and pull requests

#128 - Fix CNF and DNF transformations

Pull Request - State: open - Opened by salmans over 1 year ago

#127 - Drop Skolem functions and constants when printing models

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

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

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

#125 - Reimplementing the parser using LALRPOP

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

#124 - refactoring razor executable

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

#123 - undoing query optionimization in relational expression

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

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

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

#121 - performance improvements and refactoring

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

#120 - fixes #119

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

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

Issue - State: closed - Opened by salmans over 3 years ago
Labels: bug

#118 - minor documentation adjustments

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

#117 - Syntax reform

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

#116 - intra-doc links

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

#115 - replace documentation hyperlinks with intera-doc linking

Issue - State: closed - Opened by salmans over 3 years ago

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

Issue - State: closed - Opened by salmans over 3 years ago - 1 comment
Labels: wontfix

#111 - rename `PreProcessorEx`

Issue - State: closed - Opened by salmans over 3 years ago - 1 comment

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

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

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

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

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

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

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

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

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

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

#104 - implementation based on relational algebra

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

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

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

#102 - replacing thiserror with anyhow in razor-fol

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

#101 - replacing thiserror with anyhow in razor-fol

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

#100 - creating the initial model with the preprocessor instance

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

#99 - adding PreProcessorEx and its implementations

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

#98 - returning only owned values for ModelTrait

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

#97 - fixing internal dependencies

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

#96 - refactoring razor-fol

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

#95 - signature

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

#94 - removing observe and is_observed from ModelTrait

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

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

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

#92 - Format code using 'cargo fmt'

Pull Request - State: closed - Opened by Atul9 over 4 years ago - 7 comments

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

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

#90 - Differential Matching for Chase

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

#89 - accept input from stdin

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

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

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

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

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

#86 - change precedence and associativity of implication

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

#85 - Change the precedence and associativity of implication

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

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

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

#83 - panic when terminal cannot be opened

Issue - State: closed - Opened by purew over 4 years ago - 3 comments
Labels: bug

#82 - Benchmark Razor against Alloy

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

#81 - adding toy example in README

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

#80 - Add examples to the readme

Issue - State: closed - Opened by Cypher1 over 4 years ago - 1 comment
Labels: duplicate

#79 - Add examples to the readme

Issue - State: closed - Opened by Cypher1 over 4 years ago - 2 comments

#78 - making the projects ready to publish

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

#77 - Add link to documentation

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

#76 - Delete github-pages.yml

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

#75 - Update github-pages.yml

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

#74 - add github-pages workflow

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

#73 - adding book

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

#72 - minor syntactic changes

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

#71 - supporting block comments closes #70

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

#70 - support block comments

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

#69 - document razor-for syntax

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

#68 - adding razor-bin module

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

#67 - strategy for evaluating relevant sequents

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

#66 - document `show_incomplete` parameter

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

#65 - module breakdown: razor_fol and razor_chase

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

#64 - some cleanup

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

#63 - finalizing the inline documents (#61)

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

#62 - Update rust.yml

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

#61 - finalizing the inline documents

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

#60 - documenting chase implementations

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

#59 - documenting chase

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

#58 - implementing `FromStr` for `Formula` and `Theory`

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

#57 - documenting formula

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

#56 - Instantiate all

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

#55 - refactoring evaluate function

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

#54 - enhance trace log with sequent information

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

#54 - enhance trace log with sequent information

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

#54 - enhance trace log with sequent information

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

#53 - log messages for CHASE_STEP and NEW_MODEL

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

#53 - log messages for CHASE_STEP and NEW_MODEL

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

#53 - log messages for CHASE_STEP and NEW_MODEL

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

#51 - Add an option for reusing existing elements when possible

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

#51 - Add an option for reusing existing elements when possible

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

#50 - adding terminal wrapper + fixes #39

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

#49 - Implement sorts in the core model-finding algorithm

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

#49 - Implement sorts in the core model-finding algorithm

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

#48 - create a rule for converting Razor's syntax to Geolog

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

#47 - cleaning up syntax and transformations

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

#46 - Improve documentation

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

#45 - Produce trace information for models

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

#45 - Produce trace information for models

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

#45 - Produce trace information for models

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

#44 - Non-deterministic behavior when running on grandpa.raz

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

#43 - Support TPTP library

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

#42 - Generate structured output

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

#42 - Generate structured output

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

#41 - cleaning up the parser

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

#40 - Consider using LALRPOP

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

#39 - Razor displays colorful models with --no-color

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