|
|
3a4c4d43c2
|
Refactoring not done yet, still need to do RSassert
|
2025-08-24 02:01:24 +02:00 |
|
|
|
8a492c7b8a
|
Refactoring :), in the middle of so please be patient
|
2025-08-23 23:40:19 +02:00 |
|
|
|
064bddbddc
|
Adding traces
|
2025-08-21 21:43:54 +02:00 |
|
|
|
d4ade0d921
|
Added guarded context
|
2025-08-20 13:51:48 +02:00 |
|
|
|
331635981a
|
Parser for assert
|
2025-08-18 20:39:43 +02:00 |
|
|
|
bdc97c6205
|
Refactoring and adding node grouping functionality
|
2025-08-17 03:19:50 +02:00 |
|
|
|
c27610877d
|
Relocate all files into separate module
|
2025-08-17 01:25:35 +02:00 |
|
|
|
4816c8af25
|
Refactoring but this time modular
|
2025-08-17 01:01:56 +02:00 |
|
|
|
c28a8c9685
|
Version two of assert, now with parser
|
2025-07-29 22:56:32 +02:00 |
|
|
|
1a2ffe1b32
|
First draft for assertions
|
2025-07-29 19:35:25 +02:00 |
|
|
|
c8b437d9e8
|
Bisimilarity with arbitrary labels
|
2025-07-26 01:52:43 +02:00 |
|
|
|
23ce9c3488
|
Support for excluding common entities and excluding custom ones
|
2025-07-16 16:20:29 +02:00 |
|
|
|
0ef51200e5
|
now working bisimilarity
|
2025-07-16 01:35:57 +02:00 |
|
|
|
fe05ff35f2
|
Bisimilarity working?
|
2025-07-16 00:05:14 +02:00 |
|
|
|
75028fbf38
|
Edge color working
|
2025-07-13 19:08:39 +02:00 |
|
|
|
869d46c7b2
|
pethgraph-graphml and docs/comments
|
2025-07-10 15:02:14 +02:00 |
|
|
|
0fb1ca97a0
|
Serialization maybe
|
2025-07-09 21:44:04 +02:00 |
|
|
|
ed49d6fa52
|
Converting to library and commenting code
refactoring and removing useless functions
|
2025-07-09 19:34:15 +02:00 |
|
|
|
1b9c0ce44b
|
Refactoring names of structures, removing useless functions
|
2025-07-09 16:12:22 +02:00 |
|
|
|
8baa1bafc1
|
Dot file output
TODO put everything in a library
|
2025-07-07 22:45:02 +02:00 |
|
|
|
cdf3d23243
|
Useful graph presets
|
2025-07-07 01:25:38 +02:00 |
|
|
|
ad1ef6f6a6
|
implementing digraph generation
|
2025-07-05 14:54:43 +02:00 |
|
|
|
f3ba949b82
|
Replacing giant translator structure with lots of small structures
|
2025-07-02 10:37:29 +02:00 |
|
|
|
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 |
|
|
|
aa33e25771
|
loop_confluent, strong_confluent
|
2025-06-23 17:07:46 +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 |
|
|
|
b94afa3f52
|
Refactoring
|
2025-06-16 14:46:04 +02:00 |
|
|
|
0975d593f8
|
System behind reference
|
2025-06-12 20:12:21 +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 |
|
|
|
32c2fc2701
|
Adding documentation for classical.rs, modifying compute_step with pointers
|
2025-05-19 13:10:05 +02:00 |
|
|
|
6d5be8c36c
|
Allow clippy upper case acronym for RSBHML
|
2025-05-19 02:19:47 +02:00 |
|
|
|
d9e6f0981b
|
Simple process reaction
|
2025-05-19 00:10:23 +02:00 |
|
