Commit Graph

17 Commits

Author SHA1 Message Date
2e16e2b002 Fixing Freq, now main functions 2025-07-02 07:30:05 +02:00
eba5d1266d formatting with rustfmt 2025-07-01 19:22:50 +02:00
dcb4cbecb0 Frequency working, main_do(freq) done 2025-07-01 18:00:27 +02:00
5af8cd98c2 Starting to convert main_do, statistics, frequency not working
frequency not working, also need to look into perpetual better
2025-07-01 04:04:13 +02:00
65d6c93424 frequency and modified RSset to use BTreeSet 2025-06-24 18:56:04 +02:00
08ad2cb305 lollipop operator without prefix 2025-06-20 17:11:00 +02:00
732683fd24 lollipop operator, fixed but in grammar-lalrpop for environment parsing 2025-06-19 23:48:16 +02:00
bbff61f71a Print methods 2025-06-18 11:28:04 +02:00
7b4564cd60 smartOneRunECT, smartRunECT 2025-06-17 13:45:35 +02:00
871255dbaa oneRun, oneTarget 2025-06-16 16:35:54 +02:00
b94afa3f52 Refactoring 2025-06-16 14:46:04 +02:00
0975d593f8 System behind reference 2025-06-12 20:12:21 +02:00
a25316fa20 Better AllTransitions and implemented iterator over transitions 2025-06-12 19:16:32 +02:00
75c10dc313 Adding allTransitions 2025-06-12 16:23:39 +02:00
4507b0194f Adding transitions support 2025-05-21 00:03:36 +02:00
d9e6f0981b Simple process reaction 2025-05-19 00:10:23 +02:00
fe6a5a6580 Parser 2025-05-14 11:42:19 +02:00