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 117
    • Issues 117
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
  • Merge Requests 1
    • Merge Requests 1
  • 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 117
  • Closed 328
  • All 445
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual
  • a case where propagation would improve determinization
    #456 · opened Feb 17, 2021 by Alexandre Duret-Lutz   determinization simulation
    • 0
    updated Feb 17, 2021
  • another simulation missed reduction
    #455 · opened Feb 16, 2021 by Alexandre Duret-Lutz   simulation
    • 0
    updated Feb 17, 2021
  • case where ltl-split is harmful
    #454 · opened Feb 03, 2021 by Alexandre Duret-Lutz   wish
    • 2
    updated Feb 24, 2021
  • clone automaton in Python
    #453 · opened Jan 27, 2021 by Alexandre Duret-Lutz   wish
    • 0
    updated Jan 27, 2021
  • simulation missed reduction
    #452 · opened Jan 25, 2021 by Alexandre Duret-Lutz   wish
    • 2
    updated Feb 16, 2021
  • do_simul on automata with non-separated Fin/Inf
    #451 · opened Jan 25, 2021 by Alexandre Duret-Lutz   simulation wish
    • 0
    updated Feb 17, 2021
  • generalize defrag_state()
    #450 · opened Jan 20, 2021 by Alexandre Duret-Lutz   wish
    • 0
    updated Jan 20, 2021
  • bricks.test sporadic failure
    #446 · opened Dec 29, 2020 by Alexandre Duret-Lutz   bug
    • 9
    updated Feb 26, 2021
  • show C++/Python example of game-based simulation checks for documenting
    #445 · opened Dec 15, 2020 by Alexandre Duret-Lutz   doc
    • 0
    updated Feb 18, 2021
  • 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
  • Parse of atomic propositions in LTSmin wrapper
    #436 · opened Oct 20, 2020 by Yann Thierry-Mieg
    • 32
    updated Nov 14, 2020
  • -Waddress-of-array-temporary raises error in jupiter notebook
    #433 · opened Oct 05, 2020 by Etienne Renault
    • 1
    updated Oct 07, 2020
  • Publishing to conda, pip packages?
    #432 · opened Oct 04, 2020 by Cambridge Yang
    • 4
    updated Jan 12, 2021
  • cleanup_acceptance_here and simplify_acceptance_here could be improved to use SCCs
    #431 · opened Sep 28, 2020 by Alexandre Duret-Lutz
    • 0
    updated Sep 28, 2020
  • LTL->DPA case where default translation is very bad
    #425 · opened Sep 16, 2020 by Alexandre Duret-Lutz
    • 0
    updated Sep 16, 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
  • randaut should learn to generate paralllel transitions
    #409 · opened May 07, 2020 by Alexandre Duret-Lutz
    • 0
    updated May 07, 2020
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • Next