|
|
7062135a61
|
Parser for Boolean Networks
|
2025-12-22 14:47:38 +01:00 |
|
|
|
25dfe9147d
|
Boolean networks to Reaction Systems and Positive RS
|
2025-12-22 00:58:45 +01:00 |
|
|
|
478ca52816
|
Boolean network to positive system
|
2025-12-21 17:16:51 +01:00 |
|
|
|
624446108e
|
DNF
|
2025-12-20 22:02:05 +01:00 |
|
|
|
65db7ed17b
|
step and evaluate function for bool fuction and network
|
2025-12-20 21:21:14 +01:00 |
|
|
|
5476feea2a
|
Boolean Fomulas + CNF
|
2025-12-20 21:11:42 +01:00 |
|
|
|
7185372726
|
convert to single products
|
2025-12-17 18:03:01 +01:00 |
|
|
|
e80bb5b20a
|
tuples for positive assert
|
2025-12-15 21:07:55 +01:00 |
|
|
|
e983e778eb
|
cargo fmt
|
2025-12-15 17:00:14 +01:00 |
|
|
|
35eb8d9a74
|
Context operation for positive
|
2025-12-15 16:59:33 +01:00 |
|
|
|
bbd482e2ce
|
cargo fmt, additional operations for dsl on context
|
2025-12-15 14:53:34 +01:00 |
|
|
|
ca6f6e7b39
|
Fix
|
2025-12-02 05:01:16 +01:00 |
|
|
|
a85c372462
|
better tokens
|
2025-11-17 04:13:29 +01:00 |
|
|
|
9a7ecc54fa
|
Formatting for graph printer functions
|
2025-11-16 03:28:48 +01:00 |
|
|
|
7adc073aaf
|
rename bisimilarity, added test
|
2025-11-16 02:07:47 +01:00 |
|
|
|
99efe9140d
|
fix
|
2025-11-15 19:14:26 +01:00 |
|
|
|
500f711b0a
|
forgot label for edges
|
2025-11-15 19:03:24 +01:00 |
|
|
|
cfa62ffef6
|
Useless
|
2025-11-13 17:17:54 +01:00 |
|
|
|
b8d885f774
|
fmt
|
2025-11-12 17:33:36 +01:00 |
|
|
|
0e49dfa4fb
|
small fixes
|
2025-11-11 15:40:39 +01:00 |
|
|
|
d4a6769183
|
fix
|
2025-11-03 18:59:51 +01:00 |
|
|
|
0ff5ea7860
|
All structures thread safe
|
2025-10-31 16:36:28 +01:00 |
|
|
|
0700b016eb
|
Positive graph dot and graphml formatting functions
|
2025-10-28 22:21:09 +01:00 |
|
|
|
f90308a11e
|
fmt
|
2025-10-28 14:01:49 +01:00 |
|
|
|
975b67bc79
|
Positive version of assert and group functions w/ parsers
Grouping function in execution::data
|
2025-10-27 21:12:43 +01:00 |
|
|
|
ea3a2f7f05
|
Parse Positive Structures
|
2025-10-27 14:39:36 +01:00 |
|
|
|
fbc767a21b
|
improvements and fixes
|
2025-10-27 14:39:11 +01:00 |
|
|
|
462d0e9d53
|
better print for systems
|
2025-10-25 17:38:07 +02:00 |
|
|
|
3c8c3197ae
|
Hash for positive environment
|
2025-10-25 17:37:49 +02:00 |
|
|
|
8ba6169f53
|
fixed bug
bug when graph has nodes but no edges
|
2025-10-25 17:37:17 +02:00 |
|
|
|
97b4c68b6c
|
Fixed formatting
|
2025-10-20 22:35:45 +02:00 |
|
|
|
7d0345f246
|
fmt and parser for positive set in grammar_separated
also slice with limit, implemented slice for system, changed print for
slicing trace to not use unicode
|
2025-10-20 17:04:00 +02:00 |
|
|
|
4f3e57faed
|
Serialize/Deserialize trace
|
2025-10-19 21:09:25 +02:00 |
|
|
|
ae4bcb19c8
|
Upgraded petgraph, hash for traces
|
2025-10-19 17:11:32 +02:00 |
|
|
|
08d195ab06
|
More examples, better defaults
grammar_separated is grammar but with all functions exposed
|
2025-10-17 19:45:20 +02:00 |
|
|
|
164e1d883c
|
Fix, clippy now working better
|
2025-09-28 17:11:43 +02:00 |
|
|
|
dee8a3a5ff
|
lazy evaluation, back to 40ms
|
2025-09-24 19:08:01 +02:00 |
|
|
|
fac85a10d5
|
Slicing for traces, both normal and positive
|
2025-09-24 18:25:56 +02:00 |
|
|
|
eee0439f6e
|
unstable let
|
2025-09-17 01:07:09 +02:00 |
|
|
|
d0408682d8
|
didnt solve all unstable lets, now solved
|
2025-09-17 01:04:13 +02:00 |
|
|
|
7f07eb66f7
|
removed unstable lets
|
2025-09-17 00:57:16 +02:00 |
|
|
|
83923b80e5
|
fmt
|
2025-09-17 00:34:18 +02:00 |
|
|
|
d458787a81
|
custom grammar errors, better handling of user facing errors
fuckery for modules in grammar, maybe fixable?
|
2025-09-16 23:09:20 +02:00 |
|
|
|
e41d92ac36
|
now workspaces for modular compilation (maybe faster)
|
2025-09-12 16:34:58 +02:00 |
|
|
|
fa1127358d
|
small fix
|
2025-09-11 17:42:54 +02:00 |
|
|
|
52a9f407e6
|
faster without inline
|
2025-09-11 15:52:34 +02:00 |
|
|
|
2d971613de
|
cargofmt now with nightly
|
2025-09-11 02:49:14 +02:00 |
|
|
|
160de5984b
|
cargofmt
|
2025-09-11 02:21:32 +02:00 |
|
|
|
b714643b33
|
Fix grammar for assert
|
2025-09-11 02:20:31 +02:00 |
|
|
|
63c34981ae
|
More exaustive example, fixed grammar
|
2025-09-11 02:17:40 +02:00 |
|
