Ecosyste.ms: Issues

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

GitHub / vmware-research/temporal-verifier issues and pull requests

#158 - Prime missing from mutable axioms in SAT checker

Issue - State: open - Opened by edenfrenkel 11 months ago - 3 comments

#156 - Upgrade dependencies

Pull Request - State: closed - Opened by tchajed about 1 year ago

#155 - Fix some clippy warnings

Pull Request - State: closed - Opened by tchajed over 1 year ago

#154 - Enable running CI for merge queue

Pull Request - State: closed - Opened by tchajed over 1 year ago

#153 - Benchmarking infrastructure improvements

Issue - State: open - Opened by tchajed over 1 year ago - 1 comment

#152 - Finite invariants

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

#151 - Set axiom handling

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago

#150 - Symmetry breaking fingerprinting

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

#149 - Bounded refactor

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago

#148 - Symmetry breaking

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago - 1 comment

#147 - Expose public API to sort checking

Pull Request - State: closed - Opened by wilcoxjay over 1 year ago - 2 comments

#146 - Better set program

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago

#145 - Add documentation on using command-line interface

Pull Request - State: closed - Opened by tchajed over 1 year ago

#144 - Clean up ci vs non-ci config in ci-check.sh

Pull Request - State: closed - Opened by tchajed over 1 year ago

#143 - Add ci-check.sh --fast flag

Pull Request - State: closed - Opened by tchajed over 1 year ago

#142 - Add benchmarking infrastructure to run verification

Pull Request - State: closed - Opened by tchajed over 1 year ago - 6 comments

#141 - Add more paxos examples

Pull Request - State: closed - Opened by edenfrenkel over 1 year ago

#140 - Use multiple solvers in qalpha

Pull Request - State: closed - Opened by edenfrenkel over 1 year ago - 2 comments

#139 - Remove statically-sized Elements struct

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago - 3 comments

#138 - Refactor model printing into a std::fmt::Display impl

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago

#137 - Make Spanned hold an Option<Span>

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago

#136 - Modify qalpha execution modes and command-line arguments

Pull Request - State: closed - Opened by edenfrenkel over 1 year ago

#135 - Fix shebang in setup-aws.sh

Pull Request - State: closed - Opened by tchajed over 1 year ago

#134 - Add liveness to safety construction for supporting temporal proofs

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

#133 - Opt-in to clippy suggestion to inline format! args

Pull Request - State: closed - Opened by tchajed over 1 year ago

#132 - Fix clippy warning in PartialOrd impl

Pull Request - State: closed - Opened by tchajed over 1 year ago

#131 - Add smart constructors for terms, and other improvements to fly/src/syntax.rs

Pull Request - State: closed - Opened by odedp over 1 year ago - 3 comments

#130 - Non bool relations

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago

#129 - Checkers return models

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago - 1 comment

#128 - Mutable axioms

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago

#127 - Bound bool vars

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago

#126 - Backwards bdd

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago

#125 - Backwards bdd

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago

#124 - Verify return all states

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago

#123 - Disable macOS runs in CI

Pull Request - State: closed - Opened by tchajed over 1 year ago

#122 - Remove a verbose debug print

Pull Request - State: closed - Opened by tchajed over 1 year ago

#121 - Ignore updr-determinism test and run ignored tests in CI

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago

#120 - Checker improvements

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago - 2 comments

#119 - Cancel solver queries (qalpha)

Pull Request - State: closed - Opened by edenfrenkel over 1 year ago - 1 comment

#118 - Add scripts to produce performance benchmarks across all examples

Issue - State: open - Opened by tchajed over 1 year ago - 3 comments

#117 - MaybeSpannedTerm and bdd_to_term

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago - 1 comment

#116 - Smt checker

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago - 3 comments

#115 - Automatically generate and publish the rustdoc docs

Issue - State: open - Opened by tchajed over 1 year ago

#114 - Finite invariants

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago - 2 comments

#113 - Add some documentation on generating docs

Pull Request - State: closed - Opened by tchajed over 1 year ago - 1 comment

#112 - Add script to regenerate snapshots

Pull Request - State: closed - Opened by wilcoxjay over 1 year ago

#111 - Fix some rustdoc errors

Pull Request - State: closed - Opened by tchajed over 1 year ago

#110 - Transition system extraction

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago - 1 comment

#109 - Update snapshots

Pull Request - State: closed - Opened by wilcoxjay over 1 year ago - 8 comments

#108 - Fix a stray clippy warning

Pull Request - State: closed - Opened by tchajed over 1 year ago

#107 - Multi cartesian product fix

Pull Request - State: closed - Opened by wilcoxjay over 1 year ago

#106 - Add doc and test for the fact that a quantifier's bindings can be empty

Pull Request - State: closed - Opened by wilcoxjay over 1 year ago - 2 comments

#105 - Cancel solver only during `check_sat` and `get_model`

Pull Request - State: closed - Opened by tchajed over 1 year ago

#103 - Fix bdd convergence check by tracking reachable states

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago

#102 - Refactor out code to get the inits, trs, safes, and axioms from a module

Issue - State: closed - Opened by Alex-Fischman over 1 year ago - 3 comments

#101 - Fix integration tests after crate refactor

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago

#100 - Remove kissat from project

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago

#99 - Bdd convergence

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago

#98 - Fix some clippy warnings

Pull Request - State: closed - Opened by tchajed over 1 year ago

#97 - Add some missing documentation

Pull Request - State: closed - Opened by tchajed over 1 year ago - 2 comments

#96 - Useless wrapper in verify/error?

Issue - State: closed - Opened by Alex-Fischman over 1 year ago - 1 comment

#95 - Missing documentation for inference and temporal-verifier crates

Issue - State: open - Opened by Alex-Fischman over 1 year ago - 1 comment

#94 - Split into crates

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago - 6 comments

#93 - Use `assert_killed` as implied by comment

Pull Request - State: closed - Opened by tchajed over 1 year ago - 1 comment

#92 - Acquire the SmtPid::terminated lock only once

Pull Request - State: closed - Opened by tchajed over 1 year ago

#91 - Update snapshots

Pull Request - State: closed - Opened by tchajed over 1 year ago

#90 - Check for errors in a robust way

Pull Request - State: closed - Opened by tchajed over 1 year ago

#89 - BDD checker should detect convergence

Issue - State: closed - Opened by wilcoxjay over 1 year ago

#88 - Make bounded checkers' arguments more uniform

Pull Request - State: closed - Opened by wilcoxjay over 1 year ago - 1 comment

#87 - Fix all missing doc warnings

Pull Request - State: closed - Opened by tchajed over 1 year ago

#86 - Improve query determinism

Pull Request - State: closed - Opened by wilcoxjay over 1 year ago - 3 comments

#85 - Make bdd-check and sat-check have a similar interface to set-check

Issue - State: closed - Opened by Alex-Fischman over 1 year ago - 1 comment

#84 - Add documentation for all top-level commands

Issue - State: closed - Opened by tchajed over 1 year ago - 1 comment

#83 - Only snapshot sort tests with z3

Pull Request - State: closed - Opened by tchajed over 1 year ago

#82 - Testing immutability

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago

#81 - Fix a typo in the name of a parser function

Pull Request - State: closed - Opened by wilcoxjay over 1 year ago - 1 comment

#80 - Sat checker

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago

#79 - Bdd checker

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago

#78 - Bump all dependencies

Pull Request - State: closed - Opened by tchajed over 1 year ago

#77 - Improvements to qAlpha algorithm

Pull Request - State: closed - Opened by edenfrenkel over 1 year ago - 6 comments

#76 - Save content-hashed smt2 files

Pull Request - State: closed - Opened by tchajed over 1 year ago

#75 - Document investigation into killing the solver

Pull Request - State: closed - Opened by tchajed over 1 year ago

#74 - Improve Invariant Inference (qAlpha)

Pull Request - State: closed - Opened by edenfrenkel over 1 year ago

#73 - Replace multi_cartesian_product with a correct version

Issue - State: closed - Opened by tchajed over 1 year ago - 1 comment

#72 - Set checker

Pull Request - State: closed - Opened by Alex-Fischman over 1 year ago - 13 comments

#71 - Z3 "incomplete quantifiers" error

Issue - State: closed - Opened by edenfrenkel over 1 year ago - 2 comments

#70 - Support for more examples

Issue - State: closed - Opened by edenfrenkel over 1 year ago - 2 comments

#69 - Draft: Add UPDR algorithm

Pull Request - State: closed - Opened by oralmer over 1 year ago - 18 comments

#68 - Z3 timeout during invariant inference

Issue - State: closed - Opened by edenfrenkel over 1 year ago - 2 comments

#67 - Report non-solver run time using getrusage

Pull Request - State: closed - Opened by tchajed over 1 year ago

#66 - Remember assumptions from last check_sat in get_minimal_model

Pull Request - State: closed - Opened by tchajed over 1 year ago

#65 - Remove support for --solver=cvc

Pull Request - State: closed - Opened by tchajed over 1 year ago

#64 - Run CI on pull requests

Pull Request - State: closed - Opened by tchajed over 1 year ago

#63 - running sat sovers with indicator variables produces different results

Issue - State: closed - Opened by oralmer over 1 year ago - 2 comments

#62 - Add Windows support

Pull Request - State: closed - Opened by dranov over 1 year ago - 6 comments

#61 - Check each invariant's consecution separately

Pull Request - State: closed - Opened by tchajed over 1 year ago

#52 - Sort inference docs tests and tweaks

Pull Request - State: closed - Opened by wilcoxjay over 1 year ago - 2 comments

#32 - Temporarily retain only one CI config

Pull Request - State: closed - Opened by tchajed over 1 year ago - 2 comments