Branches

• master default protected

  6207f033 · Makefile: minor · Jan 12, 2022
  korovin/iprover!1
• andrepd/ac-norm-demod

  789b74cc · In demod index, in equations l=r where r=l is the same after var normalisation... · Dec 22, 2021
• add_fof_to_iprover

  8ba42e1c · Add fof grammar to parser · Dec 09, 2021
• master-tmp1

  9274fe85 · help update · Dec 03, 2021
• andrepd/smt-interface-noeqpred-2021-06-18-kk-smt

  40c7dcff · iproveropt-tptp-multi-core.sh: help fix · Jul 17, 2021
• andrepd/ac-norm-demod-kk-2021-06-10-smt-z3

  c4bbc251 · rm warnings unsupported symbols · Jun 16, 2021
• andrepd/ac-norm-demod-kk-2021-05-29-smt

  267f98d4 · symbol.ml:sproperty added: Num_real| Num_int| Num_rat · Jun 06, 2021
• andrepd/ac-norm-demod-kk-2020-04-28-opts

  0615f5f5 · merge · May 23, 2021
• master-tomerge

  be868efd · Sync branches wrt. minor formatting and other stuff · Apr 11, 2021
• andrepd/smt-interface-noeqpred

  3a1b5426 · Merge remote-tracking branch 'origin/master' into andrepd/smt-interface-noeqpred · Apr 11, 2021
• andrepd/smt-interface-noeqpred-2021-01-11-shared-cl

  6d9501fd · Merge branch 'andrepd/smt-interface-noeqpred' into... · Feb 14, 2021
• 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