feat: remove timestamp in patch

Author: QGarchery

certora/applyHarnessFifo.patch

@@ -1,6 +1,6 @@
 diff -ruN DoubleLinkedList.sol DoubleLinkedList.sol
---- DoubleLinkedList.sol	2024-08-14 10:10:08.974975205 +0200
-+++ DoubleLinkedList.sol	2024-08-14 10:14:10.970436843 +0200
+--- DoubleLinkedList.sol
++++ DoubleLinkedList.sol
 @@ -16,6 +16,8 @@
 
      struct List {

certora/applyHarnessSimple.patch

@@ -1,6 +1,6 @@
 diff -ruN DoubleLinkedList.sol DoubleLinkedList.sol
---- DoubleLinkedList.sol	2024-08-14 10:10:08.974975205 +0200
-+++ DoubleLinkedList.sol	2024-08-14 10:13:25.455164370 +0200
+--- DoubleLinkedList.sol
++++ DoubleLinkedList.sol
 @@ -16,6 +16,8 @@
 
      struct List {

certora/makefile

@@ -7,15 +7,15 @@ munged-simple: $(wildcard ../src/*.sol) applyHarnessSimple.patch
 	@patch -p0 -d munged-simple < applyHarnessSimple.patch
 
 record-simple:
-	diff -ruN ../src munged-simple | sed 's+\.\./src/++g' | sed 's+munged-simple/++g' > applyHarnessSimple.patch
+	diff -ruN ../src munged-simple | sed 's+\.\./src/++g' | sed 's+munged-simple/++g' | sed 's,\(\-\-\- [^[:space:]]*\).*,\1,' | sed 's,\(+++ [^[:space:]]*\).*,\1,' > applyHarnessSimple.patch
 
 munged-fifo: $(wildcard ../src/*.sol) applyHarnessFifo.patch
 	@rm -rf munged-fifo
 	@cp -r ../src munged-fifo
 	@patch -p0 -d munged-fifo < applyHarnessFifo.patch
 
 record-fifo:
-	diff -ruN ../src munged-fifo | sed 's+\.\./src/++g' | sed 's+munged-fifo/++g' > applyHarnessFifo.patch
+	diff -ruN ../src munged-fifo | sed 's+\.\./src/++g' | sed 's+munged-fifo/++g' | sed 's,\(\-\-\- [^[:space:]]*\).*,\1,' | sed 's,\(+++ [^[:space:]]*\).*,\1,' > applyHarnessFifo.patch
 
 clean:
 	rm -rf munged-simple munged-fifo