Skip to content

GitLab

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

  • Open 17
  • Closed 47
  • All 64
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual
  • CodeMirrorTextEditor only displays subset of text
    #69 · opened Feb 05, 2021 by Dominic   bug
    • 0
    updated Feb 05, 2021
  • Unknown error: Error: Illegal instance value
    #65 · opened Oct 05, 2019 by Felix Freiberger
    • 1
    updated Oct 05, 2019
  • Memory Model: Inconsistent results after reverting assumption
    #60 · opened Jun 18, 2019 by Felix Freiberger   bug m3
    • 0
    updated Jan 21, 2021
  • Handle variable renaming in Petri net semantics
    #59 · opened Jun 13, 2019 by Daniel Weber   debugger enhancement
    • 1
    • 2
    updated Feb 05, 2021
  • Feature request: "this" to reference instance of monitor/struct
    #57 · opened Jun 12, 2019 by Lennard Gäher
    • 1
    updated Jun 12, 2019
  • Add typing information to debugger   0 of 2 tasks completed
    #50 · opened Apr 03, 2019 by Felix Freiberger
    • 0
    updated Feb 05, 2021
  • Migrate away from angular.js
    #48 · opened Mar 25, 2019 by Felix Freiberger
    • 2
    updated Feb 05, 2021
  • CPN: Improve place and transition naming   0 of 2 tasks completed
    #47 · opened Mar 12, 2019 by Felix Freiberger   enhancement
    • 0
    updated Feb 05, 2021
  • Debugger: Add option to view the underlying marking   0 of 4 tasks completed
    #46 · opened Mar 12, 2019 by Felix Freiberger   enhancement
    • 0
    updated Feb 05, 2021
  • CPN: Add source mapping between CPPN and CPN   0 of 3 tasks completed
    #45 · opened Mar 12, 2019 by Felix Freiberger   enhancement
    • 0
    updated Feb 05, 2021
  • Parser error when identifier starts with true
    #23 · opened Aug 05, 2017 by Felix Freiberger
    • 0
    updated Aug 05, 2017
  • Parse error when variable names contain unlock
    #22 · opened Jun 27, 2017 by Gregory Stock
    • 1
    • 1
    • 1
    updated Jun 27, 2017
  • Wrong old syntax error
    #16 · opened Jun 07, 2017 by Sebastian Biewer
    • 1
    • 1
    • 0
    updated Jun 27, 2017
  • Match operator precedence of NP lecture
    #8 · opened May 15, 2017 by Sebastian Biewer
    • 2
    updated Dec 26, 2017
  • empty for-statements throw BlockNotFound: Block not found!
    #4 · opened Feb 23, 2017 by Felix Freiberger
    • 0
    updated Nov 25, 2017
  • Reject _chan0 declarations
    #3 · opened Feb 15, 2017 by Sebastian Biewer
    • 1
    • 0
    updated Nov 25, 2017
  • Disallow condition assignments
    #1 · opened Dec 16, 2016 by Sebastian Biewer
    • 2
    updated Nov 25, 2017