From 59e910790678a3700571b5d31dbd9f3221396fda Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Tue, 9 May 2023 10:25:37 +0200
Subject: [PATCH] [stdlib] Remove unused import and commented specification.
---
stdlib/caisar.mlw | 4 ----
1 file changed, 4 deletions(-)
diff --git a/stdlib/caisar.mlw b/stdlib/caisar.mlw
index c5e157c..8ff1b9d 100644
--- a/stdlib/caisar.mlw
+++ b/stdlib/caisar.mlw
@@ -24,14 +24,11 @@ theory DatasetClassification
use ieee_float.Float64
use int.Int
use array.Array
- use option.Option
type features = array t
type label_ = int
type record = (features, label_)
type dataset = array record
- type ampli = { start: option int; stop: int; step: option int; }
- type amplitude = option ampli
constant dataset: dataset
@@ -73,7 +70,6 @@ theory DatasetClassificationProps
correct m d /\ robust m d eps
predicate meta_robust (m: model) (d: dataset) (threshold: t) (perturbation: string) (pert_path: string) (out_mode: string) (start: int) (stop: int) (step: int)
- (* predicate meta_robust (m: model) (d: dataset) (threshold: t) (perturbation: string) (ampli: amplitude) *)
end
theory NN
--
GitLab