List of issues

Issues
Show Unassigned
Show All
Search

Login




Register
Lost your login?

Help
Roundup docs

Priority ID Creation Activity Actor Keyword Title Status Creator Assigned To
wish 1094 34 months ago 34 months ago florian   Get rid of ext/optional resolved florian florian
feature 1095 34 months ago 34 months ago remo   remove remaining traces of COIN/OSI and Gurobi resolved malte  
wish 1096 34 months ago 34 months ago florian   Deal with cases where we currently shadow variables unread florian  
feature 1097 34 months ago 32 months ago malte   Modernize the CMake build system resolved florian  
wish 1098 34 months ago 34 months ago silvan   rename cegar to cartesian_abstractions resolved silvan  
wish 1099 34 months ago 34 months ago malte   rename search engine to search algorithm resolved silvan silvan
wish 1100 34 months ago 32 months ago clemens   make names of features consistent; multiple feature namespaces chatting silvan  
feature 1101 33 months ago 33 months ago florian   Update release templates and scripts resolved florian  
bug 1102 33 months ago 8 months ago gabi   remove usage of deprecated --evaluator etc. chatting malte  
feature 1103 33 months ago 33 months ago florian   Try compiling each CMake plugin/library as its own library chatting florian  
wish 1104 33 months ago 33 months ago malte   Explore ways to generate reasonable and/or weak orderings chatting clemens  
wish 1105 33 months ago 27 months ago silvan   Refactor SCC-based merge strategy resolved silvan silvan
feature 1106 33 months ago 30 months ago florian   Support string parameters in option parser resolved florian  
wish 1107 33 months ago 32 months ago florian   add -Wmissing-declaration flag resolved jendrik jendrik
wish 1108 32 months ago 31 months ago clemens   Rename landmark cost assignment to cost partitioning. resolved clemens  
wish 1109 32 months ago 32 months ago jendrik   test all individual portfolio components resolved jendrik jendrik
wish 1110 32 months ago 31 months ago florian   integrate satisficing FDSS 2023 portfolio resolved jendrik jendrik
bug 1111 32 months ago 22 months ago clemens   CPLEX crashes when loading a MIP with only empty constraints. resolved clemens  
wish 1112 32 months ago 32 months ago florian   Add -Wzero-as-null-pointer-constant flag resolved florian florian
bug 1113 32 months ago 32 months ago malte   Features can have multiple parameters of the same name resolved simon  
wish 1114 32 months ago 27 months ago simon   Terminology of Argument/Argument_key vs. Parameter chatting simon  
bug 1115 32 months ago 28 months ago silvan   Undefined behaviour/bug in StateRegistry::get_successor_state resolved tkloessner silvan
wish 1116 32 months ago 31 months ago simon   Remove Experiments from the Repository resolved simon  
wish 1117 31 months ago 31 months ago silvan   let CMake check that source files exist chatting jendrik  
bug 1118 31 months ago 31 months ago jendrik   Fix method name in LP solver interface. resolved jendrik jendrik
bug 1119 31 months ago 31 months ago jendrik   fix SoPlex interface resolved jendrik jendrik
bug 1120 31 months ago 31 months ago florian   parser chokes on newlines on Windows resolved jendrik  
wish 1121 31 months ago 31 months ago florian   Fix CPLEX compilation on Windows for repos not named 'downward' resolved jendrik jendrik
bug 1122 31 months ago 31 months ago clemens   CPLEX sometimes does not install dynamic libraries for linking by default resolved clemens clemens
wish 1123 31 months ago 31 months ago florian   Use "Validate" if "validate" is not on the PATH resolved florian  
wish 1124 31 months ago 2 months ago florian   Improve SoPlex performance resolved florian florian
bug 1125 31 months ago 4 months ago malte   QtCreator chokes on new CMake scripts resolved jendrik  
wish 1126 31 months ago 31 months ago clemens   Use unordered_set to store landmark achievers resolved clemens  
bug 1127 31 months ago 27 months ago gabi translator Some goals do not work with non-propositional variables resolved gabi  
wish 1128 30 months ago 22 months ago malte   Enable goal flaws in CEGAR PDBs. resolved clemens  
wish 1129 28 months ago 28 months ago jendrik   enable more performance-related clang-tidy checks resolved jendrik jendrik
bug 1130 28 months ago 22 months ago clemens   Do not ignore bounds of iterated search components. resolved clemens  
wish 1131 28 months ago 17 months ago malte   backport small changes from Scorpion resolved jendrik jendrik
wish 1132 28 months ago 28 months ago jendrik   fix txt2tags markup resolved jendrik jendrik
bug 1133 28 months ago 27 months ago gabi translator Invariant synthesis accepts unbalanced candidate resolved florian  
feature 1134 27 months ago 22 months ago florian   Implement delete-relaxation operator counting constraints by Rankooh and Rintanen resolved remo  
wish 1135 27 months ago 11 months ago clemens   Avoid passing global arguments through recursive functions in hm landmark factory. resolved clemens  
wish 1136 27 months ago 27 months ago gabi   Support compilations that require auxiliary actions unread gabi  
feature 1137 24 months ago 24 months ago florian   Disable presolving for potential heuristics chatting florian  
bug 1138 23 months ago 23 months ago jendrik   normal termination doesn't call destructors resolved jendrik jendrik
bug 1139 23 months ago 23 months ago malte driver unhandled exception in driver when portfolio cannot run any search configs chatting malte  
bug 1140 22 months ago 22 months ago remo   Sub-optimal plans for A*-inspired eager configuration without re-opening and with consistent heuristic resolved remo  
wish 1141 22 months ago 4 months ago malte   Improve rounding for fractional heuristic values resolved florian  
wish 1142 22 months ago 21 months ago florian   Update Github actions to new versions resolved florian  
wish 1143 22 months ago 22 months ago simon   Fix inheritance hierarchy of search algorithms. chatting clemens  
<< previous   1051..1100 out of 1176 next >>  
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: