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}}
Created date
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
Remove commented tasks completely
!44
· created
Nov 08, 2019
by
Thomas Lemberger
master
Merged
updated
Nov 09, 2019
Use test-suite coverage continuously reported by TestCov
!43
· 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
Tell testcov to write test suite to directory instead of zip
!38
· created
Nov 01, 2019
by
Thomas Lemberger
master
Merged
updated
Nov 01, 2019
Make testcov benchmarks record total number of branches, as well
!37
· created
Oct 31, 2019
by
Thomas Lemberger
master
Merged
updated
Oct 31, 2019
Don't isolate test executions of TestCov with runexec
!36
· created
Oct 30, 2019
by
Thomas Lemberger
master
Merged
updated
Oct 30, 2019
Use new coverage tasks
!35
· created
Oct 30, 2019
by
Thomas Lemberger
master
Merged
6
updated
Nov 01, 2019
Speed up test/check.py for more pleasant local use
!34
· created
Oct 30, 2019
by
Thomas Lemberger
master
Merged
updated
Oct 30, 2019
Correct benchmark dtd
!33
· created
Oct 23, 2019
by
Thomas Lemberger
master
Merged
updated
Oct 23, 2019
Add CI to check XML validity
!32
· created
Oct 23, 2019
by
Thomas Lemberger
master
Merged
1
updated
Oct 23, 2019
Benchmark definitions for Legion
!31
· created
Oct 21, 2019
by
Gidon Ernst
master
Merged
updated
Oct 21, 2019
Prev
1
2
3
4
5
6
7
Next