Fedora Rawhide for ppc64le : / usr /share /doc /why3-examples /examples

• TODO
• WP_revisited
• add_list
• add_list.mlw
• add_list_vc_sp
• add_list_vc_sp.mlw
• algo63
• algo63.mlw
• algo64
• algo64.mlw
• algo65
• algo65.mlw
• all_distinct
• all_distinct.mlw
• amortization
• amortization.mlw
• anagrammi
• anagrammi.mlw
• arm
• arm.mlw
• array_most_frequent
• array_most_frequent.mlw
• array_of_list
• array_of_list.mlw
• assigning_meanings_to_programs
• assigning_meanings_to_programs.mlw
• avl
• bag
• bag.mlw
• balance
• balance.mlw
• bellman_ford
• bellman_ford.mlw
• bench.sh
• bignum
• bignum.mlw
• binary_multiplication
• binary_multiplication.mlw
• binary_search
• binary_search.mlw
• binary_search_vc_sp
• binary_search_vc_sp.mlw
• binary_sort
• binary_sort.mlw
• binary_sqrt
• binary_sqrt.mlw
• binomial
• binomial.mlw
• binomial_heap
• binomial_heap.mlw
• bitcount
• bitcount.mlw
• bitvector_examples
• bitvector_examples.mlw
• bitvectors
• bitwalker
• bitwalker.mlw
• braun_trees
• braun_trees.mlw
• bresenham
• bresenham.mlw
• bts
• bubble_sort
• bubble_sort.mlw
• c_cursor
• check-builtin
• checking_a_large_routine
• checking_a_large_routine.mlw
• coincidence_count
• coincidence_count.mlw
• coincidence_count_list
• coincidence_count_list.mlw
• coma
• conjugate
• conjugate.mlw
• counting_sort
• counting_sort.mlw
• cubic_root
• cubic_root.mlw
• cursor_examples
• cursor_examples.mlw
• decrease1
• decrease1.mlw
• defunctionalization
• defunctionalization.mlw
• dfa_example
• dfa_example.mlw
• dfs
• dfs.mlw
• dijkstra
• dijkstra.mlw
• disamb
• disamb.mlw
• division
• division.mlw
• doc_examples
• double_wp
• dyck
• dyck.mlw
• edit_distance
• edit_distance.mlw
• equality_up_to_spaces
• equality_up_to_spaces.mlw
• esterel
• esterel.mlw
• euler001
• euler001.mlw
• euler002
• euler002.mlw
• euler011
• euler011.mlw
• euler_sieve
• euler_sieve.mlw
• ewd673
• ewd673.mlw
• f_puzzle
• f_puzzle.mlw
• fact
• fact.mlw
• fact_vc_sp
• fact_vc_sp.mlw
• fenwick
• fenwick.mlw
• fib_memo
• fib_memo.mlw
• fibonacci
• fibonacci.mlw
• fill
• fill.mlw
• find
• find.mlw
• finger_trees
• finger_trees.mlw
• finite_tarski
• finite_tarski.mlw
• flag
• flag.mlw
• flag2
• flag2.mlw
• flexible_arrays
• flexible_arrays.mlw
• foveoos11-cm
• foveoos11_challenge1
• foveoos11_challenge1.mlw
• foveoos11_challenge2
• foveoos11_challenge2.mlw
• foveoos11_challenge3
• foveoos11_challenge3.mlw
• gcd
• gcd.mlw
• gcd_bezout
• gcd_bezout.mlw
• gcd_bezout_vc_sp
• gcd_bezout_vc_sp.mlw
• gcd_vc_sp
• gcd_vc_sp.mlw
• generate_all_trees
• generate_all_trees.mlw
• gnome_sort
• gnome_sort.mlw
• hackers-delight
• hackers-delight.mlw
• hashtbl_impl
• hashtbl_impl.mlw
• hello-world.mlw
• hillel_challenge
• hillel_challenge.mlw
• huffman_with_two_queues
• huffman_with_two_queues.mlw
• i_cant_believe_it_can_sort
• i_cant_believe_it_can_sort.mlw
• incremental.mlw
• induction
• induction.mlw
• infinity_of_primes
• infinity_of_primes.mlw
• insertion_sort
• insertion_sort.mlw
• insertion_sort_list
• insertion_sort_list.mlw
• insertion_sort_naive
• insertion_sort_naive.mlw
• inverse_in_place
• inverse_in_place.mlw
• isqrt
• isqrt.mlw
• isqrt_von_neumann
• isqrt_von_neumann.mlw
• just_join
• just_join.mlw
• kleene_algebra
• kleene_algebra.mlw
• kmp
• kmp.mlw
• knuth_prime_numbers
• knuth_prime_numbers.mlw
• koda_ruskey
• koda_ruskey.mlw
• largest_prime_factor
• largest_prime_factor.mlw
• lcp
• lcp.mlw
• leftist_heap
• leftist_heap.mlw
• linear_probing
• linear_probing.mlw
• linked_list_rev
• linked_list_rev.mlw
• list_removal
• list_removal.mlw
• locate_max
• locate_max.mlw
• logic
• longest_increasing_subsequence
• longest_increasing_subsequence.mlw
• max_matrix
• max_matrix.mlw
• maximum_subarray
• maximum_subarray.mlw
• mccarthy
• mccarthy.mlw
• mccarthy_vc_sp
• mccarthy_vc_sp.mlw
• mergesort_array
• mergesort_array.mlw
• mergesort_list
• mergesort_list.mlw
• mergesort_queue
• mergesort_queue.mlw
• mex
• mex.mlw
• micro-c
• min_max
• min_max.mlw
• mjrty
• mjrty.mlw
• mlcfg
• muller
• muller.mlw
• multiprecision
• mutual_recursion
• mutual_recursion.mlw
• my_cosine
• my_cosine.mlw
• nistonacci
• nistonacci.mlw
• numeric
• optimal_replay
• optimal_replay.mlw
• pairing_heap
• pairing_heap.mlw
• pairing_heap_bin
• pairing_heap_bin.mlw
• pancake_sorting
• pancake_sorting.mlw
• patience
• patience.mlw
• pigeonhole
• pigeonhole.mlw
• power
• power.mlw
• power_vc_sp
• power_vc_sp.mlw
• proper_cuts
• proper_cuts.mlw
• prover
• python
• queens
• queens.mlw
• queens_bv
• queens_bv.mlw
• queue_two_lists
• queue_two_lists.mlw
• quicksort
• quicksort.mlw
• random_access_list
• random_access_list.mlw
• reduced_regtests.list
• register_allocation
• register_allocation.mlw
• regtests.out
• regtests.sh
• relabel
• relabel.mlw
• remove_duplicate
• remove_duplicate.mlw
• remove_duplicate_hash
• remove_duplicate_hash.mlw
• residual
• residual.mlw
• resizable_array
• resizable_array.mlw
• rightmostbittrick
• rightmostbittrick.mlw
• ring_buffer
• ring_buffer.mlw
• ring_decision
• ropes
• ropes.mlw
• same_fringe
• same_fringe.mlw
• schorr_waite
• schorr_waite.mlw
• schorr_waite_via_recursion
• schorr_waite_via_recursion.mlw
• schorr_waite_with_ghost_monitor
• schorr_waite_with_ghost_monitor.mlw
• search
• search.mlw
• selection_sort
• selection_sort.mlw
• sf
• sf.mlw
• sieve
• sieve.mlw
• skew_heaps
• skew_heaps.mlw
• snapshotable_trees
• snapshotable_trees.mlw
• sorted_list
• sorted_list.mlw
• space_saving
• space_saving.mlw
• split_string
• split_string.mlw
• stackify
• stdlib
• string_base64_encoding
• string_base64_encoding.mlw
• string_hex_encoding
• string_hex_encoding.mlw
• string_search
• string_search.mlw
• subsequence
• subsequence.mlw
• sudoku
• sudoku.mlw
• sumrange
• sumrange.mlw
• swap
• swap.mlw
• tests
• tests-provers
• there_and_back_again
• there_and_back_again.mlw
• three_idem_ring
• three_idem_ring.mlw
• topological_sorting
• topological_sorting.mlw
• tortoise_and_hare
• tortoise_and_hare.mlw
• tower_of_hanoi
• tower_of_hanoi.mlw
• toy_compiler
• toy_compiler.mlw
• tree_height
• tree_height.mlw
• tree_of_array
• tree_of_array.mlw
• tree_of_list
• tree_of_list.mlw
• unraveling_a_card_trick
• unraveling_a_card_trick.mlw
• use_api
• vacid_0_binary_heaps
• vacid_0_build_maze
• vacid_0_build_maze.mlw
• vacid_0_red_black_trees
• vacid_0_red_black_trees.mlw
• vacid_0_sparse_array
• vacid_0_sparse_array.mlw
• verifythis_2015_dancing_links
• verifythis_2015_dancing_links.mlw
• verifythis_2015_parallel_gcd
• verifythis_2015_parallel_gcd.mlw
• verifythis_2015_relaxed_prefix
• verifythis_2015_relaxed_prefix.mlw
• verifythis_2016_matrix_multiplication
• verifythis_2016_tree_traversal
• verifythis_2016_tree_traversal.mlw
• verifythis_2017_maximum_sum_submatrix
• verifythis_2017_maximum_sum_submatrix.mlw
• verifythis_2017_odd_even_sort_rearranging
• verifythis_2017_odd_even_sort_rearranging.mlw
• verifythis_2017_odd_even_transposition_sort
• verifythis_2017_odd_even_transposition_sort.mlw
• verifythis_2017_pair_insertion_sort
• verifythis_2017_pair_insertion_sort.mlw
• verifythis_2017_tree_buffer
• verifythis_2017_tree_buffer.mlw
• verifythis_2018_array_based_queuing_lock_1
• verifythis_2018_array_based_queuing_lock_1.mlw
• verifythis_2018_array_based_queuing_lock_2
• verifythis_2018_array_based_queuing_lock_2.mlw
• verifythis_2018_le_rouge_et_le_noir_1
• verifythis_2018_le_rouge_et_le_noir_1.mlw
• verifythis_2018_le_rouge_et_le_noir_2
• verifythis_2018_le_rouge_et_le_noir_2.mlw
• verifythis_2018_mind_the_gap_1
• verifythis_2018_mind_the_gap_1.mlw
• verifythis_2018_mind_the_gap_2
• verifythis_2018_mind_the_gap_2.mlw
• verifythis_2018_register_allocation
• verifythis_2018_register_allocation.mlw
• verifythis_2019_cartesian_trees
• verifythis_2019_cartesian_trees.mlw
• verifythis_2019_ghc_sort
• verifythis_2019_ghc_sort.mlw
• verifythis_2021_dll_to_bst
• verifythis_2021_dll_to_bst.mlw
• verifythis_2021_lexicographic_permutations_1
• verifythis_2021_lexicographic_permutations_1.mlw
• verifythis_2021_lexicographic_permutations_2
• verifythis_2021_lexicographic_permutations_2.mlw
• verifythis_2021_shearsort
• verifythis_2021_shearsort.mlw
• verifythis_2021_shearsort_modified
• verifythis_2021_shearsort_modified.mlw
• verifythis_2024_challenge0
• verifythis_2024_challenge0.mlw
• verifythis_2024_challenge1
• verifythis_2024_challenge1.mlw
• verifythis_PrefixSumRec
• verifythis_PrefixSumRec.mlw
• verifythis_fm2012_LRS
• verifythis_fm2012_LRS.mlw
• verifythis_fm2012_treedel
• verifythis_fm2012_treedel.mlw
• vstte10_aqueue
• vstte10_aqueue.mlw
• vstte10_inverting
• vstte10_inverting.mlw
• vstte10_max_sum
• vstte10_max_sum.mlw
• vstte10_queens
• vstte10_queens.mlw
• vstte10_search_list
• vstte10_search_list.mlw
• vstte12_bfs
• vstte12_bfs.mlw
• vstte12_combinators
• vstte12_combinators.mlw
• vstte12_ring_buffer
• vstte12_ring_buffer.mlw
• vstte12_tree_reconstruction
• vstte12_tree_reconstruction.mlw
• vstte12_two_way_sort
• vstte12_two_way_sort.mlw
• warshall_algorithm
• warshall_algorithm.mlw
• white_and_black_balls
• white_and_black_balls.mlw
• word_common_factor
• word_common_factor.mlw
• wrap_lines
• wrap_lines.mlw
• zeros
• zeros.mlw

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Oct 26 00:32:25 2025