Ecosyste.ms: Issues

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

GitHub / sosy-lab/sv-comp issues and pull requests

#170 - Changes for updated competition layout

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

#169 - Remove data model from benchdefs

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

#168 - Add benchmark definition for Frama-C

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

#167 - Updates ESBMC definitions for SV-COMP 2021

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

#166 - Update runexec parameters

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

#165 - adapt Ultimate tool family benchmark definitions for SV-COMP 2021

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

#164 - Add Goblint benchmark-defs

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

#163 - Update option for cpa-lockator

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

#162 - Update nitwit to benchmark definitions of SV-COMP 21

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

#161 - PeSCo 21 configuration

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

#160 - Dartagnan configuration

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

#159 - Update veriabs.xml

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

#158 - Update veriabs.xml

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

#157 - Adding gazer-theta benchmark definition

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

#156 - Update property file for cpa-bam-bnb

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

#155 - Dartagnan's configuration for 2021

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

#154 - Update cpa-seq related benchmark definitions for svcomp21

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

#153 - Benchmark definition for Korn (ReachSafety-Loops only)

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

#152 - Metaval:Add correctness validation for more categories

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

#151 - Fix missing/wrong config. options for metaval

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

#150 - Remove empty SQLite category

Pull Request - State: closed - Opened by lembergerth about 5 years ago - 1 comment

#149 - SoftwareSystems-SQLite-MemSafety is empty

Issue - State: closed - Opened by lembergerth about 5 years ago - 1 comment

#148 - Rename configuration option to make it clearer

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

#147 - Changing the Java Ranger configuration for SV-COMP 2020

Pull Request - State: closed - Opened by vaibhavbsharma about 5 years ago - 3 comments

#146 - Update metaval benchmark definition

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

#145 - Update veriabs.xml to add all categories.

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

#144 - Update veriabs.xml to add SoftwareSystems tasks

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

#143 - Fix meta-validation with ultimateautomizer

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

#142 - Update benchmark definition for validator metaval

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

#141 - Uautomizer validator options

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

#140 - Disable validation of wrong witness type for CPA-Seq

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

#139 - symbiotic.xml: remove --64 option

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

#138 - Rename benchmark definition for consistency

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

#137 - Add config for validating correctness witnesses with metaval/esbmc

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

#136 - Added veriabs-validate-correctness-witnesses.xml

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

#135 - added veriabs-validate-violation-witnesses.xml

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

#134 - Added veriabs-validate-correctness.xml

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

#133 - Remove ineffective exclude directives

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

#132 - rename referenced set-files.

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

#131 - Add xml for coastal

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

#130 - Update esbmc.xml

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

#129 - Update predatorhp.xml

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

#128 - Change tool name

Pull Request - State: closed - Opened by JanSvejda about 5 years ago - 1 comment

#127 - Add category for SVCOMP 2020

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

#126 - Nitwit

Pull Request - State: closed - Opened by JanSvejda about 5 years ago - 1 comment

#125 - Adding GACAL

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

#124 - Updated veriabs.xml to remove SoftwareSystems

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

#123 - Update symbiotic.xml

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

#122 - Updated benchmark definition for PeSCo

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

#121 - Add definition for BRICK

Pull Request - State: closed - Opened by brick-tool-dev about 5 years ago

#120 - Change benchmark file name so that check.py in archive2020 can find it

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

#119 - Add benchmark definition for JDart

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

#118 - Add definition for DIVINE.

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

#117 - Adding the Java Ranger benchmark-defs file

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

#116 - Update 2LS benchmark definition

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

#115 - dartagnan integration

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

#114 - Add definition for Nitwit Validator

Pull Request - State: closed - Opened by JanSvejda over 5 years ago - 3 comments

#113 - Update CPA-Seq-related benchmark definitions

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

#112 - Update information about run environment

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

#111 - Let CPA-witness2test validate Overflows and MemorySafety

Pull Request - State: closed - Opened by lembergerth about 6 years ago

#110 - Add stack config. Seem to run better with larger stack size

Pull Request - State: closed - Opened by cedricrupb about 6 years ago

#109 - Readded all executions for evaluation (To be part of Overall)

Pull Request - State: closed - Opened by cedricrupb about 6 years ago

#107 - Changed PeSCo benchmark defintition to only run tools that we applied for

Pull Request - State: closed - Opened by cedricrupb about 6 years ago - 1 comment

#106 - Added sub-category for Pinaka

Pull Request - State: closed - Opened by EtiChaudhary about 6 years ago

#105 - Pinaka.xml updated; Added more categories

Pull Request - State: closed - Opened by EtiChaudhary about 6 years ago

#104 - Mention Java compiler in list of installed packages

Pull Request - State: closed - Opened by PhilippWendler about 6 years ago

#103 - Fix Java property and misnamed JPF configuration

Pull Request - State: closed - Opened by peterschrammel about 6 years ago

#102 - PredatorHP add category back

Pull Request - State: closed - Opened by versokova about 6 years ago

#101 - Update list of packages

Pull Request - State: closed - Opened by PhilippWendler about 6 years ago

#100 - Update PredatorHP corresponding to google form for SV-COMP'19

Pull Request - State: closed - Opened by versokova about 6 years ago

#99 - Rename jpf to spf

Pull Request - State: closed - Opened by peterschrammel about 6 years ago

#98 - add yogar-cbmc-parallel.xml

Pull Request - State: closed - Opened by yinliangze about 6 years ago

#97 - Add ReachSafety-ControlFlow

Pull Request - State: closed - Opened by hbgit about 6 years ago

#96 - Add benchmark definition for DIVINE 4.

Pull Request - State: closed - Opened by vlstill about 6 years ago

#95 - Update jayhorn.xml

Pull Request - State: closed - Opened by pruemmer about 6 years ago

#94 - Modified jpf.xml to represent a version with only jpf-core.

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

#93 - Updated veriabs.xml for SoftwareSystems.

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

#92 - Add definition for CPALockator

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

#91 - Add PeSCo benchmark definition for 2019

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

#90 - Added pinaka.xml for SVCOMP 2019

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

#89 - Add benchmark definition for CPALockator

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

#88 - Add benchmark specification for CBMC Path

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

#87 - Adjust benchmark definitions for sv-comp19

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

#86 - Added Verifuzz.xml file

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

#85 - Update CPASeq benchmark definition for SVCOMP'19

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

#84 - JayHorn tool

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

#83 - JPF tool

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

#82 - JBMC tool

Pull Request - State: closed - Opened by peterschrammel almost 7 years ago - 4 comments

#81 - Adding benchmark definitions to run Verifuzz on SVCOMP benchmarks

Pull Request - State: closed - Opened by animeshbchowdhury about 7 years ago - 2 comments

#80 - Update the bit of category SoftwareSystems

Pull Request - State: closed - Opened by duanzhao-dz about 7 years ago

#79 - Update the bit of category SoftwareSystems

Pull Request - State: closed - Opened by duanzhao-dz about 7 years ago

#78 - Update the bit of category SoftwareSystems

Pull Request - State: closed - Opened by duanzhao-dz about 7 years ago

#77 - FShell w2t: Memory safety and overflow validation

Pull Request - State: closed - Opened by tautschnig about 7 years ago - 4 comments

#76 - symbiotic.xml: fix architecture with bitvectors

Pull Request - State: closed - Opened by mchalupa about 7 years ago

#75 - Updated veriabs.xml to add categories

Pull Request - State: closed - Opened by avritichauhan about 7 years ago

#74 - Update interpchecker.xml

Pull Request - State: closed - Opened by duanzhao-dz about 7 years ago

#55 - Explicit set time limit in cpa-seq.xml

Pull Request - State: closed - Opened by PhilippWendler about 7 years ago