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
feature 636 121 months ago 7 months ago clemens   Integrate P^m compilation chatting gabi  
wish 637 120 months ago 86 months ago jendrik   CEGAR: refactor AbstractState and AbstractSearch resolved jendrik jendrik
bug 638 120 months ago 110 months ago florian   Fix implementation of "interesting" patterns resolved florian florian
wish 639 119 months ago 30 months ago malte   queue-type option to all open lists resolved masataro  
wish 640 119 months ago 119 months ago malte   adopt some entries in "How to C in 2016" resolved masataro  
wish 641 119 months ago 30 months ago malte   depth evaluator resolved masataro  
wish 642 119 months ago 113 months ago jendrik   CEGAR: add option to check abstract transition system resolved jendrik jendrik
urgent 643 119 months ago 118 months ago jendrik   CEGAR: Fix domain abstraction resolved jendrik jendrik
wish 644 119 months ago 114 months ago silvan   M&S refactoring part 2: Separate interfaces for precomputed and dynamic merge strategies resolved silvan silvan
wish 645 119 months ago 118 months ago silvan   M&S refactoring part 2: get rid of goal_relevance flag and usage of g_rng, restructure MergeDFP, and various clean-up resolved silvan silvan
feature 646 119 months ago 89 months ago malte   Parent evaluation context resolved manuel manuel
bug 647 119 months ago 118 months ago malte   overflow in PatternDatabase generation given manual pattern resolved gnad silvan
feature 648 118 months ago 118 months ago silvan   Replace g_rng by a "get pointer to static object" method in class RNG resolved silvan silvan
wish 649 118 months ago 110 months ago jendrik   Get rid of g_rng() and --random-seed and use the functions in rng_options resolved silvan silvan
feature 650 118 months ago 118 months ago jendrik   CEGAR: improve saturated cost computation resolved jendrik jendrik
feature 651 118 months ago 118 months ago jendrik   Remove VAL from repository resolved jendrik jendrik
wish 652 118 months ago 66 months ago patfer   Make repository smaller by rewriting its history resolved jendrik patfer
feature 653 118 months ago 59 months ago jendrik   validate plan costs resolved jendrik  
feature 654 118 months ago 118 months ago jendrik   make validation optional resolved jendrik jendrik
wish 655 118 months ago 118 months ago silvan   M&S refactoring part 2: simplify interface of shrink strategies (compute shrink sizes elsewhere) resolved silvan silvan
feature 656 118 months ago 118 months ago silvan   Integrate tie-breaking options for MergeDFP resolved silvan silvan
feature 657 118 months ago 113 months ago jendrik   CEGAR: add max_transitions parameter resolved jendrik jendrik
wish 658 117 months ago 117 months ago silvan   M&S refactoring part 2: use factories to create merge strategies resolved silvan silvan
feature 659 116 months ago 115 months ago jendrik   CEGAR: decouple heuristic generation from usage resolved jendrik jendrik
feature 660 116 months ago 115 months ago florian   Use task interface for AxiomEvaluator resolved florian florian
feature 661 116 months ago 59 months ago jendrik   retrieve mutex group numbers from AbstractTask resolved jendrik  
wish 662 115 months ago 108 months ago florian   Add option to the build system for dynamic linking resolved silvan florian
feature 663 115 months ago 105 months ago jendrik   use shared_ptr for searches resolved jendrik danielk
wish 664 115 months ago 115 months ago jendrik   remove "std::" from cc files resolved jendrik jendrik
feature 665 115 months ago 114 months ago florian   Make GlobalState independent from globals resolved florian florian
wish 666 114 months ago 114 months ago silvan   M&S refactoring part 2: Better access for FactoredTransitionSystem; simpler shrink interface resolved silvan silvan
feature 667 114 months ago 106 months ago silvan   Merge-and-Shrink: Integrate SCCs based merge strategy resolved silvan silvan
feature 668 114 months ago 93 months ago silvan   Merge-and-Shrink: Integrate dynamic MIASM merge strategy resolved silvan silvan
feature 669 114 months ago 106 months ago jendrik   Move algorithm utilities to their own subdirectory algorithms resolved silvan danielk
wish 670 114 months ago 114 months ago silvan   M&S refactoring part 2: add a verbose option resolved silvan silvan
bug 671 114 months ago 113 months ago malte translator Identically named parameters in action produce incorrect plan resolved christoph silvan
feature 672 114 months ago 59 months ago silvan   Create documentation for the directory structure resolved silvan  
feature 673 113 months ago 113 months ago jendrik   task interface: never return references resolved jendrik jendrik
wish 674 113 months ago 110 months ago florian   CMake: automatically collect .h and .cc files resolved jendrik florian
wish 675 113 months ago 30 months ago malte   reuse evaluation context resolved jendrik  
wish 676 113 months ago 113 months ago florian   Clean up task usage in PDB code resolved florian florian
feature 677 113 months ago 113 months ago malte   use separate Makefile/environment variables for 32- and 64-bit CPLEX library resolved florian florian
feature 678 113 months ago 113 months ago malte   Issue with universal quantification over large set of objects chatting enricos83  
wish 679 113 months ago 112 months ago jendrik   evaluate Bitbucket's continuous integration feature resolved jendrik jendrik
wish 680 113 months ago 111 months ago florian   Update OSI to a new version resolved florian florian
bug 681 112 months ago 106 months ago florian   compilation issue with LP code: "isnan" resolved malte  
feature 682 112 months ago 112 months ago silvan   M&S refactoring part 2: get rid of two-stage lookup in the final "heuristic representation" (which should also be renamed) resolved silvan silvan
feature 683 112 months ago 110 months ago cedric   remove BucketOpenList resolved jendrik cedric
feature 684 112 months ago 111 months ago jendrik   remove cost_type from Heuristic resolved jendrik jendrik
feature 685 112 months ago 112 months ago jendrik   restore "transform" argument for landmark heuristic resolved jendrik jendrik
<< previous   601..650 out of 1153 next >>  
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: