Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Open
34
Merged
89
Closed
18
All
141
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 JavaSMT to v4.1.1
!140
· created
Jun 01, 2024
by
Karlheinz Friedberger
2
0 of 1 Approvals
updated
Jun 03, 2024
FloatingPoint: Refactored MyFloat to handle all rounding in applyRounding.
!136
· created
May 03, 2024
by
Daniel Baier
Student Task
119
0 of 1 Approvals
updated
Jun 12, 2024
Draft: Introductory Task: Add initial CFA-to-JSON export
!135
· created
Apr 30, 2024
by
Thomas Lemberger
0 of 1 Approvals
updated
Jun 04, 2024
Draft: Branch to improve fault localization
!134
· created
Feb 27, 2024
by
Matthias Kettl
9
0 of 1 Approvals
updated
Mar 11, 2024
Draft: Merge export btor2c invariants into trunk
!132
· created
Jan 25, 2024
by
Marian Lingsch
7
0 of 1 Approvals
updated
Jan 25, 2024
Add aggressive caching in graphml witness export
!130
· created
Nov 23, 2023
by
Thomas Lemberger
Release 2.4
component: Witness Export
performance
witness
6
0 of 1 Approvals
updated
Jan 16, 2024
Enable memset handling and byte-level heap in predicate analysis
!129
· created
Nov 20, 2023
by
Philipp Wendler
Release 2.4
SV-COMP
aliasing
component: PredicateCPA
pointer
unsound
1
0 of 1 Approvals
updated
Nov 23, 2023
Draft: Simplify strategy selection in SV-COMP24 config
!127
· created
Nov 17, 2023
by
Thomas Lemberger
Release 2.4
SV-COMP
component: Configurations
6
0 of 1 Approvals
updated
Dec 15, 2023
Draft: Support for exceptions in Java programs
!124
· created
Nov 06, 2023
by
Philipp Wendler
component: Java frontend
java
52
0 of 1 Approvals
updated
Feb 23, 2024
Draft: Review of branch statistics-refactor
!122
· created
Oct 25, 2023
by
Martin Spiessl
0 of 1 Approvals
updated
Oct 25, 2023
Draft: Review of Branch micro-benchmarking
!121
· created
Oct 25, 2023
by
Martin Spiessl
0 of 1 Approvals
updated
Nov 08, 2023
Add feature: cancel complete runcollection
!120
· created
Oct 02, 2023
by
Martin Spiessl
0 of 1 Approvals
updated
Dec 07, 2023
Draft: Incremental Function Analysis
!119
· created
Sep 10, 2023
by
Matthias Kettl
0 of 1 Approvals
updated
Sep 10, 2023
Draft: Pointer aliasing for backward analysis (work in progess)
!117
· created
Aug 23, 2023
by
Nian-Ze Lee
aliasing
backwards
component: BMC & Induction
enhancement
pointer
18
0 of 1 Approvals
updated
Aug 26, 2023
Draft: Implementation of backward BMC algorithm
!116
· created
Aug 15, 2023
by
Nian-Ze Lee
backwards
component: BMC & Induction
31
1
0 of 1 Approvals
updated
Aug 26, 2023
Draft: Supporting witness export for backward analysis
!115
· created
Aug 14, 2023
by
Nian-Ze Lee
backwards
component: Witness Export
witness
18
0 of 1 Approvals
updated
Aug 23, 2023
Draft: Code review for CFA reverser
!113
· created
Jun 16, 2023
by
Po-Chun Chien
8
1
0 of 1 Approvals
updated
Oct 09, 2023
MR for code review of branch invgen-through-sampling
!111
· created
May 17, 2023
by
Martin Spiessl
0 of 1 Approvals
updated
Jan 12, 2024
Simplify CFA by using return statements only for return with values
!109
· created
Mar 13, 2023
by
Philipp Wendler
component: CFA & AST
task
69
0 of 1 Approvals
updated
May 22, 2023
Review branch threading-extensions
!99
· created
Dec 14, 2022
by
Martin Spiessl
1
0 of 1 Approvals
updated
Dec 30, 2022
Prev
1
2
Next