Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
SoSy-Lab
Test-Comp
Tester Archives 2020
Merge requests
Open
0
Merged
64
Closed
11
All
75
Actions
Subscribe to RSS feed
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
Fix bug in TestCov to correctly report error-covering tests when using full isolation
!75
· created
Dec 15, 2019
by
Thomas Lemberger
Merged
updated
Dec 15, 2019
Update TestCov to 129ec7d
!74
· created
Dec 11, 2019
by
Thomas Lemberger
Merged
updated
Dec 12, 2019
Update TestCov to include lcov in correct directory
!73
· created
Dec 09, 2019
by
Thomas Lemberger
Merged
updated
Dec 09, 2019
TestCov version 'testcomp20' (62c08ee)
!72
· created
Nov 28, 2019
by
Thomas Lemberger
Merged
updated
Nov 28, 2019
Final-final 2020 commit
!71
· created
Nov 28, 2019
by
Martin Nowack
Merged
updated
Nov 28, 2019
Verifuzz update
!70
· created
Nov 28, 2019
by
Raveendra Kumar
Merged
updated
Nov 28, 2019
upload LibKluzzer 0.6 with updated license
!69
· created
Nov 28, 2019
by
Hoang M. Le
Merged
updated
Nov 28, 2019
Version 2.1 of PRTest
!68
· created
Nov 28, 2019
by
Thomas Lemberger
Merged
updated
Nov 28, 2019
Final version for Test-Comp 2020
!67
· created
Nov 28, 2019
by
Martin Nowack
Merged
updated
Nov 28, 2019
Symbiotic v13
!66
· created
Nov 28, 2019
by
Marek Chalupa
Merged
updated
Nov 28, 2019
Legion archive update
!65
· created
Nov 28, 2019
by
Gidon Ernst
Merged
updated
Nov 28, 2019
Symbiotic v12
!64
· created
Nov 28, 2019
by
Marek Chalupa
Closed
updated
Nov 28, 2019
Symbiotic v11
!63
· created
Nov 27, 2019
by
Marek Chalupa
Closed
updated
Nov 28, 2019
Symbiotic v11
!62
· created
Nov 27, 2019
by
Marek Chalupa
Closed
updated
Nov 27, 2019
Updating Tracer-X
!61
· created
Nov 27, 2019
by
Rasool Maghareh
Merged
updated
Nov 28, 2019
updated esbmc with k-step 5
!60
· created
Nov 27, 2019
by
Rafael Menezes
Merged
updated
Nov 28, 2019
update symbiotic
!59
· created
Nov 26, 2019
by
Marek Chalupa
Closed
updated
Nov 28, 2019
Fix to verifuzz script
!58
· created
Nov 26, 2019
by
Raveendra Kumar
Merged
updated
Nov 28, 2019
Update to verifuzz
!57
· created
Nov 26, 2019
by
Raveendra Kumar
Closed
2
updated
Nov 26, 2019
Add check that zip archives are not put in root directory
!56
· created
Nov 26, 2019
by
Thomas Lemberger
Merged
updated
Nov 26, 2019
Prev
1
2
3
4
Next