• 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
Name
Last commit
Last update
bench Loading commit data...
bin Loading commit data...
comparison Loading commit data...
doc Loading commit data...
drivers Loading commit data...
examples Loading commit data...
lib Loading commit data...
misc Loading commit data...
modules Loading commit data...
plugins Loading commit data...
share Loading commit data...
src Loading commit data...
tests Loading commit data...
theories Loading commit data...
.gitignore Loading commit data...
AUTHORS Loading commit data...
CHANGES Loading commit data...
DEVELOPER.readme Loading commit data...
INSTALL Loading commit data...
LICENSE Loading commit data...
Makefile.in Loading commit data...
OCAML-LICENSE Loading commit data...
README Loading commit data...
ROADMAP Loading commit data...
TODO Loading commit data...
Version Loading commit data...
configure.in Loading commit data...