Examples missing from the gallery
Below are the examples that are missing from the gallery yet are part of Why3 1.5.0:
-
amortization -
infinity_of_primes -
kleene_algebra -
list_removal -
verifythis_2021_dll_to_bst -
verifythis_2021_lexicographic_permutations_1 -
verifythis_2021_lexicographic_permutations_2 -
verifythis_2021_shearsort -
verifythis_2021_shearsort_modified -
wrap_lines
They should either be added to the gallery in web/gallery/examples.rc
or marked as irrelevant in web/gallery/.gitignore
.