• Andrei Paskevich's avatar
    change default polymorphism encoding methods · 036c6ce5
    Andrei Paskevich authored
    in a series of tests on available examples, lightweight polymorphism
    encoding techniques combined with a more agressive generation of
    monomorphic instances (via Discriminate) show better results than
    our earlier defaults.
    
    In the same commit:
    - remove Encoding_explicit (unsound), Encoding_decoexp (too naive),
      and Encoding_instantiate (subsumed by Discriminate)
    - rename Encoding_decorate to Encoding_tags_full and Encoding_guard
      to Encoding_guards_full
    - move Encoding_guards_full specific functions from Libencoding to
      Encoding_guards_full
    - do not apply type protection in "encoding_tptp" and remove
      Protect_finite which is not needed anymore.
    036c6ce5
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...
check.sh Loading commit data...
configure.in Loading commit data...