Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Overview
Active
Stale
All
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
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
Prev
1
2
3
4
Next