Skip to content
GitLab
Explore
Sign in
Lennard Gäher
Refinedrust Dev
Merge requests
Open
1
Merged
50
Closed
1
All
52
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
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Various frontend features
!32
· created
Apr 12, 2024
by
Lennard Gäher
Merged
0
updated
Apr 12, 2024
Resolve "Clippy fails on master"
!31
· created
Apr 11, 2024
by
Vincent Lafeychine
Merged
1
updated
Apr 11, 2024
fix handling of context items; work on stdlib
!30
· created
Apr 05, 2024
by
Lennard Gäher
Merged
0
updated
Apr 05, 2024
Add clippy analysis
!29
· created
Apr 01, 2024
by
Vincent Lafeychine
Merged
Approved
2
updated
Apr 11, 2024
Build system tweaks + repo cleanup
!28
· created
Mar 23, 2024
by
Lennard Gäher
Merged
0
updated
Mar 23, 2024
Add opam package for stdlib + various fixes
!27
· created
Mar 21, 2024
by
Lennard Gäher
Merged
2
updated
Mar 22, 2024
Initial support for closure codegen
!26
· created
Mar 19, 2024
by
Lennard Gäher
Merged
0
updated
Mar 19, 2024
Support for statics
!25
· created
Mar 18, 2024
by
Lennard Gäher
Merged
0
updated
Mar 18, 2024
Documentation improvements and cleanup
!24
· created
Mar 14, 2024
by
Lennard Gäher
Merged
0
updated
Mar 14, 2024
Add more stdlib libs and spec
!23
· created
Mar 11, 2024
by
Lennard Gäher
Merged
0
updated
Mar 11, 2024
Fix formatting on main
!22
· created
Mar 05, 2024
by
Lennard Gäher
Merged
0
updated
Mar 05, 2024
Fix buildscripts
!21
· created
Feb 18, 2024
by
Lennard Gäher
Merged
0
updated
Feb 19, 2024
add support for rr::context assertions
!20
· created
Feb 18, 2024
by
Lennard Gäher
frontend
Merged
0
updated
Feb 19, 2024
Use Nix for GitLab pipelines
!19
· created
Feb 16, 2024
by
Vincent Lafeychine
Merged
6
updated
Mar 05, 2024
Add rustfmt config and format frontend code
!18
· created
Feb 14, 2024
by
Lennard Gäher
frontend
Merged
0
updated
Feb 15, 2024
Generate crate interfaces and enable to import them
!17
· created
Feb 14, 2024
by
Lennard Gäher
Merged
0
updated
Feb 14, 2024
Resolve duplicate dependencies
!16
· created
Feb 11, 2024
by
Vincent Lafeychine
Merged
1
updated
Feb 14, 2024
Ci/lafeychine/nix
!15
· created
Feb 09, 2024
by
Vincent Lafeychine
Merged
13
updated
Feb 16, 2024
Draft: Ci/lafeychine/inline fptr
!14
· created
Feb 09, 2024
by
Vincent Lafeychine
0
updated
Apr 04, 2024
Add missing rules for nested shared references
!13
· created
Jan 29, 2024
by
Lennard Gäher
bug
Merged
0
updated
Jan 30, 2024
Prev
1
2
3
Next