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 8 months ago clemens   Integrate P^m compilation chatting gabi  
wish 637 121 months ago 87 months ago jendrik   CEGAR: refactor AbstractState and AbstractSearch resolved jendrik jendrik
bug 638 120 months ago 111 months ago florian   Fix implementation of "interesting" patterns resolved florian florian
wish 639 120 months ago 31 months ago malte   queue-type option to all open lists resolved masataro  
wish 640 120 months ago 120 months ago malte   adopt some entries in "How to C in 2016" resolved masataro  
wish 641 120 months ago 31 months ago malte   depth evaluator resolved masataro  
wish 642 120 months ago 114 months ago jendrik   CEGAR: add option to check abstract transition system resolved jendrik jendrik
urgent 643 120 months ago 119 months ago jendrik   CEGAR: Fix domain abstraction resolved jendrik jendrik
wish 644 120 months ago 115 months ago silvan   M&S refactoring part 2: Separate interfaces for precomputed and dynamic merge strategies resolved silvan silvan
wish 645 119 months ago 119 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 90 months ago malte   Parent evaluation context resolved manuel manuel
bug 647 119 months ago 119 months ago malte   overflow in PatternDatabase generation given manual pattern resolved gnad silvan
feature 648 119 months ago 119 months ago silvan   Replace g_rng by a "get pointer to static object" method in class RNG resolved silvan silvan
wish 649 119 months ago 111 months ago jendrik   Get rid of g_rng() and --random-seed and use the functions in rng_options resolved silvan silvan
feature 650 119 months ago 119 months ago jendrik   CEGAR: improve saturated cost computation resolved jendrik jendrik
feature 651 119 months ago 118 months ago jendrik   Remove VAL from repository resolved jendrik jendrik
wish 652 119 months ago 67 months ago patfer   Make repository smaller by rewriting its history resolved jendrik patfer
feature 653 119 months ago 59 months ago jendrik   validate plan costs resolved jendrik  
feature 654 119 months ago 118 months ago jendrik   make validation optional resolved jendrik jendrik
wish 655 119 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 114 months ago jendrik   CEGAR: add max_transitions parameter resolved jendrik jendrik
wish 658 118 months ago 118 months ago silvan   M&S refactoring part 2: use factories to create merge strategies resolved silvan silvan
feature 659 117 months ago 115 months ago jendrik   CEGAR: decouple heuristic generation from usage resolved jendrik jendrik
feature 660 117 months ago 115 months ago florian   Use task interface for AxiomEvaluator resolved florian florian
feature 661 117 months ago 59 months ago jendrik   retrieve mutex group numbers from AbstractTask resolved jendrik  
wish 662 116 months ago 109 months ago florian   Add option to the build system for dynamic linking resolved silvan florian
feature 663 116 months ago 105 months ago jendrik   use shared_ptr for searches resolved jendrik danielk
wish 664 116 months ago 116 months ago jendrik   remove "std::" from cc files resolved jendrik jendrik
feature 665 115 months ago 115 months ago florian   Make GlobalState independent from globals resolved florian florian
wish 666 115 months ago 115 months ago silvan   M&S refactoring part 2: Better access for FactoredTransitionSystem; simpler shrink interface resolved silvan silvan
feature 667 115 months ago 107 months ago silvan   Merge-and-Shrink: Integrate SCCs based merge strategy resolved silvan silvan
feature 668 115 months ago 93 months ago silvan   Merge-and-Shrink: Integrate dynamic MIASM merge strategy resolved silvan silvan
feature 669 115 months ago 107 months ago jendrik   Move algorithm utilities to their own subdirectory algorithms resolved silvan danielk
wish 670 115 months ago 114 months ago silvan   M&S refactoring part 2: add a verbose option resolved silvan silvan
bug 671 114 months ago 114 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 114 months ago 114 months ago jendrik   task interface: never return references resolved jendrik jendrik
wish 674 114 months ago 111 months ago florian   CMake: automatically collect .h and .cc files resolved jendrik florian
wish 675 114 months ago 31 months ago malte   reuse evaluation context resolved jendrik  
wish 676 114 months ago 114 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 113 months ago jendrik   evaluate Bitbucket's continuous integration feature resolved jendrik jendrik
wish 680 113 months ago 112 months ago florian   Update OSI to a new version resolved florian florian
bug 681 113 months ago 106 months ago florian   compilation issue with LP code: "isnan" resolved malte  
feature 682 113 months ago 113 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 113 months ago 111 months ago cedric   remove BucketOpenList resolved jendrik cedric
feature 684 113 months ago 112 months ago jendrik   remove cost_type from Heuristic resolved jendrik jendrik
feature 685 113 months ago 113 months ago jendrik   restore "transform" argument for landmark heuristic resolved jendrik jendrik
<< previous   601..650 out of 1159 next >>  
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: