Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
painless
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Deploy
Releases
Container Registry
Model registry
Monitor
Incidents
Service Desk
Analyze
Value stream analytics
Contributor analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
Ludovic Le Frioux
painless
Branches
Overview
Active
Stale
All
Oldest updated
Name
Oldest updated
Updated date
stage
16cec330
·
Merging with master from stage
·
7 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
community
a939fe09
·
Merge branch 'master' into community
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ak/improved_reset
982a9d84
·
Save information (activity,polarity) before reset Periplo solver :
·
4 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ak/no_reset
28baf92e
·
Stable version, still with reset periplo + periplo is in debug mode :
·
4 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
er/osx
cb801077
·
fix remaining MacOs / Debian compilation problems
·
4 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
aker/reset
4dc98a31
·
TOFIX periplo : working on the reset
·
4 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ak/desat_integration
e5b9aa76
·
ignore some desat files
·
4 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ak/bmctool
abddeaad
·
Disable decision for new fresh variable when importing clauses :
·
4 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ak/minisat_lbd
45431d25
·
Start integrate LBD to Desat Minisat
·
4 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ak/logDeSAT
131cf490
·
ADD PIN Thread
·
3 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
er/pins
f558a01e
·
options: add -pins option
·
3 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ak/master
63ad0840
·
Remove repetitive instruction in SHarer (option set shr-simp)
·
3 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
aker/threshold
958bf5bc
·
FIX RECURRENCE filter
·
3 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ak/BMCHeuristics
02e7c526
·
fix memory limit option
·
3 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ak/cp21-exp
02e7c526
·
fix memory limit option
·
3 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ak/Decomp
769bb36b
·
New decomposition strategy
·
3 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ak/BMCMaple
5a138316
·
Update Pareto strategy configuration
·
3 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ak/BisBMCMaple
6ed983bb
·
Fix configuration V7 for Safety
·
3 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ak/tacas22
6ed983bb
·
Fix configuration V7 for Safety
·
3 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ak/cp21-log
0ad7bbff
·
Remove unused parameters
·
3 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
Prev
1
2
3
Next