Ecosyste.ms: Issues

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

GitHub / Z3Prover/z3test issues and pull requests

#52 - improve parallel processing

Pull Request - State: closed - Opened by levnach 7 months ago

#51 - Add more FP regression tests

Pull Request - State: open - Opened by wintersteiger about 1 year ago

#50 - Disable currently failing tests

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

#49 - More FP regression tests

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

#48 - add regression for #6319 #6582 #6670

Pull Request - State: closed - Opened by merlinsun almost 2 years ago

#47 - add regression for #5798 #5825 #6052 #6054 #6196

Pull Request - State: closed - Opened by merlinsun over 2 years ago - 2 comments

#46 - Spacer model validation

Pull Request - State: closed - Opened by AnzhelaSukhanova almost 3 years ago - 1 comment

#45 - regression test for PR 5731

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

#44 - regression test for PR 5728

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

#43 - regression tests for PR #5724

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

#42 - Test case for https://github.com/Z3Prover/z3/issues/5710

Pull Request - State: closed - Opened by Thomasb81 about 3 years ago - 1 comment

#41 - Added regex comparison regression test

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

#40 - Add coverage API test

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

#39 - Add coverage API test

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

#38 - More FPA regression tests

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

#37 - Run regression tests in parallel

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

#36 - Update coverage test timeout

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

#35 - Add coverage API test

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

#34 - Add coverage API test

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

#33 - Add coverage API test

Pull Request - State: closed - Opened by 0152la over 3 years ago - 3 comments

#32 - Add API coverage test

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

#31 - Add new C++ API coverage test

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

#30 - Add C++ API coverage test

Pull Request - State: closed - Opened by 0152la over 3 years ago - 2 comments

#29 - Add additional coverage test

Pull Request - State: closed - Opened by 0152la over 3 years ago - 1 comment

#28 - Fix coverage compilation

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

#27 - Add infrastructure support for C++ coverage tests

Pull Request - State: closed - Opened by 0152la over 3 years ago - 1 comment

#26 - Change isAlive to is_alive to support Python 3.9

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

#25 - new tests for nonground regexes

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

#24 - Regex solver and rewriter regression and unit tests

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

#23 - Add test cases from issue tracker

Pull Request - State: closed - Opened by muchang almost 5 years ago - 1 comment

#22 - add test cases from issues #3046 #3055 #3056 #3060 #3064 #3078 #3079 #3089

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

#21 - add test cases for issues #3018 #3019 #3021 #3022 #3023

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

#20 - add regression test cases of issues #2989 #2990 #3001

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

#19 - add regression for #2976#2977 #2978 #2979 #2980

Pull Request - State: closed - Opened by muchang almost 5 years ago - 1 comment

#18 - add regression test for str.indexof

Pull Request - State: closed - Opened by mtrberzi over 5 years ago

#15 - Revert "add string16 regression for constant canonical form issue"

Pull Request - State: closed - Opened by NikolajBjorner over 6 years ago

#14 - add string16 regression for constant canonical form issue

Pull Request - State: closed - Opened by mtrberzi over 6 years ago - 1 comment

#13 - create python's environment in script

Pull Request - State: closed - Opened by levnach over 6 years ago

#12 - add string15 intersection case

Pull Request - State: closed - Opened by mtrberzi almost 7 years ago - 2 comments

#11 - test case for model_evaluator

Pull Request - State: closed - Opened by agurfinkel over 7 years ago - 1 comment
Labels: cla-already-signed

#10 - Dvoits/refactor

Pull Request - State: closed - Opened by dvoits almost 8 years ago

#8 - Switch to portable path separator, re-enable python tests

Pull Request - State: closed - Opened by rhelmot over 8 years ago - 1 comment

#7 - Added regression tests for (^ x 0.0) and safe handling of even roots.

Pull Request - State: closed - Opened by dstaple over 8 years ago

#6 - Added four tests for GitHub issue #680

Pull Request - State: closed - Opened by dstaple over 8 years ago - 2 comments

#5 - Added regression test for a bug raised in Stack Overflow question 37711933

Pull Request - State: closed - Opened by dstaple over 8 years ago - 3 comments

#4 - Added regression test for ackr_model_converter::translate not yet implemented #629

Pull Request - State: closed - Opened by dstaple over 8 years ago - 2 comments

#3 - Added regression tests for GitHub 625 and default tactic

Pull Request - State: closed - Opened by dstaple over 8 years ago - 1 comment

#2 - Added regression test corresponding to Z3 GitHub issue #623.

Pull Request - State: closed - Opened by dstaple over 8 years ago - 1 comment

#1 - [Z3py] Add regression tests for floating-point

Pull Request - State: closed - Opened by 4tXJ7f almost 9 years ago - 2 comments