Skip to content
GitLab
Explore
Sign in
Open
0
Merged
236
Closed
22
All
258
Merge trains
Recent searches
Loading
{{ 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
Merge jt
!138
· created
Apr 20, 2020
by
Jan Trávníček
Merged
updated
Apr 27, 2020
do not copy the variant in its visitor
!137
· created
Apr 10, 2020
by
Jan Trávníček
Merged
updated
Apr 10, 2020
fix variant comparison
!136
· created
Apr 09, 2020
by
Jan Trávníček
Merged
updated
Apr 09, 2020
Merge tp
!135
· created
Apr 06, 2020
by
Tomáš Pecka
Merged
updated
Apr 06, 2020
Merge jt
!134
· created
Apr 04, 2020
by
Jan Trávníček
Merged
updated
Apr 04, 2020
Merge unordered automata and fixes
!133
· created
Apr 02, 2020
by
Jan Trávníček
Merged
updated
Apr 02, 2020
cmake: allow specifying library directory name (closes #187)
!132
· created
Apr 01, 2020
by
Tomáš Pecka
Merged
updated
Apr 01, 2020
Backlog changes
!131
· created
Mar 18, 2020
by
Jan Trávníček
Closed
6
updated
Apr 02, 2020
alib2str: Add MISENFA parser and composer
!130
· created
Mar 17, 2020
by
Tomáš Pecka
Merged
1
updated
Mar 17, 2020
Merge jt
!129
· created
Mar 11, 2020
by
Jan Trávníček
Merged
11
updated
Mar 11, 2020
Merge tp
!128
· created
Mar 08, 2020
by
Tomáš Pecka
Merged
updated
Mar 08, 2020
Merge jt
!127
· created
Feb 06, 2020
by
Jan Trávníček
Merged
updated
Feb 06, 2020
Merge jt
!126
· created
Jan 03, 2020
by
Jan Trávníček
Merged
updated
Jan 03, 2020
procedural aql
!125
· created
Dec 28, 2019
by
Jan Trávníček
Merged
2
updated
Dec 28, 2019
podpora jsoncpp verze 1.9.2-r2 Gentoo
!124
· created
Dec 28, 2019
by
Ondřej Guth
Closed
6
updated
Dec 28, 2019
Merge jt
!123
· created
Dec 18, 2019
by
Jan Trávníček
Merged
1
updated
Dec 18, 2019
implicit move construction of values in abstraction::Value
!122
· created
Dec 12, 2019
by
Jan Trávníček
Merged
updated
Dec 13, 2019
Merge jt
!121
· created
Dec 11, 2019
by
Jan Trávníček
Merged
updated
Dec 11, 2019
Merge jt
!120
· created
Dec 10, 2019
by
Jan Trávníček
Merged
updated
Dec 10, 2019
Merge jt
!119
· created
Dec 04, 2019
by
Jan Trávníček
Merged
updated
Dec 04, 2019
Prev
1
…
3
4
5
6
7
8
9
10
11
…
13
Next