• Andrei Paskevich's avatar
    reorganize examples/ · 4b1bc2b0
    Andrei Paskevich authored
    - all programs with sessions are in examples/
    - all programs without sessions are in examples/in_progress/
      (if you have private sessions for those, just move them there)
    - all pure logical problems are in logic/
      (to simplify bench scripts and gallery building; they are few anyway)
    - all OCaml programs are in examples/use_api/
    - all strange stuff is in examples/misc/
      (most of it should probably go)
    - Claude's solutions for Foveoos 2011 are in examples/foveoos11-cm/
      (why do we need two sets of solutions for quite simple problems?)
    - hoare_logic, bitvectors, vacid_0_binary_heaps are in examples/
    
    Bench scripts and documentation are updated.
    Also, bench/bench is simplified a little bit.
    4b1bc2b0
edit_distance_Word_min_dist_diff_1.v 5.63 KB