Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
Spot
Spot
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 116
    • Issues 116
    • 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
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Spot
  • SpotSpot
  • Issues
  • #254

Closed
Open
Created Apr 20, 2017 by Alexandre Duret-Lutz@adlOwner

libspotgen

It would be nice to have all the LTL generators of genltl available in Python. This means we should move those functions outside of bin/genltl.cc; but I would also prefer to not define them in libspot.so, because that is really unlikely to be used in most tools built using Spot, and if we continue adding new hard-coded lists of formulas, it could become quite big. So I'd suggest to create a libspotgen.so library, with Python bindings in package spot.gen, and also its own Debian packages.

@max just suggested we might want a genaut binary as well, and I would put the functions constructing these automata in libspotgen.so as well.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
None
Milestone
None
Assign milestone
Time tracking
None
Due date
None