Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Open
35
Merged
95
Closed
21
All
151
Merge trains
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
Store CEnumerator values as BigInteger instead of long
!151
· created
Aug 01, 2024
by
Thomas Lemberger
Merged
10
updated
Aug 02, 2024
Draft: Create branch add_c_function_atexit
!150
· created
Jul 22, 2024
by
Daniel Baier
Student Task
11
0 of 1 Approvals
updated
Aug 06, 2024
smaller refactoring and code cleanup
!149
· created
Jul 15, 2024
by
Karlheinz Friedberger
component: PredicateCPA
Closed
3
0 of 1 Approvals
updated
Jul 20, 2024
create branch to update JavaSMT to v5.0.0
!148
· created
Jul 15, 2024
by
Karlheinz Friedberger
component: PredicateCPA
14
0 of 1 Approvals
updated
Jul 22, 2024
Switch CPAchecker to "--long-form" command-line arguments
3 of 3 checklist items completed
!147
· created
Jun 26, 2024
by
Philipp Wendler
Release 2.4
component: Scripts
usability
Merged
6
updated
Jun 28, 2024
Draft: Merge modular-partial-order-reduction branch into trunk
!146
· created
Jun 26, 2024
by
Marian Lingsch
10
0 of 1 Approvals
updated
Aug 06, 2024
Create a .deb package for CPAchecker distributed via an APT repository
!145
· created
Jun 26, 2024
by
Philipp Wendler
Release 2.4
OS: Linux
usability
Merged
6
updated
Jun 27, 2024
Make ARG/CFA export in SVG gracefully handle missing awt libraries
!144
· created
Jun 20, 2024
by
Thomas Lemberger
Merged
4
Approved
updated
Jun 21, 2024
Improve names of CPAchecker executable and scripts
!143
· created
Jun 20, 2024
by
Philipp Wendler
Release 2.4
component: Scripts
prio
major
usability
Merged
2
Approved
updated
Jun 26, 2024
Create branch use-utf8-in-docker-images
!142
· created
Jun 17, 2024
by
Thomas Lemberger
Merged
2
Approved
updated
Jun 17, 2024
Modular partial order reduction
!141
· created
Jun 07, 2024
by
Noah König
modular-partial-order-reduction
Closed
0 of 1 Approvals
updated
Jun 07, 2024
Update JavaSMT from 4.0.2 via v4.1.1 to v5.0.0
!140
· created
Jun 01, 2024
by
Karlheinz Friedberger
Closed
8
0 of 1 Approvals
updated
Jul 15, 2024
Track variables which are in scope
!139
· created
May 21, 2024
by
Marian Lingsch
Closed
40
0 of 1 Approvals
updated
May 28, 2024
Draft: Remove static state in JClassType
!138
· created
May 15, 2024
by
Thomas Lemberger
component: Java frontend
java
Merged
14
updated
May 17, 2024
Add basic integration tests for writing outputs in C, LLVM, and Java
!137
· created
May 15, 2024
by
Thomas Lemberger
Merged
5
updated
May 17, 2024
Provide class FloatValue for storing arbitrary-size floating-point values
!136
· created
May 03, 2024
by
Daniel Baier
Student Task
component: util.floatingpoint
float
300
0 of 1 Approvals
updated
Aug 06, 2024
Draft: Introductory Task: Add initial CFA-to-JSON export
!135
· created
Apr 30, 2024
by
Thomas Lemberger
0 of 1 Approvals
updated
Jul 04, 2024
Draft: Branch to improve fault localization
!134
· created
Feb 27, 2024
by
Matthias Kettl
9
0 of 1 Approvals
updated
Jul 09, 2024
Direct Witness Export
!133
· created
Feb 02, 2024
by
Marian Lingsch
component: Witness Export
witness
Merged
268
updated
Jun 05, 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
Prev
1
2
3
4
5
…
8
Next