Branches

• 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
• 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