Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
Spot
Spot
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 112
    • Issues 112
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
  • Merge Requests 2
    • Merge Requests 2
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
  • Operations
    • Operations
    • Incidents
    • Environments
  • Analytics
    • Analytics
    • CI / CD
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
  • Spot
  • SpotSpot
  • Issues

  • Open 62
  • Closed 115
  • All 177
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual
  • improve determinisation of automata matching string-like patterns   2 of 3 tasks completed
    #444 · opened Dec 08, 2020 by Alexandre Duret-Lutz   wish
    • 0
    updated Dec 09, 2020
  • iterate over bit sets in bitvect or bitset
    #440 · opened Nov 17, 2020 by Alexandre Duret-Lutz   wish
    • 0
    updated Nov 17, 2020
  • support for exclusive APs in ltl2tgba
    #438 · opened Nov 12, 2020 by Alexandre Duret-Lutz   wish
    • 1
    updated Nov 12, 2020
  • for ltlsynt parity game solving could stop once the winner of initial state is known
    #423 · opened Sep 10, 2020 by Alexandre Duret-Lutz   wish
    • 0
    updated Sep 10, 2020
  • handling unconstrained I/O in ltlsynt
    #415 · opened May 29, 2020 by Alexandre Duret-Lutz   wish
    • 1
    updated May 29, 2020
  • random conjunctions of patterns
    #400 · opened Mar 12, 2020 by Alexandre Duret-Lutz   wish
    • 0
    updated Mar 12, 2020
  • a case when -G -D produce a parity automaton more than twice smaller than -P -D
    #397 · opened Jan 15, 2020 by Alexandre Duret-Lutz   wish
    • 1
    updated Jan 16, 2020
  • use graphviz layers for interactive display
    #394 · opened Nov 28, 2019 by Alexandre Duret-Lutz   wish
    • 0
    updated Nov 28, 2019
  • postprocessing twice may improve things
    #386 · opened Apr 24, 2019 by Alexandre Duret-Lutz   wish
    • 1
    updated Jul 31, 2019
  • ltl2tgba -G cases that can be improved
    #385 · opened Apr 24, 2019 by Alexandre Duret-Lutz   rewritings wish
    • 1
    updated Jul 22, 2020
  • Enumerate all possibles SCCs/automata of size N
    #370 · opened Nov 13, 2018 by Etienne Renault   wish
    • 0
    updated Nov 13, 2018
  • add acc_cond::is_hyper_rabin() and acc_cond::is_hyper_streett() functions
    #369 · opened Nov 07, 2018 by Alexandre Duret-Lutz   wish
    • 0
    updated Nov 07, 2018
  • a curious case of smaller "unambiguous" automaton
    #365 · opened Oct 01, 2018 by Alexandre Duret-Lutz   wish
    • 0
    updated Oct 01, 2018
  • partition an automaton into safety and liveness
    #364 · opened Oct 01, 2018 by Alexandre Duret-Lutz   wish
    • 1
    updated Nov 05, 2018
  • better handling of silly histories in sat_minimize()
    #344 · opened Apr 20, 2018 by Alexandre Duret-Lutz   wish
    • 0
    updated Apr 20, 2018
  • evaluation of formula on word
    #322 · opened Jan 26, 2018 by Alexandre Duret-Lutz   wish
    • 1
    updated Mar 24, 2018
  • complementation of semi-deterministic automata
    #310 · opened Dec 15, 2017 by Alexandre Duret-Lutz   wish
    • 3
    updated Jul 30, 2020
  • accessibility properties
    #308 · opened Dec 06, 2017 by Alexandre Duret-Lutz   wish
    • 0
    updated Dec 06, 2017
  • overhaul the formula simplification routines   0 of 5 tasks completed
    #281 · opened Sep 15, 2017 by Alexandre Duret-Lutz   tl wish
    • 0
    updated Sep 15, 2017
  • is_inherently_weak should support alternating automata
    #275 · opened Jul 20, 2017 by Thomas Medioni   wish
    • 1
    updated Aug 09, 2017
  • Prev
  • 1
  • 2
  • 3
  • 4
  • Next