Branches

• andrepd/smt-interface-noeqpred-2021-02-12-KK

  52605c59 · instantiation_loop:consistent_with_solver added consist_with_assumptions · Feb 12, 2021
• andrepd/smt-interface-noeqpred-2021-01-01-sup-deepening

  e105e5d7 · statstics.ml: fix name · Jan 10, 2021
• andrepd/smt-interface-noeqpred-2020-12-20-new-comb

  b3af3e48 · proof_search_loop: ps_loop_main: iter over all max deficit comps · Jan 01, 2021
• andrepd/smt-interface-noeqpred-2020-11-03-subs

  351f8089 · merge: master · Dec 17, 2020
• andrepd/smt-interface-perfect-discrimination-trees

  41c4b0d8 · Fix bug in encompassment order check for demodulation. · Aug 18, 2020
• andrepd/smt-interface_2020_05_29_sched_files

  62ed0cda · Merge branch 'andrepd/smt-interface-perfect-discrimination-trees' into... · Jul 08, 2020
• 2020_06_merge_global

  0d7e35a3 · dbg:off · Jun 30, 2020
• abstr_ref_qf_200627

  dfbbabc8 · Avoid abstraction of special symbols (equality, disequality, ...) in ar_abstract_signature.ml · Jun 27, 2020
• andrepd/smt-interface

  fa6fb678 · Add unflattening simplification rule as default in superposition preprocessing. · Jun 25, 2020
• andrepd/smt-interface-performance_fixes

  b3ec380e · Fix typo · Jun 12, 2020
• abstr_ref_202006

  cd9b0767 · Completing documentation; fixing under-approx options · Jun 11, 2020
• abstr_ref_2020

  1a2e9f12 · Removing old abstr_ref files; fixing files headers · Jun 02, 2020
• andrepd/smt-interface_2020_05_23_fun_slit_smt_dummy

  a61acbb8 · Fixed issue in AC detection and in ordering of functional splitting symbols · May 26, 2020
• andrepd/smt-interface-monomorphic-comparison

  da96c7c6 · Removed all declarations of operators (==) and (!=), since it's very error... · May 20, 2020
• andrepd/smt-interface_2020_05_02_fun_split

  f4a698eb · merge · May 13, 2020
• andrepd/smt-interface_2020_04_08_kk_dbg

  93105c33 · comments · Apr 26, 2020
• isa_2020_heuristic_scheduler

  a827982a · Set run script to execution phase · Mar 09, 2020
• andrepd/master

  18857742 · Fix on demodulation completeness check · Feb 04, 2020
• andrepd/smt-interface-fast1

  7478319d · Fast check method1 · Dec 02, 2019
• andrepd/smt-interface-kk-merge

  b46d7d78 · merge · Nov 20, 2019