Skip to content
GitLab
Explore
Sign in
Ludovic Le Frioux
painless
Repository
Branches
Overview
Active
Stale
All
stage
16cec330
·
Merging with master from stage
·
Oct 25, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
community
a939fe09
·
Merge branch 'master' into community
·
Nov 13, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/improved_reset
982a9d84
·
Save information (activity,polarity) before reset Periplo solver :
·
Aug 16, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/no_reset
28baf92e
·
Stable version, still with reset periplo + periplo is in debug mode :
·
Aug 20, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/osx
cb801077
·
fix remaining MacOs / Debian compilation problems
·
Oct 20, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
aker/reset
4dc98a31
·
TOFIX periplo : working on the reset
·
Nov 20, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/desat_integration
e5b9aa76
·
ignore some desat files
·
Dec 02, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/bmctool
abddeaad
·
Disable decision for new fresh variable when importing clauses :
·
Dec 11, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/minisat_lbd
45431d25
·
Start integrate LBD to Desat Minisat
·
Apr 09, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/logDeSAT
131cf490
·
ADD PIN Thread
·
Apr 25, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/pins
f558a01e
·
options: add -pins option
·
May 06, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/master
63ad0840
·
Remove repetitive instruction in SHarer (option set shr-simp)
·
May 08, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
aker/threshold
958bf5bc
·
FIX RECURRENCE filter
·
May 24, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/BMCHeuristics
02e7c526
·
fix memory limit option
·
May 27, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/cp21-exp
02e7c526
·
fix memory limit option
·
May 27, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/Decomp
769bb36b
·
New decomposition strategy
·
Oct 05, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/BMCMaple
5a138316
·
Update Pareto strategy configuration
·
Oct 07, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/BisBMCMaple
6ed983bb
·
Fix configuration V7 for Safety
·
Oct 14, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/tacas22
6ed983bb
·
Fix configuration V7 for Safety
·
Oct 14, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/cp21-log
0ad7bbff
·
Remove unused parameters
·
Oct 18, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
Next