Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Open
0
Merged
15
Closed
0
All
15
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
core: Clean DictionaryIdentifier
!36
· created
May 10, 2023
by
Antoine Belvire
0.3 – Dictionary Improvements
Merged
Approved
updated
May 10, 2023
doc, tools: Start exploration of dictionaries
!35
· created
May 10, 2023
by
Antoine Belvire
0.3 – Dictionary Improvements
Merged
Approved
updated
May 11, 2023
core: Allow dictionaries shuffle before solving
!34
· created
May 08, 2023
by
Antoine Belvire
0.3 – Dictionary Improvements
Merged
12
Approved
updated
May 10, 2023
Update dependencies
!33
· created
May 01, 2023
by
Antoine Belvire
0.3 – Dictionary Improvements
Merged
updated
May 10, 2023
gui: Advertise some useful JavaFx debug options
!32
· created
Apr 29, 2023
by
Antoine Belvire
0.3 – Dictionary Improvements
Merged
updated
May 10, 2023
Add Build on Windows job to pipeline
!31
· created
Apr 21, 2023
by
Antoine Belvire
0.3 – Dictionary Improvements
Merged
1
Approved
updated
May 10, 2023
build: Migrate to Gradle Kotlin DSL
!30
· created
Apr 20, 2023
by
Antoine Belvire
0.3 – Dictionary Improvements
Merged
9
updated
May 10, 2023
doc: Expand solver explanations
!29
· created
Apr 10, 2023
by
Antoine Belvire
0.3 – Dictionary Improvements
Merged
Approved
updated
May 10, 2023
dictionary: Add dictionary descriptions for Peter Broda's and others
!28
· created
Apr 09, 2023
by
Antoine Belvire
0.3 – Dictionary Improvements
Merged
5
Approved
updated
Apr 09, 2023
ci: Publish Junit reports as artefacts
!27
· created
Apr 05, 2023
by
Antoine Belvire
0.3 – Dictionary Improvements
Merged
Approved
updated
Apr 06, 2023
core: Add a dictionary search function
!26
· created
Apr 05, 2023
by
Antoine Belvire
0.3 – Dictionary Improvements
Merged
9
Approved
updated
May 07, 2023
dictionary-xml-codec: Improve documentation, clear TODOs
!25
· created
Apr 04, 2023
by
Antoine Belvire
0.3 – Dictionary Improvements
Merged
2
Approved
updated
Apr 05, 2023
dictionary: Rework Dictionary SPI
!24
· created
Apr 03, 2023
by
Antoine Belvire
0.3 – Dictionary Improvements
Merged
7
Approved
updated
Apr 04, 2023
Doc/how to plug a dictionary provider
!23
· created
Apr 02, 2023
by
Antoine Belvire
0.3 – Dictionary Improvements
Merged
Approved
updated
Apr 04, 2023
solver-ginsberg: Avoid useless copies of slot connections
!22
· created
Apr 02, 2023
by
Antoine Belvire
0.3 – Dictionary Improvements
Merged
Approved
updated
Apr 04, 2023