Issues · pseuco / concurrent-programming-web

New issue

CodeMirrorTextEditor only displays subset of text

#69 · created Feb 05, 2021 by Dominic bug
- 0
updated Feb 05, 2021
Unknown error: Error: Illegal instance value

#65 · created Oct 05, 2019 by Felix Freiberger
- 1
updated Oct 05, 2019
Memory Model: Inconsistent results after reverting assumption

#60 · created Jun 18, 2019 by Felix Freiberger bug m3
- 0
updated Jan 21, 2021
Handle variable renaming in Petri net semantics

#59 · created Jun 13, 2019 by Daniel Weber debugger enhancement
- 1
- 2
updated Feb 05, 2021
Feature request: "this" to reference instance of monitor/struct

#57 · created Jun 12, 2019 by Lennard Gäher
- 1
updated Jun 12, 2019
Add typing information to debugger 0 of 2 tasks completed

#50 · created Apr 03, 2019 by Felix Freiberger
- 0
updated Feb 05, 2021
Migrate away from angular.js

#48 · created Mar 25, 2019 by Felix Freiberger
- 2
updated Feb 05, 2021
CPN: Improve place and transition naming 0 of 2 tasks completed

#47 · created 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 · created 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 · created Mar 12, 2019 by Felix Freiberger enhancement
- 0
updated Feb 05, 2021
Parser error when identifier starts with true

#23 · created Aug 05, 2017 by Felix Freiberger
- 0
updated Aug 05, 2017
Parse error when variable names contain unlock

#22 · created Jun 27, 2017 by Gregory Stock
- 1
- 1
- 1
updated Jun 27, 2017
Wrong old syntax error

#16 · created Jun 07, 2017 by Sebastian Biewer
- 1
- 1
- 0
updated Jun 27, 2017
Match operator precedence of NP lecture

#8 · created May 15, 2017 by Sebastian Biewer
- 2
updated Dec 26, 2017
empty for-statements throw BlockNotFound: Block not found!

#4 · created Feb 23, 2017 by Felix Freiberger
- 0
updated Nov 25, 2017
Reject _chan0 declarations

#3 · created Feb 15, 2017 by Sebastian Biewer
- 1
- 0
updated Nov 25, 2017
Disallow condition assignments

#1 · created Dec 16, 2016 by Sebastian Biewer
- 2
updated Nov 25, 2017