Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• d4a6769183 fix master 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
• 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