From a245d0a406aba04022d3f9d92708da899f250615 Mon Sep 17 00:00:00 2001 From: Joeri Exelmans Date: Wed, 29 Jan 2025 16:16:47 +0100 Subject: [PATCH] add a todo thingy --- TODO.txt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/TODO.txt b/TODO.txt index 8df5fc8..bf1e3d4 100644 --- a/TODO.txt +++ b/TODO.txt @@ -29,7 +29,9 @@ Feature requests: - When matching edge, match 'any' src/tgt - - Support 'return'-statement in conditions? + - Support 'return'-statement in conditions? (just makes syntax nicer) + + - RAMification / matching: add `match_subtypes` attribute to each RAMified class. - Separate script for running LHS (+NAC) on any model, and visualizing the match.