Misc improvements - #52

Open

aerooneqq wants to merge 35 commits into

mainfrom

Commits on Jul 5, 2026

Commits on Jul 6, 2026

Remove explicit `Debug` impls
aerooneqq
committed
00f57db
Remove explicit `Error` impls
aerooneqq
committed
1d8b1c2
Remove unused imports
aerooneqq
committed
56279d2

Commits on Jul 7, 2026

Fix compilation
aerooneqq
committed
2643efa

Commits on Jul 13, 2026

Some cleanups
aerooneqq
committed
b75e1a6

Commits on Aug 30, 2026

WIP on ECFG -> Petri Nets transformation
aerooneqq
committed
51e5a60

Commits on Aug 31, 2026

WIP on ECFG -> Petri Nets transformation
aerooneqq
committed
161f0f1

Commits on Sep 1, 2026

Better silent transitions
aerooneqq
committed
1240b33
Write silent transitions tags
aerooneqq
committed
9a23fec

Commits on Sep 3, 2026

WIP: add tests
aerooneqq
committed
589c8d8

Commits on Sep 4, 2026

Add backend ConvertEcfgToPetriNet pipeline part
aerooneqq
committed
a730c5b
cargo fmt
aerooneqq
committed
8eed09e
Add frontend pipeline part
aerooneqq
committed
cf89438
Serialize markings too
aerooneqq
committed
c736931

Commits on Sep 5, 2026

Make date optional for xes logs
aerooneqq
committed
6f4093f
Better perf during replay
aerooneqq
committed
0372073
Use slices
aerooneqq
committed
27dc7f0
Add bytes serialization to PNML
aerooneqq
committed
2a3a6bb
Fixing some tests
aerooneqq
committed
d8e2b89

Commits on Sep 6, 2026

Fixing petri nets serialization
aerooneqq
committed
6149538
Fix places names in ECFG to Petri net conversion, update gold
aerooneqq
committed
9498c40
Check if there is last group
aerooneqq
committed
93308ff

Commits on Sep 7, 2026

Commits on Sep 8, 2026

Update Ficus integration tests gold
aerooneqq
committed
7cd8a40
Try to update to VS 2026 in CI
aerooneqq
committed
9f24598
Fix typo
aerooneqq
committed
f38358a
Explicitly install cmake version
aerooneqq
committed
0e7e113