|
|
533af16b0f
|
forgot to add :(
|
2025-07-28 22:18:08 +02:00 |
|
|
|
20336b05ad
|
Fixed bisimilarity, now all working
|
2025-07-28 22:15:53 +02:00 |
|
|
|
c5c4e868c0
|
refactoring and slight optimization for index assignment
|
2025-07-27 19:55:22 +02:00 |
|
|
|
4b866b63da
|
Added way to mask common entities in labels
|
2025-07-27 19:08:27 +02:00 |
|
|
|
7fcaa5c13b
|
Removing Unnecessary structures for edge display in dot and graphml
|
2025-07-27 14:59:35 +02:00 |
|
|
|
9ee0c94e28
|
Removed unnecessary middle struct for node formatting
|
2025-07-26 22:46:10 +02:00 |
|
|
|
d4ce5ee03e
|
Refactoring edge coloring
|
2025-07-26 21:36:56 +02:00 |
|
|
|
c0a75e3f2e
|
refactoring
|
2025-07-26 21:22:30 +02:00 |
|
|
|
06aad711b6
|
Refactoring edge formatting
|
2025-07-26 20:16:32 +02:00 |
|
|
|
f6428f7f36
|
Refactoring
|
2025-07-26 20:01:46 +02:00 |
|
|
|
cf071e4c76
|
Refactoring with better struct the node printing function
|
2025-07-26 19:43:20 +02:00 |
|
|
|
850d53acf8
|
refactoring
|
2025-07-26 16:46:48 +02:00 |
|
|
|
c8b437d9e8
|
Bisimilarity with arbitrary labels
|
2025-07-26 01:52:43 +02:00 |
|
|
|
c6689585e6
|
Removing unnecessary traits
|
2025-07-24 20:51:59 +02:00 |
|
|
|
2d446a0f34
|
Fix translator, bisimulation now working
|
2025-07-24 20:30:20 +02:00 |
|
|
|
4c9ee896e1
|
Bisimilarity by Paige and Tarjan
|
2025-07-24 18:18:27 +02:00 |
|
|
|
a661154919
|
Better documentation, formatting code to 80 char
|
2025-07-16 18:34:33 +02:00 |
|
|
|
567850f013
|
Documentation and better support for deserialization in bisimilarity
|
2025-07-16 18:03:31 +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 |
|
|
|
e5f81301c6
|
bisimilarity working?
|
2025-07-16 00:06:40 +02:00 |
|
|
|
fe05ff35f2
|
Bisimilarity working?
|
2025-07-16 00:05:14 +02:00 |
|
|
|
047a7a517e
|
Version on crate.io has been updated for petgraph-graphml
|
2025-07-14 16:54:49 +02:00 |
|
|
|
3be9939c09
|
Fixing color for edge formatter
|
2025-07-13 19:32:11 +02:00 |
|
|
|
75028fbf38
|
Edge color working
|
2025-07-13 19:08:39 +02:00 |
|
|
|
6fd606d75d
|
Working color for nodes
|
2025-07-13 18:14:35 +02:00 |
|
|
|
28b5288535
|
Working compilation
|
2025-07-13 17:28:13 +02:00 |
|
|
|
9207d588b8
|
rustfmt
|
2025-07-12 15:41:10 +02:00 |
|
|
|
483260c2a3
|
Working formatting of weights for nodes and edges
|
2025-07-12 15:32:21 +02:00 |
|
|
|
dcb1e63c35
|
Automatic instructions
|
2025-07-12 02:42:28 +02:00 |
|
|
|
eeb4743e57
|
modifiing grammar for instructions in file
|
2025-07-11 23:49:59 +02:00 |
|
|
|
a7b01cb221
|
updating .gitignore
|
2025-07-11 19:37:24 +02:00 |
|
|
|
b22c7de319
|
Refactoring
|
2025-07-11 19:36:20 +02:00 |
|
|
|
5bddb01883
|
Graphml support
|
2025-07-10 15:47:49 +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 |
|
|
|
6b0a825210
|
advdigraph
|
2025-07-08 01:03:50 +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 |
|
|
|
62740cce84
|
Fixing ordering, using petgraph
|
2025-07-03 23:44:10 +02:00 |
|
|
|
eb8455b84d
|
Maybe added support for other alphabets
no support for roman numerals like Ⅺ, so please dont use them :)
|
2025-07-03 19:50:12 +02:00 |
|
|
|
d419ebaafd
|
Added support for emojis 😁
|
2025-07-03 16:28:28 +02:00 |
|
|
|
e0a7c61baa
|
Fixing bugs
Bug in parsing single set in .experiment and bug in printing frequency
|
2025-07-03 11:09:58 +02:00 |
|
|
|
c3a84cff2b
|
Simple experiment example
|
2025-07-02 18:58:33 +02:00 |
|
|
|
fb3256c4a7
|
finishing frequency
|
2025-07-02 17:27:36 +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 |
|
