From a620f07468780778bd55dcffc30245def37ece69 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Thu, 6 Aug 2020 16:07:16 +0200 Subject: MoDeS3 unit propagation WIP --- Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.gitignore | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.gitignore (limited to 'Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.gitignore') diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.gitignore b/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.gitignore new file mode 100644 index 00000000..53dcf60f --- /dev/null +++ b/Domains/ca.mcgill.rtgmrt.example.modes3/xtend-gen/modes3/run/.gitignore @@ -0,0 +1,2 @@ +/.Modes3ModelGenerator.java._trace +/.Modes3UnitPropagationGenerator.java._trace -- cgit v1.2.3-70-g09d2