libpetri 5.0.0 → 5.1.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/{chunk-4HMFNYTH.js → chunk-BPGE7GZR.js} +2 -2
- package/dist/{chunk-75KEJQGC.js → chunk-EL4E6LVO.js} +1002 -205
- package/dist/chunk-EL4E6LVO.js.map +1 -0
- package/dist/debug/index.d.ts +2 -2
- package/dist/doclet/index.d.ts +1 -1
- package/dist/doclet/resources/petrinet-diagrams.js +4892 -4896
- package/dist/{event-store-hlH3-bzJ.d.ts → event-store-CUyHiIH7.d.ts} +1 -1
- package/dist/export/index.d.ts +1 -1
- package/dist/index.d.ts +23 -4
- package/dist/index.js +69 -4
- package/dist/index.js.map +1 -1
- package/dist/{petri-net-CH7UvjOW.d.ts → petri-net-6G5r1Wwb.d.ts} +59 -2
- package/dist/render-dom/index.js +1 -1
- package/dist/verification/index.d.ts +435 -14
- package/dist/verification/index.js +31 -1
- package/dist/verification/index.js.map +1 -1
- package/dist/viewer/index.js +1 -1
- package/dist/viewer/viewer.iife.js +4892 -4896
- package/package.json +5 -5
- package/dist/chunk-75KEJQGC.js.map +0 -1
- /package/dist/{chunk-4HMFNYTH.js.map → chunk-BPGE7GZR.js.map} +0 -0
|
@@ -762,7 +762,7 @@ function stripClusterEdgeAttrs(line) {
|
|
|
762
762
|
}
|
|
763
763
|
|
|
764
764
|
// src/viewer/version.ts
|
|
765
|
-
var VERSION = true ? "5.
|
|
765
|
+
var VERSION = true ? "5.1.0" : "0.0.0-dev";
|
|
766
766
|
|
|
767
767
|
// src/viewer/index.ts
|
|
768
768
|
async function mount(dotSource, container, opts = {}) {
|
|
@@ -1013,4 +1013,4 @@ export {
|
|
|
1013
1013
|
VERSION,
|
|
1014
1014
|
mount
|
|
1015
1015
|
};
|
|
1016
|
-
//# sourceMappingURL=chunk-
|
|
1016
|
+
//# sourceMappingURL=chunk-BPGE7GZR.js.map
|