Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Open
1
Merged
114
Closed
15
All
130
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
CoVeriTest 2021
!56
· created
Oct 15, 2020
by
Cedric Richter
master
Merged
1
updated
Oct 19, 2020
Update esbmc-falsi.xml
!54
· created
Oct 14, 2020
by
kaled Alshmrany
master
Merged
1
Approved
updated
Oct 19, 2020
New options of Legion
!57
· created
Oct 15, 2020
by
Dongge
master
Merged
2
updated
Oct 19, 2020
Add benchmark definitions for CMA-ES Fuzz
!59
· created
Oct 16, 2020
by
Gidon Ernst
master
Merged
6
updated
Oct 19, 2020
Revert "Merge branch 'cmaesfuzz' into 'master'"
!60
· created
Oct 19, 2020
by
Dirk Beyer
master
Merged
updated
Oct 19, 2020
Exclude all but one label for each ECA Problem to avoid redundant tasks
!58
· created
Oct 16, 2020
by
Thomas Lemberger
master
Merged
updated
Oct 19, 2020
Let TestCov use individual isolation of test executions
!52
· created
Dec 11, 2019
by
Thomas Lemberger
master
Merged
updated
Dec 12, 2019
New options
!51
· created
Nov 28, 2019
by
Gidon Ernst
master
Merged
updated
Nov 28, 2019
Update Legion command-line flags
!50
· created
Nov 25, 2019
by
Gidon Ernst
master
Merged
updated
Nov 25, 2019
removed esbmc from coverage-branches
!49
· created
Nov 18, 2019
by
Rafael Menezes
master
Merged
6
updated
Nov 18, 2019
symbiotic.xml: remove --64 option
!48
· created
Nov 15, 2019
by
Marek Chalupa
master
Merged
updated
Nov 15, 2019
Update symbiotic.xml
!47
· created
Nov 15, 2019
by
Marek Chalupa
master
Merged
updated
Nov 15, 2019
Update CoVeriTest configuration
!46
· created
Nov 13, 2019
by
Marie-Christine Jakobs
master
Merged
updated
Nov 13, 2019
Change to Test-Comp 2020 configuration for CoVeriTest
!45
· created
Nov 11, 2019
by
Marie-Christine Jakobs
master
Merged
updated
Nov 11, 2019
Use test-suite coverage continuously reported by TestCov
!43
· created
Nov 08, 2019
by
Thomas Lemberger
master
Merged
updated
Nov 09, 2019
Remove commented tasks completely
!44
· created
Nov 08, 2019
by
Thomas Lemberger
master
Merged
updated
Nov 09, 2019
Remove category sets that introduce duplicates
!42
· created
Nov 07, 2019
by
Thomas Lemberger
master
Merged
updated
Nov 07, 2019
Include correct task set for SQLite and add test to check task set consistency
!41
· created
Nov 06, 2019
by
Thomas Lemberger
master
Merged
updated
Nov 06, 2019
Correct parameters for PRTest with 32bit and 64bit architecture
!40
· created
Nov 05, 2019
by
Thomas Lemberger
master
Merged
updated
Nov 06, 2019
Use double wildcard for resultfiles of TestCov to get all sub-directories of output folder
!39
· created
Nov 05, 2019
by
Thomas Lemberger
master
Merged
updated
Nov 05, 2019
Prev
1
2
3
4
5
6
Next