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