Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / haslab/Pardinus issues and pull requests
#50 - Allow inputing specs using a human-friendly concrete syntax
Issue -
State: open - Opened by grayswandyr over 1 year ago
Labels: enhancement
#49 - Stack overflow error in transitiveDeps
Issue -
State: open - Opened by mattdf over 2 years ago
#48 - Translation to java of symbolic expressions broken
Issue -
State: open - Opened by nmacedo almost 3 years ago
Labels: bug
#47 - Exception message corrected
Pull Request -
State: open - Opened by esb-dev almost 3 years ago
#46 - Add support for custom retargeting strategies
Pull Request -
State: closed - Opened by tnelson almost 4 years ago
#45 - Version 1.2.3
Pull Request -
State: closed - Opened by nmacedo about 4 years ago
#44 - Revert segment iteration to resetting semantics
Issue -
State: closed - Opened by nmacedo about 4 years ago
Labels: enhancement, prd-temporal
#43 - Version 1.2.2
Pull Request -
State: closed - Opened by nmacedo about 4 years ago
#42 - Version 1.2.1
Pull Request -
State: closed - Opened by nmacedo about 4 years ago
#42 - Version 1.2.1
Pull Request -
State: closed - Opened by nmacedo about 4 years ago
#41 - Unsat core fails to report granularity >1
Issue -
State: closed - Opened by nmacedo about 4 years ago
Labels: bug, prd-temporal
#41 - Unsat core fails to report granularity >1
Issue -
State: closed - Opened by nmacedo about 4 years ago
Labels: bug, prd-temporal
#40 - Pardinus v1.2.0
Pull Request -
State: closed - Opened by nmacedo about 4 years ago
#40 - Pardinus v1.2.0
Pull Request -
State: closed - Opened by nmacedo about 4 years ago
#39 - Revert "Pardinus v1.1.1"
Pull Request -
State: closed - Opened by nmacedo about 4 years ago
#39 - Revert "Pardinus v1.1.1"
Pull Request -
State: closed - Opened by nmacedo about 4 years ago
#38 - Pardinus v1.1.1
Pull Request -
State: closed - Opened by nmacedo about 5 years ago
#38 - Pardinus v1.1.1
Pull Request -
State: closed - Opened by nmacedo about 5 years ago
#37 - Trace scenario exploration ops
Pull Request -
State: closed - Opened by nmacedo over 5 years ago
#37 - Trace scenario exploration ops
Pull Request -
State: closed - Opened by nmacedo over 5 years ago
#36 - Evaluating temporal instances returns with expanded universe
Issue -
State: closed - Opened by nmacedo over 5 years ago
- 1 comment
Labels: enhancement
#36 - Evaluating temporal instances returns with expanded universe
Issue -
State: closed - Opened by nmacedo over 5 years ago
- 1 comment
Labels: enhancement
#35 - Bug on resolution of static relations with variable symbolic bounds
Issue -
State: closed - Opened by nmacedo over 5 years ago
Labels: bug
#35 - Bug on resolution of static relations with variable symbolic bounds
Issue -
State: closed - Opened by nmacedo over 5 years ago
Labels: bug
#34 - SAT instance iteration
Pull Request -
State: closed - Opened by nmacedo over 5 years ago
#34 - SAT instance iteration
Pull Request -
State: closed - Opened by nmacedo over 5 years ago
#34 - SAT instance iteration
Pull Request -
State: closed - Opened by nmacedo over 5 years ago
#33 - Skolemized rels not added to temporal instance
Issue -
State: closed - Opened by nmacedo over 5 years ago
- 1 comment
Labels: bug, wontfix
#33 - Skolemized rels not added to temporal instance
Issue -
State: closed - Opened by nmacedo over 5 years ago
- 1 comment
Labels: bug, wontfix
#32 - Skolems on temporal expansion
Issue -
State: closed - Opened by nmacedo over 5 years ago
Labels: bug
#32 - Skolems on temporal expansion
Issue -
State: closed - Opened by nmacedo over 5 years ago
Labels: bug
#32 - Skolems on temporal expansion
Issue -
State: closed - Opened by nmacedo over 5 years ago
Labels: bug
#31 - Inconsistent iteration when relation non-referred
Issue -
State: closed - Opened by nmacedo over 5 years ago
Labels: bug
#31 - Inconsistent iteration when relation non-referred
Issue -
State: closed - Opened by nmacedo over 5 years ago
Labels: bug
#31 - Inconsistent iteration when relation non-referred
Issue -
State: closed - Opened by nmacedo over 5 years ago
Labels: bug
#30 - Electrod protected keywords
Issue -
State: closed - Opened by nmacedo over 5 years ago
- 1 comment
Labels: bug
#30 - Electrod protected keywords
Issue -
State: closed - Opened by nmacedo over 5 years ago
- 1 comment
Labels: bug
#30 - Electrod protected keywords
Issue -
State: closed - Opened by nmacedo over 5 years ago
- 1 comment
Labels: bug
#29 - Version 1.1.0
Pull Request -
State: closed - Opened by nmacedo over 5 years ago
#28 - Univ not correctly expanded in bounded
Issue -
State: closed - Opened by nmacedo over 5 years ago
Labels: bug
#28 - Univ not correctly expanded in bounded
Issue -
State: closed - Opened by nmacedo over 5 years ago
Labels: bug
#28 - Univ not correctly expanded in bounded
Issue -
State: closed - Opened by nmacedo over 5 years ago
Labels: bug
#27 - Allow temporal evaluator over sequence traces
Issue -
State: closed - Opened by nmacedo almost 6 years ago
- 1 comment
Labels: enhancement, prd-temporal
#27 - Allow temporal evaluator over sequence traces
Issue -
State: closed - Opened by nmacedo almost 6 years ago
- 1 comment
Labels: enhancement, prd-temporal
#26 - Simplify translation for looping traces
Issue -
State: closed - Opened by nmacedo almost 6 years ago
- 1 comment
Labels: enhancement, prd-temporal
#26 - Simplify translation for looping traces
Issue -
State: closed - Opened by nmacedo almost 6 years ago
- 1 comment
Labels: enhancement, prd-temporal
#25 - Allow iteration through instance formulas
Issue -
State: closed - Opened by nmacedo almost 6 years ago
- 1 comment
Labels: enhancement, prd-temporal
#25 - Allow iteration through instance formulas
Issue -
State: closed - Opened by nmacedo almost 6 years ago
- 1 comment
Labels: enhancement, prd-temporal
#25 - Allow iteration through instance formulas
Issue -
State: closed - Opened by nmacedo almost 6 years ago
- 1 comment
Labels: enhancement, prd-temporal
#24 - Review past BMC semantics
Issue -
State: closed - Opened by nmacedo over 6 years ago
- 1 comment
Labels: bug, prd-temporal
#24 - Review past BMC semantics
Issue -
State: closed - Opened by nmacedo over 6 years ago
- 1 comment
Labels: bug, prd-temporal
#24 - Review past BMC semantics
Issue -
State: closed - Opened by nmacedo over 6 years ago
- 1 comment
Labels: bug, prd-temporal
#23 - Error at nested skolemization
Issue -
State: closed - Opened by nmacedo almost 7 years ago
- 1 comment
#22 - Symbolic bound resolution with difference
Issue -
State: closed - Opened by nmacedo almost 7 years ago
- 1 comment
Labels: prd-symbolic
#22 - Symbolic bound resolution with difference
Issue -
State: closed - Opened by nmacedo almost 7 years ago
- 1 comment
Labels: prd-symbolic
#21 - Create Electrod files in tmp folders
Issue -
State: closed - Opened by nmacedo almost 7 years ago
Labels: enhancement, prd-unbounded
#21 - Create Electrod files in tmp folders
Issue -
State: closed - Opened by nmacedo almost 7 years ago
Labels: enhancement, prd-unbounded
#21 - Create Electrod files in tmp folders
Issue -
State: closed - Opened by nmacedo almost 7 years ago
Labels: enhancement, prd-unbounded
#20 - Problem parsing electrod output
Issue -
State: closed - Opened by nmacedo almost 7 years ago
- 1 comment
Labels: bug, wontfix, prd-unbounded
#20 - Problem parsing electrod output
Issue -
State: closed - Opened by nmacedo almost 7 years ago
- 1 comment
Labels: bug, wontfix, prd-unbounded
#19 - Handle exceptions of parallel solvers
Issue -
State: closed - Opened by nmacedo almost 7 years ago
Labels: enhancement, prd-decomposed
#19 - Handle exceptions of parallel solvers
Issue -
State: closed - Opened by nmacedo almost 7 years ago
Labels: enhancement, prd-decomposed
#19 - Handle exceptions of parallel solvers
Issue -
State: closed - Opened by nmacedo almost 7 years ago
Labels: enhancement, prd-decomposed
#18 - Remove temp dir name from Electrod file names
Pull Request -
State: closed - Opened by grayswandyr almost 7 years ago
Labels: enhancement
#18 - Remove temp dir name from Electrod file names
Pull Request -
State: closed - Opened by grayswandyr almost 7 years ago
Labels: enhancement
#18 - Remove temp dir name from Electrod file names
Pull Request -
State: closed - Opened by grayswandyr almost 7 years ago
Labels: enhancement
#17 - Generation towards Electrod should use and abuse of parentheses
Issue -
State: closed - Opened by grayswandyr almost 7 years ago
- 1 comment
Labels: enhancement, prd-unbounded
#17 - Generation towards Electrod should use and abuse of parentheses
Issue -
State: closed - Opened by grayswandyr almost 7 years ago
- 1 comment
Labels: enhancement, prd-unbounded
#16 - Symbolic bounds override total order bounds
Issue -
State: closed - Opened by nmacedo almost 7 years ago
Labels: bug, prd-symbolic
#16 - Symbolic bounds override total order bounds
Issue -
State: closed - Opened by nmacedo almost 7 years ago
Labels: bug, prd-symbolic
#16 - Symbolic bounds override total order bounds
Issue -
State: closed - Opened by nmacedo almost 7 years ago
Labels: bug, prd-symbolic
#15 - Symmetries broken by total order lost between stages
Issue -
State: closed - Opened by nmacedo almost 7 years ago
- 1 comment
Labels: bug, prd-decomposed
#15 - Symmetries broken by total order lost between stages
Issue -
State: closed - Opened by nmacedo almost 7 years ago
- 1 comment
Labels: bug, prd-decomposed
#14 - Get the stats from Electrod execution
Issue -
State: closed - Opened by nmacedo almost 7 years ago
- 3 comments
Labels: enhancement, prd-unbounded
#14 - Get the stats from Electrod execution
Issue -
State: closed - Opened by nmacedo almost 7 years ago
- 3 comments
Labels: enhancement, prd-unbounded
#14 - Get the stats from Electrod execution
Issue -
State: closed - Opened by nmacedo almost 7 years ago
- 3 comments
Labels: enhancement, prd-unbounded
#13 - Clean up electrod files
Issue -
State: closed - Opened by nmacedo almost 7 years ago
- 1 comment
Labels: enhancement, prd-unbounded
#13 - Clean up electrod files
Issue -
State: closed - Opened by nmacedo almost 7 years ago
- 1 comment
Labels: enhancement, prd-unbounded
#13 - Clean up electrod files
Issue -
State: closed - Opened by nmacedo almost 7 years ago
- 1 comment
Labels: enhancement, prd-unbounded
#12 - Bug at configurations with orderings
Issue -
State: closed - Opened by nmacedo almost 7 years ago
- 1 comment
Labels: bug, wontfix, prd-decomposed
#12 - Bug at configurations with orderings
Issue -
State: closed - Opened by nmacedo almost 7 years ago
- 1 comment
Labels: bug, wontfix, prd-decomposed
#11 - Ordering on variable sigs
Issue -
State: closed - Opened by nmacedo almost 7 years ago
- 1 comment
Labels: bug, help wanted, prd-decomposed
#11 - Ordering on variable sigs
Issue -
State: closed - Opened by nmacedo almost 7 years ago
- 1 comment
Labels: bug, help wanted, prd-decomposed
#11 - Ordering on variable sigs
Issue -
State: closed - Opened by nmacedo almost 7 years ago
- 1 comment
Labels: bug, help wanted, prd-decomposed
#10 - Add a warning that Electrod is not bounded on ints
Issue -
State: closed - Opened by nmacedo almost 7 years ago
Labels: enhancement, prd-unbounded
#10 - Add a warning that Electrod is not bounded on ints
Issue -
State: closed - Opened by nmacedo almost 7 years ago
Labels: enhancement, prd-unbounded
#10 - Add a warning that Electrod is not bounded on ints
Issue -
State: closed - Opened by nmacedo almost 7 years ago
Labels: enhancement, prd-unbounded
#9 - Forbid overflows not propagated to the partial problem
Issue -
State: closed - Opened by nmacedo almost 7 years ago
- 1 comment
Labels: bug, wontfix, prd-decomposed
#9 - Forbid overflows not propagated to the partial problem
Issue -
State: closed - Opened by nmacedo almost 7 years ago
- 1 comment
Labels: bug, wontfix, prd-decomposed
#8 - Forbid integer fields in Electrod problems
Issue -
State: closed - Opened by nmacedo almost 7 years ago
Labels: enhancement, prd-unbounded
#8 - Forbid integer fields in Electrod problems
Issue -
State: closed - Opened by nmacedo almost 7 years ago
Labels: enhancement, prd-unbounded
#8 - Forbid integer fields in Electrod problems
Issue -
State: closed - Opened by nmacedo almost 7 years ago
Labels: enhancement, prd-unbounded
#7 - Add Electrod to compilation script
Issue -
State: closed - Opened by nmacedo almost 7 years ago
Labels: enhancement, prd-unbounded
#7 - Add Electrod to compilation script
Issue -
State: closed - Opened by nmacedo almost 7 years ago
Labels: enhancement, prd-unbounded
#7 - Add Electrod to compilation script
Issue -
State: closed - Opened by nmacedo almost 7 years ago
Labels: enhancement, prd-unbounded
#6 - Test Electrod return code
Issue -
State: closed - Opened by nmacedo almost 7 years ago
Labels: bug, prd-unbounded
#6 - Test Electrod return code
Issue -
State: closed - Opened by nmacedo almost 7 years ago
Labels: bug, prd-unbounded
#6 - Test Electrod return code
Issue -
State: closed - Opened by nmacedo almost 7 years ago
Labels: bug, prd-unbounded
#5 - Proper debugging functionalities
Issue -
State: closed - Opened by nmacedo almost 7 years ago
- 1 comment
Labels: enhancement
#5 - Proper debugging functionalities
Issue -
State: closed - Opened by nmacedo almost 7 years ago
- 1 comment
Labels: enhancement