Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• f428b1a45b add input ids master Dominic Höglinger 2025-05-14 21:31:45 +02:00
• 2a4c4b7660 now working on extracting a full mealy FSM from source code Dominic Höglinger 2022-12-09 17:44:06 +01:00
• abd3b7660b improved property detection excluding state transitions Dominic Höglinger 2022-11-23 09:14:22 +01:00
• ae412bc2d4 added ternary operator support Dominic Höglinger 2022-11-23 08:04:27 +01:00
• ae98044d2c added conditional enum which must hold true for differenciating different sub-FSMs depending on configuration Dominic Höglinger 2022-11-22 22:32:40 +01:00
• 57cb073ff4 added function deferring with invariants (states that hold true) in the execution path or something, I'm no prof Dominic Höglinger 2022-11-22 18:25:30 +01:00
• a7e3c59a94 added function calls as properties, now noting conditional state assignments as implicit self-transitions Dominic Höglinger 2022-11-22 11:21:27 +01:00
• a5a44098b8 improved dot generation Dominic Höglinger 2022-11-21 23:01:34 +01:00
• 2ca5091658 added fallthrough support 🤮 Dominic Höglinger 2022-11-21 22:16:03 +01:00
• 801b60ce33 expanded AST search for referenced functions Dominic Höglinger 2022-11-21 18:06:42 +01:00
• 83350bd6c9 added preprocessor, requirements.txt Dominic Höglinger 2022-11-21 17:21:28 +01:00
• 97f6b7989e moved AST visitors into own module Dominic Höglinger 2022-11-21 16:59:02 +01:00
• 210a40e4fa slight refactor Dominic Höglinger 2022-11-21 16:57:41 +01:00
• aad9547029 added comment capability Dominic Höglinger 2022-11-20 22:44:06 +01:00
• 92c32b6807 added sucky graphviz export of kripke Dominic Höglinger 2022-11-20 22:20:15 +01:00
• acb433c8c4 cleanup of dead code and comments, minor refactoring Dominic Höglinger 2022-11-20 21:47:31 +01:00
• 5762b0b6b5 Initial commit Dominic Höglinger 2022-11-20 21:12:14 +01:00