Compare revisions

d2e8771d · d2e8771d · d2e8771d · d2e8771d · d2e8771d · d2e8771d
--- a/tests/ascii.v
+++ b/tests/ascii.v
--- a/opam.pins
+++ b/opam.pins
--- a/tests/bitblast.v
+++ b/tests/bitblast.v
--- a/tests/bitvector_definitions.ref
+++ b/tests/bitvector_definitions.ref
--- a/tests/bitvector_definitions.v
+++ b/tests/bitvector_definitions.v
--- a/tests/bitvector_tactics.ref
+++ b/tests/bitvector_tactics.ref
--- a/tests/bitvector_tactics.v
+++ b/tests/bitvector_tactics.v
--- a/tests/decidable.ref
+++ b/tests/decidable.ref
--- a/tests/decidable.v
+++ b/tests/decidable.v
--- a/tests/eunify.ref
+++ b/tests/eunify.ref
--- a/tests/eunify.v
+++ b/tests/eunify.v
--- a/tests/fin.ref
+++ b/tests/fin.ref
--- a/tests/fin.v
+++ b/tests/fin.v
--- a/tests/fin_maps.ref
+++ b/tests/fin_maps.ref
--- a/tests/fin_maps.v
+++ b/tests/fin_maps.v
--- a/tests/is_closed_term.ref
+++ b/tests/is_closed_term.ref
--- a/tests/is_closed_term.v
+++ b/tests/is_closed_term.v
--- a/tests/length.ref
+++ b/tests/length.ref
--- a/tests/length.v
+++ b/tests/length.v
--- a/tests/list.ref
+++ b/tests/list.ref
No results found