pseuCo CPN Compiler issueshttps://dgit.cs.uni-saarland.de/pseuco/pseuco-cpn-compiler/-/issues2023-11-06T16:31:23+01:00https://dgit.cs.uni-saarland.de/pseuco/pseuco-cpn-compiler/-/issues/4Execution order of global declarations2023-11-06T16:31:23+01:00Felix FreibergerExecution order of global declarationsThis program can prints 0, but only 2 should be allowed. See also: https://dgit.cs.uni-saarland.de/pseuco/pseuco-ccs-interpreter/-/issues/3This program can prints 0, but only 2 should be allowed. See also: https://dgit.cs.uni-saarland.de/pseuco/pseuco-ccs-interpreter/-/issues/3https://dgit.cs.uni-saarland.de/pseuco/pseuco-cpn-compiler/-/issues/2Add testing criteria for termination2020-06-03T14:12:30+02:00Lena BeckerAdd testing criteria for terminationIt would be nice to make use of the new correctness property that states whether the respective pseuCo-program terminates (cf. [commit in pseuCo-tests repo](https://dgit.cs.uni-saarland.de/pseuco/pseuco-tests/-/commit/cf7f71ccb06f785122a...It would be nice to make use of the new correctness property that states whether the respective pseuCo-program terminates (cf. [commit in pseuCo-tests repo](https://dgit.cs.uni-saarland.de/pseuco/pseuco-tests/-/commit/cf7f71ccb06f785122a9446c666fb2706c762a2e)).https://dgit.cs.uni-saarland.de/pseuco/pseuco-cpn-compiler/-/issues/1Handle illegal variable names2021-02-05T12:50:22+01:00Felix FreibergerHandle illegal variable namesPseuCo is very lenient with variable names, e.g. `_` is legal. Since `colored-petri-nets` is more strict (and rightly so), we need consistent renaming (probably mediated through `scope`). To allow the pseuCo debugger to retrieve variable...PseuCo is very lenient with variable names, e.g. `_` is legal. Since `colored-petri-nets` is more strict (and rightly so), we need consistent renaming (probably mediated through `scope`). To allow the pseuCo debugger to retrieve variable names, the renaming needs to be described in the net (likely per place to handle local variables).
Original issue: pseuco/concurrent-programming-web#59