From b7cc0337e6194414f6ab93fdc471a31dba21f372 Mon Sep 17 00:00:00 2001 From: Dyuman Aditya Date: Tue, 21 Jan 2025 06:22:03 +0100 Subject: [PATCH] removed trace files --- rule_trace_edges_20241119-012005.csv | 1 - rule_trace_edges_20241125-114246.csv | 1 - 2 files changed, 2 deletions(-) delete mode 100644 rule_trace_edges_20241119-012005.csv delete mode 100644 rule_trace_edges_20241125-114246.csv diff --git a/rule_trace_edges_20241119-012005.csv b/rule_trace_edges_20241119-012005.csv deleted file mode 100644 index 1b0030fe..00000000 --- a/rule_trace_edges_20241119-012005.csv +++ /dev/null @@ -1 +0,0 @@ -Time,Fixed-Point-Operation,Edge,Label,Old Bound,New Bound,Occurred Due To diff --git a/rule_trace_edges_20241125-114246.csv b/rule_trace_edges_20241125-114246.csv deleted file mode 100644 index 1b0030fe..00000000 --- a/rule_trace_edges_20241125-114246.csv +++ /dev/null @@ -1 +0,0 @@ -Time,Fixed-Point-Operation,Edge,Label,Old Bound,New Bound,Occurred Due To