Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• 7062135a61 Parser for Boolean Networks master elvis 2025-12-22 14:47:38 +01:00
• 25dfe9147d Boolean networks to Reaction Systems and Positive RS elvis 2025-12-22 00:58:45 +01:00
• 478ca52816 Boolean network to positive system elvis 2025-12-21 17:16:51 +01:00
• 624446108e DNF elvis 2025-12-20 22:02:05 +01:00
• 65db7ed17b step and evaluate function for bool fuction and network elvis 2025-12-20 21:21:14 +01:00
• 5476feea2a Boolean Fomulas + CNF elvis 2025-12-20 21:11:42 +01:00
• 7185372726 convert to single products elvis 2025-12-17 18:03:01 +01:00
• e80bb5b20a tuples for positive assert elvis 2025-12-15 21:07:55 +01:00
• e983e778eb cargo fmt elvis 2025-12-15 17:00:14 +01:00
• 35eb8d9a74 Context operation for positive elvis 2025-12-15 16:59:33 +01:00
• bbd482e2ce cargo fmt, additional operations for dsl on context elvis 2025-12-15 14:53:34 +01:00
• ca6f6e7b39 Fix elvis 2025-12-02 05:01:16 +01:00
• a85c372462 better tokens elvis 2025-11-17 04:13:29 +01:00
• 9a7ecc54fa Formatting for graph printer functions elvis 2025-11-16 03:28:48 +01:00
• 7adc073aaf rename bisimilarity, added test elvis 2025-11-16 02:07:47 +01:00
• 99efe9140d fix elvis 2025-11-15 19:14:26 +01:00
• 500f711b0a forgot label for edges elvis 2025-11-15 19:03:24 +01:00
• cfa62ffef6 Useless elvis 2025-11-13 17:17:54 +01:00
• b8d885f774 fmt elvis 2025-11-12 17:33:36 +01:00
• 0e49dfa4fb small fixes elvis 2025-11-11 15:40:39 +01:00
• d4a6769183 fix elvis 2025-11-03 18:59:51 +01:00
• 0ff5ea7860 All structures thread safe elvis 2025-10-31 16:36:28 +01:00
• 0700b016eb Positive graph dot and graphml formatting functions elvis 2025-10-28 22:21:09 +01:00
• f90308a11e fmt elvis 2025-10-28 14:01:49 +01:00
• 975b67bc79 Positive version of assert and group functions w/ parsers elvis 2025-10-27 21:12:43 +01:00
• ea3a2f7f05 Parse Positive Structures elvis 2025-10-27 14:39:36 +01:00
• fbc767a21b improvements and fixes elvis 2025-10-27 14:39:11 +01:00
• 462d0e9d53 better print for systems elvis 2025-10-25 17:38:07 +02:00
• 3c8c3197ae Hash for positive environment elvis 2025-10-25 17:37:49 +02:00
• 8ba6169f53 fixed bug elvis 2025-10-25 17:37:17 +02:00
• 97b4c68b6c Fixed formatting elvis 2025-10-20 22:35:45 +02:00
• 7d0345f246 fmt and parser for positive set in grammar_separated elvis 2025-10-20 17:04:00 +02:00
• 4f3e57faed Serialize/Deserialize trace elvis 2025-10-19 21:09:25 +02:00
• ae4bcb19c8 Upgraded petgraph, hash for traces elvis 2025-10-19 17:11:32 +02:00
• 08d195ab06 More examples, better defaults elvis 2025-10-17 19:45:20 +02:00
• 164e1d883c Fix, clippy now working better elvis 2025-09-28 17:11:43 +02:00
• dee8a3a5ff lazy evaluation, back to 40ms elvis 2025-09-24 19:08:01 +02:00
• fac85a10d5 Slicing for traces, both normal and positive elvis 2025-09-24 18:25:56 +02:00
• eee0439f6e unstable let elvis 2025-09-17 01:07:09 +02:00
• d0408682d8 didnt solve all unstable lets, now solved elvis 2025-09-17 01:04:13 +02:00
• 7f07eb66f7 removed unstable lets elvis 2025-09-17 00:57:16 +02:00
• 83923b80e5 fmt elvis 2025-09-17 00:34:18 +02:00
• d458787a81 custom grammar errors, better handling of user facing errors elvis 2025-09-16 23:09:20 +02:00
• e41d92ac36 now workspaces for modular compilation (maybe faster) elvis 2025-09-12 16:34:58 +02:00
• fa1127358d small fix elvis 2025-09-11 17:42:54 +02:00
• 52a9f407e6 faster without inline elvis 2025-09-11 15:52:34 +02:00
• 2d971613de cargofmt now with nightly elvis 2025-09-11 02:49:14 +02:00
• 160de5984b cargofmt elvis 2025-09-11 02:21:32 +02:00
• b714643b33 Fix grammar for assert elvis 2025-09-11 02:20:31 +02:00
• 63c34981ae More exaustive example, fixed grammar elvis 2025-09-11 02:17:40 +02:00
• 91f69c9e6d rustfmt and now grouping working elvis 2025-09-10 22:41:40 +02:00
• 355857abff Positive Labels now with more fileds elvis 2025-09-08 20:35:37 +02:00
• 2571148e74 Correct hanlding of reactions elvis 2025-09-08 19:04:26 +02:00
• 49051358f0 rustfmt, fixed prohibiting set generation elvis 2025-09-07 17:55:53 +02:00
• bf8bfd0d17 Much faster elvis 2025-09-05 14:09:00 +02:00
• fd33af456a Frequency struct for positive rs elvis 2025-09-05 13:13:35 +02:00
• aa0f795fae More examples elvis 2025-09-02 01:34:01 +02:00
• 7dcdc3a727 Working positive rs elvis 2025-08-29 17:59:49 +02:00
• 5812c75e37 Fixed links in documentation elvis 2025-08-28 23:10:30 +02:00
• 131683d4aa better lifetime for variables in pohibiting set elvis 2025-08-28 16:08:01 +02:00
• 391a93ab09 Prohibiting sets elvis 2025-08-27 23:59:19 +02:00
• a0f4297774 Prohibiting set elvis 2025-08-27 23:58:43 +02:00
• 8b0fbcee00 New set for positive rs elvis 2025-08-26 23:36:29 +02:00
• bf2403cdcf Introducing traits for sets and reactions elvis 2025-08-26 16:56:08 +02:00
• a46ab3833d Now truly finishing the refactoring elvis 2025-08-24 03:57:06 +02:00
• 9a80044a89 Finished refactoring elvis 2025-08-24 03:35:32 +02:00
• 3a4c4d43c2 Refactoring not done yet, still need to do RSassert elvis 2025-08-24 02:01:24 +02:00
• 8a492c7b8a Refactoring :), in the middle of so please be patient elvis 2025-08-23 23:40:19 +02:00
• f8740b8bd7 Better tests elvis 2025-08-22 01:40:15 +02:00
• 064bddbddc Adding traces elvis 2025-08-21 21:43:54 +02:00
• c58597389d Better error hanlding when parsing, added medical system elvis 2025-08-20 19:51:03 +02:00
• d4ade0d921 Added guarded context elvis 2025-08-20 13:51:48 +02:00
• 331635981a Parser for assert elvis 2025-08-18 20:39:43 +02:00
• eb94964677 More explicatory errors elvis 2025-08-17 03:32:21 +02:00
• bdc97c6205 Refactoring and adding node grouping functionality elvis 2025-08-17 03:19:50 +02:00
• e409a5a6c2 Harder, better, faster, stronger refactoring. elvis 2025-08-17 02:53:56 +02:00
• 397cf20008 Removed include! elvis 2025-08-17 01:31:41 +02:00
• c27610877d Relocate all files into separate module elvis 2025-08-17 01:25:35 +02:00
• 4816c8af25 Refactoring but this time modular elvis 2025-08-17 01:01:56 +02:00
• a0a2f01c30 Refactoring elvis 2025-08-16 21:52:36 +02:00
• 1face6efda More specific visibility for assert elvis 2025-08-15 17:43:22 +02:00
• a4da8aec8d Bisimilarity with assert in presets elvis 2025-08-15 00:32:58 +02:00
• d48f352bfa Added ability to inspect the node elvis 2025-08-14 21:20:10 +02:00
• cd00567978 Assert edges, source and target nodes, tests elvis 2025-08-14 02:47:12 +02:00
• 3af6ce5130 Execute function for assert elvis 2025-08-02 06:50:01 +02:00
• 39837498b3 display methods, fixing parsing for assert elvis 2025-07-30 18:05:55 +02:00
• fde3c45a12 Typechecking for assertions elvis 2025-07-30 03:58:34 +02:00
• c28a8c9685 Version two of assert, now with parser elvis 2025-07-29 22:56:32 +02:00
• 1a2ffe1b32 First draft for assertions elvis 2025-07-29 19:35:25 +02:00
• 533af16b0f forgot to add :( elvis 2025-07-28 22:18:08 +02:00
• 20336b05ad Fixed bisimilarity, now all working elvis 2025-07-28 22:15:53 +02:00
• c5c4e868c0 refactoring and slight optimization for index assignment elvis 2025-07-27 19:55:22 +02:00
• 4b866b63da Added way to mask common entities in labels elvis 2025-07-27 19:08:27 +02:00
• 7fcaa5c13b Removing Unnecessary structures for edge display in dot and graphml elvis 2025-07-27 14:59:35 +02:00
• 9ee0c94e28 Removed unnecessary middle struct for node formatting elvis 2025-07-26 22:46:10 +02:00
• d4ce5ee03e Refactoring edge coloring elvis 2025-07-26 21:36:56 +02:00
• c0a75e3f2e refactoring elvis 2025-07-26 21:22:30 +02:00
• 06aad711b6 Refactoring edge formatting elvis 2025-07-26 20:16:32 +02:00
• f6428f7f36 Refactoring elvis 2025-07-26 20:01:46 +02:00
• cf071e4c76 Refactoring with better struct the node printing function elvis 2025-07-26 19:43:20 +02:00