Merge branch 'master' into highprecision

nickbattle · Oct 19, 2023 · 8c19a74 · 8c19a74
2 parents 8095085 + 1d08104
commit 8c19a74
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/examples/quickcheck/TODO b/examples/quickcheck/TODO
@@ -1,6 +1,8 @@
 Things still to do with QuickCheck
 
-1. Make getValues interruptible as well as checkObligations?
-2. Move QC to be part of POPlugin(s)
-3. Separate IO from calculations (and allow LSP control)
-4. Add -file and -func PO selection options?
+. Make getValues interruptible as well as checkObligations?
+. Move QC to be part of POPlugin(s)
+. Separate IO from calculations (and allow LSP control)
+. Add -file and -func PO selection options?
+. Make Trivial check a QC strategy?
+. Add counterxamples Context chain and other check status settings to POs (for SLSP)