Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / facebookarchive/smt2utils issues and pull requests
#42 - Parser bug in get-value
Issue -
State: open - Opened by BrunoDutertre over 2 years ago
#41 - [smt2model] initial commit
Pull Request -
State: open - Opened by ma2bd about 3 years ago
- 2 comments
Labels: CLA Signed
#40 - WIP: Support parsing theories
Pull Request -
State: open - Opened by djrenren over 3 years ago
Labels: CLA Signed
#39 - Update rust toolchain
Pull Request -
State: closed - Opened by ma2bd over 3 years ago
Labels: CLA Signed
#38 - Make smt2parser::concrete types more generic and use default type parameters
Pull Request -
State: closed - Opened by max-heller over 3 years ago
- 2 comments
Labels: CLA Signed
#37 - [z3tracer] allow `#` in variable names
Pull Request -
State: closed - Opened by ma2bd over 3 years ago
Labels: CLA Signed
#36 - More generic versions of concrete types
Issue -
State: closed - Opened by max-heller over 3 years ago
- 4 comments
#35 - [z3tracer] add some images to the README
Pull Request -
State: closed - Opened by ma2bd over 3 years ago
Labels: CLA Signed
#34 - Smt2 extensions with custom rewrite
Pull Request -
State: closed - Opened by ma2bd over 3 years ago
Labels: CLA Signed
#33 - [smt2parser] add support for name randomization
Pull Request -
State: closed - Opened by ma2bd over 3 years ago
Labels: CLA Signed
#32 - [smt2parser] handle push, pop, reset and respect kinds while renaming symbols
Pull Request -
State: closed - Opened by ma2bd over 3 years ago
Labels: CLA Signed
#31 - [smt2parser] experimental extension
Pull Request -
State: closed - Opened by ma2bd over 3 years ago
Labels: CLA Signed
#30 - [smt2proxy] Support symbol normalization
Pull Request -
State: closed - Opened by ma2bd over 3 years ago
Labels: CLA Signed
#29 - [smt2parser] improve error handling by using Result types
Pull Request -
State: closed - Opened by ma2bd over 3 years ago
Labels: CLA Signed
#28 - [smt2parser] Reduce stack usage in pretty printer and visitors
Pull Request -
State: closed - Opened by ma2bd over 3 years ago
Labels: CLA Signed
#27 - [smt2parser] Add support for name resolution
Pull Request -
State: closed - Opened by ma2bd over 3 years ago
Labels: CLA Signed
#26 - [z3tracer] improve PNG outputs
Pull Request -
State: closed - Opened by ma2bd almost 4 years ago
Labels: CLA Signed
#25 - improve CI
Pull Request -
State: closed - Opened by ma2bd almost 4 years ago
Labels: CLA Signed
#24 - [z3 tracer] make the demo tool create charts
Pull Request -
State: closed - Opened by ma2bd almost 4 years ago
- 1 comment
Labels: CLA Signed
#23 - [smt2utils] Fix a typo in the README.
Pull Request -
State: closed - Opened by ttsugriy almost 4 years ago
- 1 comment
Labels: CLA Signed
#22 - [z3tracer] add dependency analysis for QIs and conflicts
Pull Request -
State: closed - Opened by ma2bd almost 4 years ago
Labels: CLA Signed
#21 - [smt2patch] initial commit
Pull Request -
State: closed - Opened by ma2bd almost 4 years ago
Labels: CLA Signed
#20 - [smt2parser] improve AST rewriter
Pull Request -
State: closed - Opened by ma2bd almost 4 years ago
Labels: CLA Signed
#19 - [smt2parser] add support for AST visiting and rewriting
Pull Request -
State: closed - Opened by ma2bd almost 4 years ago
Labels: CLA Signed
#18 - [z3tracer] make parser options accessible
Pull Request -
State: closed - Opened by ma2bd almost 4 years ago
Labels: CLA Signed
#17 - switch to Rust 1.51 + adjust naming conventions
Pull Request -
State: closed - Opened by ma2bd almost 4 years ago
Labels: CLA Signed
#16 - [z3tracer] add version check + remove occasionally failing test
Pull Request -
State: closed - Opened by ma2bd almost 4 years ago
Labels: CLA Signed
#15 - [smt2parser] add parsing rules for SMT2 theories and logics
Issue -
State: open - Opened by ma2bd almost 4 years ago
#14 - [smt2parser] fix lint + nit
Pull Request -
State: closed - Opened by ma2bd almost 4 years ago
Labels: CLA Signed
#13 - add installation commands in README
Pull Request -
State: closed - Opened by emmazzz almost 4 years ago
Labels: CLA Signed
#13 - add installation commands in README
Pull Request -
State: closed - Opened by emmazzz almost 4 years ago
Labels: CLA Signed
#12 - Add instantiation timestamps and modify parser to ignore invalid lines
Pull Request -
State: closed - Opened by emmazzz almost 4 years ago
Labels: CLA Signed
#12 - Add instantiation timestamps and modify parser to ignore invalid lines
Pull Request -
State: closed - Opened by emmazzz almost 4 years ago
Labels: CLA Signed
#11 - use flat_map to gather timestamps in notebooks
Pull Request -
State: closed - Opened by emmazzz almost 4 years ago
Labels: CLA Signed
#11 - use flat_map to gather timestamps in notebooks
Pull Request -
State: closed - Opened by emmazzz almost 4 years ago
Labels: CLA Signed
#10 - add field documenting number of inst data entries
Pull Request -
State: closed - Opened by emmazzz almost 4 years ago
#10 - add field documenting number of inst data entries
Pull Request -
State: closed - Opened by emmazzz almost 4 years ago
#9 - [z3tracer] support proof=false
Pull Request -
State: closed - Opened by ma2bd almost 4 years ago
Labels: CLA Signed
#9 - [z3tracer] support proof=false
Pull Request -
State: closed - Opened by ma2bd almost 4 years ago
Labels: CLA Signed
#8 - [z3tracer] improve indexing of quantifier instantiations
Pull Request -
State: closed - Opened by ma2bd almost 4 years ago
Labels: CLA Signed
#8 - [z3tracer] improve indexing of quantifier instantiations
Pull Request -
State: closed - Opened by ma2bd almost 4 years ago
Labels: CLA Signed
#7 - [z3tracer] improve error handling with `thiserror`
Pull Request -
State: closed - Opened by ma2bd almost 4 years ago
Labels: CLA Signed
#7 - [z3tracer] improve error handling with `thiserror`
Pull Request -
State: closed - Opened by ma2bd almost 4 years ago
Labels: CLA Signed
#6 - [z3tracer][notebook] add example with plotly
Pull Request -
State: closed - Opened by ma2bd almost 4 years ago
Labels: CLA Signed
#6 - [z3tracer][notebook] add example with plotly
Pull Request -
State: closed - Opened by ma2bd almost 4 years ago
Labels: CLA Signed
#5 - [z3tracer] add more model outputs
Pull Request -
State: closed - Opened by ma2bd almost 4 years ago
Labels: CLA Signed
#5 - [z3tracer] add more model outputs
Pull Request -
State: closed - Opened by ma2bd almost 4 years ago
Labels: CLA Signed
#4 - [Z3tracer] improve trace analysis
Pull Request -
State: closed - Opened by ma2bd almost 4 years ago
Labels: CLA Signed
#4 - [Z3tracer] improve trace analysis
Pull Request -
State: closed - Opened by ma2bd almost 4 years ago
Labels: CLA Signed
#3 - [Z3tracer] initial version of a parser for Z3 logs
Pull Request -
State: closed - Opened by ma2bd almost 4 years ago
Labels: CLA Signed
#3 - [Z3tracer] initial version of a parser for Z3 logs
Pull Request -
State: closed - Opened by ma2bd almost 4 years ago
Labels: CLA Signed
#2 - Adding Code of Conduct file
Pull Request -
State: closed - Opened by facebook-github-bot about 4 years ago
Labels: CLA Signed
#2 - Adding Code of Conduct file
Pull Request -
State: closed - Opened by facebook-github-bot about 4 years ago
Labels: CLA Signed
#1 - Adding Contributing file
Pull Request -
State: closed - Opened by facebook-github-bot about 4 years ago
Labels: CLA Signed
#1 - Adding Contributing file
Pull Request -
State: closed - Opened by facebook-github-bot about 4 years ago
Labels: CLA Signed