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