Branches

• CASC_2019

  e25c4454 · Add sensible bounds to the processes · Oct 25, 2019
• cade_27_driver

  bf2eaee8 · Add new SUP experiments · Aug 23, 2019
• andrepd-superposition

  bd6a0db4 · Improvement on last commit: if no subtyping takes place we fall back to... · Aug 12, 2019
• andrepd-superposition-modular_oriented_checks

  db8379d6 · Merge from andrepd-superposition · Jul 29, 2019
• abstr-ref-superposition-2019

  47e55823 · minor changes in options descriptions · Jul 26, 2019
• abstr_ref_2019

  e01de1fe · minor changes in options descriptions · Jul 26, 2019
• andrepd-superposition_KK_restr_sched_2019_07_ad_merge

  3e138d2f · Merge branch 'andrepd-superposition_KK_restr_sched_2019_07_ad_merge' into... · Jul 25, 2019
• andrepd-superposition-noreasons

  d1ac31a9 · Changed side simplification, doesn't seem to improve · Jul 12, 2019
• andrepd-superposition_KK_2019_06

  7b9a7eb6 · Merge branch 'andrepd-superposition' into andrepd-superposition_KK_2019_06 · Jul 01, 2019
• andrepd-superposition_KK_sat_2019_06

  16c6d681 · Merge branch 'andrepd-superposition' into andrepd-superposition_KK_sat_2019_06 · Jun 30, 2019
• andrepd-superposition-orderings-noopt-nocache

  007b3289 · Multiset ordering, without caching · May 30, 2019
• andrepd-superposition-orderings-debug

  09ca59f5 · Both modes, and assert equal · May 30, 2019
• andrepd-superposition-orderings-noopt

  575eeffc · Multiset ordering, with caching · May 30, 2019
• andrepd-superposition-orderings-opt

  4b055da7 · Diagrams · May 30, 2019
• andrepd-superposition_KK_2019_04_29

  154c880c · Merging commit 7fedc3f6 · May 08, 2019
• abstr_ref_2018

  eb5f18aa · Abstr_ref cleaning assumptions · Jan 29, 2019
• abstr_ref_2017

  6b9fb52d · minor · Feb 12, 2018
• iprover-ml

  6b9fb52d · minor · Feb 12, 2018
• abstr_ref_2018_KK

  074cf693 · minor · Jan 28, 2018
• axiom_selection_2017

  01b3c957 · minor · Oct 08, 2017