Skip to content
GitLab
Explore
Sign in
SAT4J
sat4j
Repository
Branches
Overview
Active
Stale
All
irrelevant-experimental
f4f0ab96
·
Some changes to take both removal and weakening into account.
·
Jan 29, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
irrelevant-rs
6bac6d28
·
Fixes the lost conflict due to irrelevant literal removal.
·
Aug 22, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
bad43538
·
Fixes compilation problem (methods missed from refactoring)
·
Apr 29, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
sat19
b695c886
·
A first attempt to measure time needed to detect irrelevant literals
·
Mar 21, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
set-sast-config-1
062e6da9
·
Adding build stage
·
May 22, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
set-sast-config-2
3182a9e2
·
Configure SAST in `.gitlab-ci.yml`, creating this file if it does not already exist
·
Sep 21, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
set-secret-detection-config-1
17413c22
·
Configure Secret Detection in `.gitlab-ci.yml`, creating this file if it does not already exist
·
Sep 25, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
weakening-investigations
0f34a5c0
·
Another fix for Java 8
·
Jul 02, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
Next