-
850d53acf8
refactoring
elvis
2025-07-26 16:46:48 +02:00
-
c8b437d9e8
Bisimilarity with arbitrary labels
elvis
2025-07-26 01:52:43 +02:00
-
c6689585e6
Removing unnecessary traits
elvis
2025-07-24 20:51:59 +02:00
-
2d446a0f34
Fix translator, bisimulation now working
elvis
2025-07-24 20:30:20 +02:00
-
4c9ee896e1
Bisimilarity by Paige and Tarjan
elvis
2025-07-24 18:18:27 +02:00
-
a661154919
Better documentation, formatting code to 80 char
elvis
2025-07-16 18:34:33 +02:00
-
567850f013
Documentation and better support for deserialization in bisimilarity
elvis
2025-07-16 18:03:31 +02:00
-
23ce9c3488
Support for excluding common entities and excluding custom ones
elvis
2025-07-16 16:20:29 +02:00
-
0ef51200e5
now working bisimilarity
elvis
2025-07-16 01:35:57 +02:00
-
e5f81301c6
bisimilarity working?
elvis
2025-07-16 00:06:40 +02:00
-
fe05ff35f2
Bisimilarity working?
elvis
2025-07-16 00:05:14 +02:00
-
047a7a517e
Version on crate.io has been updated for petgraph-graphml
elvis
2025-07-14 16:54:49 +02:00
-
3be9939c09
Fixing color for edge formatter
elvis
2025-07-13 19:32:11 +02:00
-
75028fbf38
Edge color working
elvis
2025-07-13 19:08:39 +02:00
-
6fd606d75d
Working color for nodes
elvis
2025-07-13 18:14:35 +02:00
-
28b5288535
Working compilation
elvis
2025-07-13 17:28:13 +02:00
-
9207d588b8
rustfmt
elvis
2025-07-12 15:41:10 +02:00
-
483260c2a3
Working formatting of weights for nodes and edges
elvis
2025-07-12 15:32:21 +02:00
-
dcb1e63c35
Automatic instructions
elvis
2025-07-12 02:42:28 +02:00
-
eeb4743e57
modifiing grammar for instructions in file
elvis
2025-07-11 23:49:59 +02:00
-
a7b01cb221
updating .gitignore
elvis
2025-07-11 19:37:24 +02:00
-
b22c7de319
Refactoring
elvis
2025-07-11 19:36:20 +02:00
-
5bddb01883
Graphml support
elvis
2025-07-10 15:47:49 +02:00
-
869d46c7b2
pethgraph-graphml and docs/comments
elvis
2025-07-10 15:02:14 +02:00
-
0fb1ca97a0
Serialization maybe
elvis
2025-07-09 21:44:04 +02:00
-
ed49d6fa52
Converting to library and commenting code
elvis
2025-07-09 19:34:15 +02:00
-
1b9c0ce44b
Refactoring names of structures, removing useless functions
elvis
2025-07-09 16:12:22 +02:00
-
6b0a825210
advdigraph
elvis
2025-07-08 01:03:50 +02:00
-
8baa1bafc1
Dot file output
elvis
2025-07-07 22:45:02 +02:00
-
cdf3d23243
Useful graph presets
elvis
2025-07-07 01:25:38 +02:00
-
ad1ef6f6a6
implementing digraph generation
elvis
2025-07-05 14:54:43 +02:00
-
62740cce84
Fixing ordering, using petgraph
elvis
2025-07-03 23:44:10 +02:00
-
eb8455b84d
Maybe added support for other alphabets
elvis
2025-07-03 19:50:12 +02:00
-
d419ebaafd
Added support for emojis 😁
elvis
2025-07-03 16:28:28 +02:00
-
e0a7c61baa
Fixing bugs
elvis
2025-07-03 11:09:58 +02:00
-
c3a84cff2b
Simple experiment example
elvis
2025-07-02 18:58:33 +02:00
-
fb3256c4a7
finishing frequency
elvis
2025-07-02 17:27:36 +02:00
-
f3ba949b82
Replacing giant translator structure with lots of small structures
elvis
2025-07-02 10:37:29 +02:00
-
2e16e2b002
Fixing Freq, now main functions
elvis
2025-07-02 07:30:05 +02:00
-
eba5d1266d
formatting with rustfmt
elvis
2025-07-01 19:22:50 +02:00
-
dcb4cbecb0
Frequency working, main_do(freq) done
elvis
2025-07-01 18:00:27 +02:00
-
9f01383f4f
Ignore .stats file
elvis
2025-07-01 04:07:32 +02:00
-
5af8cd98c2
Starting to convert main_do, statistics, frequency not working
elvis
2025-07-01 04:04:13 +02:00
-
65d6c93424
frequency and modified RSset to use BTreeSet
elvis
2025-06-24 18:56:04 +02:00
-
aa33e25771
loop_confluent, strong_confluent
elvis
2025-06-23 17:07:46 +02:00
-
454f1760ed
Invariant
elvis
2025-06-22 20:55:35 +02:00
-
caa20c3570
More idiomatic code
elvis
2025-06-22 19:37:57 +02:00
-
c9cc011fdb
Fix bug confluence
elvis
2025-06-22 18:57:35 +02:00
-
27ce4899ca
Confluence module
elvis
2025-06-22 16:09:31 +02:00
-
08ad2cb305
lollipop operator without prefix
elvis
2025-06-20 17:11:00 +02:00
-
732683fd24
lollipop operator, fixed but in grammar-lalrpop for environment parsing
elvis
2025-06-19 23:48:16 +02:00
-
bbff61f71a
Print methods
elvis
2025-06-18 11:28:04 +02:00
-
d074812179
Into<String> better than AsRef<str>
elvis
2025-06-17 17:25:42 +02:00
-
7b4564cd60
smartOneRunECT, smartRunECT
elvis
2025-06-17 13:45:35 +02:00
-
871255dbaa
oneRun, oneTarget
elvis
2025-06-16 16:35:54 +02:00
-
b94afa3f52
Refactoring
elvis
2025-06-16 14:46:04 +02:00
-
0975d593f8
System behind reference
elvis
2025-06-12 20:12:21 +02:00
-
c9e3701460
Readability
elvis
2025-06-12 20:00:05 +02:00
-
a25316fa20
Better AllTransitions and implemented iterator over transitions
elvis
2025-06-12 19:16:32 +02:00
-
75c10dc313
Adding allTransitions
elvis
2025-06-12 16:23:39 +02:00
-
4507b0194f
Adding transitions support
elvis
2025-05-21 00:03:36 +02:00
-
32c2fc2701
Adding documentation for classical.rs, modifying compute_step with pointers
elvis
2025-05-19 13:10:05 +02:00
-
6d5be8c36c
Allow clippy upper case acronym for RSBHML
elvis
2025-05-19 02:19:47 +02:00
-
d9e6f0981b
Simple process reaction
elvis
2025-05-19 00:10:23 +02:00
-
f3d2644aff
Added set structure
elvis
2025-05-14 12:14:13 +02:00
-
fe6a5a6580
Parser
elvis
2025-05-14 11:42:19 +02:00
-
a113c072f5
Initial commit
Elvis Rossi
2025-04-08 19:05:25 +02:00