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