pseuCo CPN Compiler merge requestshttps://dgit.cs.uni-saarland.de/pseuco/pseuco-cpn-compiler/-/merge_requests2024-01-31T18:26:52+01:00https://dgit.cs.uni-saarland.de/pseuco/pseuco-cpn-compiler/-/merge_requests/4Use @pseuco/lang version 0.9.42024-01-31T18:26:52+01:00Dominic ZimmerUse @pseuco/lang version 0.9.4This adds a new function `getNodeName()` provided by `pseuCo-lang` version `0.9.4`, aimed at no longer relying on `constructor.name` for AST node type distinction.This adds a new function `getNodeName()` provided by `pseuCo-lang` version `0.9.4`, aimed at no longer relying on `constructor.name` for AST node type distinction.https://dgit.cs.uni-saarland.de/pseuco/pseuco-cpn-compiler/-/merge_requests/3Do spring cleaning2024-01-18T14:44:21+01:00Dominic ZimmerDo spring cleaningIn this MR, we introduce unit tagging into the cpn compilation unfolding. Since I (hope to) only highjack the creation of existing objects, I think this MR does not break prior functionality.In this MR, we introduce unit tagging into the cpn compilation unfolding. Since I (hope to) only highjack the creation of existing objects, I think this MR does not break prior functionality.Dominic ZimmerDominic Zimmerhttps://dgit.cs.uni-saarland.de/pseuco/pseuco-cpn-compiler/-/merge_requests/2Draft: Use new TS-based AST and type checker2024-03-21T13:24:50+01:00Felix FreibergerDraft: Use new TS-based AST and type checkerConfirmed to build and pass tests with pseuco-lang c91a62bbbfda53333c67b93f5c46c3c0dba7d93b and pseuco-static-semantics bacb93e2ba5ae89123f2231415cfd21cbdbda0be.
Now waiting for the new versions to be published.Confirmed to build and pass tests with pseuco-lang c91a62bbbfda53333c67b93f5c46c3c0dba7d93b and pseuco-static-semantics bacb93e2ba5ae89123f2231415cfd21cbdbda0be.
Now waiting for the new versions to be published.Sebastian BiewerSebastian Biewerhttps://dgit.cs.uni-saarland.de/pseuco/pseuco-cpn-compiler/-/merge_requests/1Run with ---unsafe-perm to allow building on server with Git-based dependencies2020-05-25T15:54:23+02:00Felix FreibergerRun with ---unsafe-perm to allow building on server with Git-based dependenciesSven FehlmannSven Fehlmann