Renamed picosat folder and added perf_prec tag

se-sic · Feb 6, 2024 · 0fa0a45 · 0fa0a45
1 parent 015c6bf
commit 0fa0a45
Show file tree

Hide file tree

Showing 22 changed files with 11 additions and 0 deletions.
diff --git a/picosat-vara/allsat_blocksol.info → PicosatVara/allsat_blocksol.info b/picosat-vara/allsat_blocksol.info → PicosatVara/allsat_blocksol.info
@@ -13,3 +13,4 @@ tags:
 - synthetic
 - AllSat
 - picosat
+- perf_prec
diff --git a/picosat-vara/allsat_blocksol.patch → PicosatVara/allsat_blocksol.patch b/picosat-vara/allsat_blocksol.patch → PicosatVara/allsat_blocksol.patch
diff --git a/...sat-vara/compact_trace_write_to_file.info → PicosatVara/compact_trace_write_to_file.info b/...sat-vara/compact_trace_write_to_file.info → PicosatVara/compact_trace_write_to_file.info
@@ -13,3 +13,4 @@ tags:
 - synthetic
 - compact_trace
 - picosat
+- perf_prec
diff --git a/...at-vara/compact_trace_write_to_file.patch → ...satVara/compact_trace_write_to_file.patch b/...at-vara/compact_trace_write_to_file.patch → ...satVara/compact_trace_write_to_file.patch
diff --git a/...at-vara/extended_trace_write_to_file.info → ...satVara/extended_trace_write_to_file.info b/...at-vara/extended_trace_write_to_file.info → ...satVara/extended_trace_write_to_file.info
@@ -13,3 +13,4 @@ tags:
 - synthetic
 - extended_trace
 - picosat
+- perf_prec
diff --git a/...t-vara/extended_trace_write_to_file.patch → ...atVara/extended_trace_write_to_file.patch b/...t-vara/extended_trace_write_to_file.patch → ...atVara/extended_trace_write_to_file.patch
diff --git a/picosat-vara/global_default_phase_jwh.info → PicosatVara/global_default_phase_jwh.info b/picosat-vara/global_default_phase_jwh.info → PicosatVara/global_default_phase_jwh.info
@@ -13,3 +13,4 @@ tags:
 - synthetic
 - GlobalDefaultPhase
 - picosat
+- perf_prec
diff --git a/picosat-vara/global_default_phase_jwh.patch → PicosatVara/global_default_phase_jwh.patch b/picosat-vara/global_default_phase_jwh.patch → PicosatVara/global_default_phase_jwh.patch
diff --git a/picosat-vara/global_default_phase_neg.info → PicosatVara/global_default_phase_neg.info b/picosat-vara/global_default_phase_neg.info → PicosatVara/global_default_phase_neg.info
@@ -13,3 +13,4 @@ tags:
 - synthetic
 - GlobalDefaultPhase
 - picosat
+- perf_prec
diff --git a/picosat-vara/global_default_phase_neg.patch → PicosatVara/global_default_phase_neg.patch b/picosat-vara/global_default_phase_neg.patch → PicosatVara/global_default_phase_neg.patch
diff --git a/picosat-vara/global_default_phase_pos.info → PicosatVara/global_default_phase_pos.info b/picosat-vara/global_default_phase_pos.info → PicosatVara/global_default_phase_pos.info
@@ -13,3 +13,4 @@ tags:
 - synthetic
 - GlobalDefaultPhase
 - picosat
+- perf_prec
diff --git a/picosat-vara/global_default_phase_pos.patch → PicosatVara/global_default_phase_pos.patch b/picosat-vara/global_default_phase_pos.patch → PicosatVara/global_default_phase_pos.patch
diff --git a/picosat-vara/global_default_phase_rnd.info → PicosatVara/global_default_phase_rnd.info b/picosat-vara/global_default_phase_rnd.info → PicosatVara/global_default_phase_rnd.info
@@ -13,3 +13,4 @@ tags:
 - synthetic
 - GlobalDefaultPhase
 - picosat
+- perf_prec
diff --git a/picosat-vara/global_default_phase_rnd.patch → PicosatVara/global_default_phase_rnd.patch b/picosat-vara/global_default_phase_rnd.patch → PicosatVara/global_default_phase_rnd.patch
diff --git a/...cremental_rup_trace_write_rup_header.info → ...cremental_rup_trace_write_rup_header.info b/...cremental_rup_trace_write_rup_header.info → ...cremental_rup_trace_write_rup_header.info
@@ -13,3 +13,4 @@ tags:
 - synthetic
 - incremental_rup_trace
 - picosat
+- perf_prec
diff --git a/...remental_rup_trace_write_rup_header.patch → ...remental_rup_trace_write_rup_header.patch b/...remental_rup_trace_write_rup_header.patch → ...remental_rup_trace_write_rup_header.patch
diff --git a/picosat-vara/partial_printa.info → PicosatVara/partial_printa.info b/picosat-vara/partial_printa.info → PicosatVara/partial_printa.info
@@ -13,3 +13,4 @@ tags:
 - synthetic
 - Partial
 - picosat
+- perf_prec
diff --git a/picosat-vara/partial_printa.patch → PicosatVara/partial_printa.patch b/picosat-vara/partial_printa.patch → PicosatVara/partial_printa.patch
diff --git a/picosat-vara/plain_faillits.info → PicosatVara/plain_faillits.info b/picosat-vara/plain_faillits.info → PicosatVara/plain_faillits.info
@@ -13,3 +13,4 @@ tags:
 - synthetic
 - Plain
 - picosat
+- perf_prec
diff --git a/picosat-vara/plain_faillits.patch → PicosatVara/plain_faillits.patch b/picosat-vara/plain_faillits.patch → PicosatVara/plain_faillits.patch
diff --git a/picosat-vara/rup_trace_write_to_file.info → PicosatVara/rup_trace_write_to_file.info b/picosat-vara/rup_trace_write_to_file.info → PicosatVara/rup_trace_write_to_file.info
@@ -13,3 +13,4 @@ tags:
 - synthetic
 - rup_trace
 - picosat
+- perf_prec
diff --git a/picosat-vara/rup_trace_write_to_file.patch → PicosatVara/rup_trace_write_to_file.patch b/picosat-vara/rup_trace_write_to_file.patch → PicosatVara/rup_trace_write_to_file.patch
-Original file line number
+Diff line change
@@ Expand Up / @@ -13,3 +13,4 @@ tags: @@
     - synthetic
     - AllSat
     - picosat
+    - perf_prec