Skip to content

GitLab

  • Menu
Projects Groups Snippets
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • S sasa
  • Project information
    • Project information
    • Activity
    • Labels
    • Planning hierarchy
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 8
    • Issues 8
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 2
    • Merge requests 2
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • verimag
  • synchrone
  • sasa
  • Issues

  • Open 8
  • Closed 16
  • All 24
New issue
  • Priority Created date Updated date Milestone due date Due date Popularity Label priority Manual Title
  • Sasa does not stop execution on the first legitimate state on unison
    #23 · created Aug 04, 2021 by Gwennan Eliezer
    • 0
    updated Aug 04, 2021
  • Sasa can stack overflow in the toy example sum
    #22 · created Aug 02, 2021 by Gwennan Eliezer
    • 0
    updated Aug 02, 2021
  • Sasa does not check if trigger is enabled
    #21 · created Jul 30, 2021 by Gwennan Eliezer
    • 0
    updated Jul 30, 2021
  • Change the graph created by "gg BA" on the m0 first nodes.
    #14 · created Jul 12, 2019 by Gwennan Eliezer   To Do
    • 0
    updated Jul 12, 2019
  • Add options to prevent algo to access to forbidden information
    #6 · created May 19, 2019 by erwan
    • 1
    • 1
    updated Jul 27, 2021
  • Allow the simulation to have inputs
    #5 · created May 17, 2019 by erwan
    • 3
    updated Jul 03, 2019
  • The generated synchronous Lutin demon is wrong
    #2 · created May 17, 2019 by erwan   To Do todo
    • 0
    updated Jul 03, 2019
  • Generate a Lutin node implementing a central demon
    #1 · created May 17, 2019 by erwan   To Do todo
    • 0
    updated Jun 20, 2019