Skip to content
GitLab
Explore
Sign in
Tiger
ovm
Merge requests
Open
1
Merged
33
Closed
0
All
34
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
Resolve "Fix nix flake description"
!34
· created
Dec 19, 2024
by
Aurélien Delval-Carbonne
Merged
Approved
0
updated
Dec 19, 2024
Resolve "Basic versioning"
!33
· created
Dec 19, 2024
by
Aurélien Delval-Carbonne
TC 2027
Merged
Approved
0
updated
Dec 19, 2024
Draft: Resolve "CI to build & check"
!32
· created
Dec 18, 2024
by
Aurélien Delval-Carbonne
TC 2027
0
updated
Dec 19, 2024
Resolve "Linearization does not apply to chained LIR evaluation"
!31
· created
Dec 17, 2024
by
Aurélien Delval-Carbonne
TC 2027
Merged
Approved
0
updated
Dec 18, 2024
Resolve "Check ssa program validity"
!30
· created
Dec 05, 2024
by
Julie Fiadino
Merged
Approved
10
updated
Dec 06, 2024
Resolve "OVM errors not printed on stderr"
!29
· created
Nov 24, 2024
by
gziat
Merged
Approved
4
updated
Nov 29, 2024
Resolve "Incomplete dune-project and opam files"
!28
· created
Nov 23, 2024
by
gziat
Merged
0
updated
Nov 23, 2024
Resolve "Add a flake for ovm"
!27
· created
Nov 22, 2024
by
Clément Fabien
Merged
Approved
0
updated
Nov 23, 2024
Resolve "Make explicit dependencies"
!26
· created
Nov 21, 2024
by
gziat
Merged
0
updated
Nov 21, 2024
fix exit code and add example to illustrate
!25
· created
Nov 21, 2024
by
gziat
Merged
Approved
2
updated
Nov 22, 2024
fix print_err bug, add 28.hir to illustrate the behaviour
!24
· created
Nov 19, 2024
by
gziat
Merged
Approved
2
updated
Nov 20, 2024
uniformisation of tests and error messages
!23
· created
Sep 20, 2024
by
gziat
Merged
0
updated
Sep 20, 2024
Rte locations
!22
· created
Sep 06, 2024
by
gziat
Merged
0
updated
Sep 06, 2024
Update main
!21
· created
Sep 03, 2024
by
Dassire
Merged
0
updated
Sep 03, 2024
add locations to parser + ast
!20
· created
Sep 01, 2024
by
gziat
Merged
0
updated
Sep 01, 2024
Dev static checks 2
!19
· created
Aug 29, 2024
by
Dassire
Merged
Approved
0
updated
Sep 01, 2024
Dev call
!18
· created
Aug 29, 2024
by
Dassire
Merged
Approved
0
updated
Aug 29, 2024
Dev stdlib2
!17
· created
Aug 28, 2024
by
Dassire
Merged
1
updated
Aug 28, 2024
Cleanup
!16
· created
Aug 26, 2024
by
Dassire
Merged
0
updated
Aug 26, 2024
Dev preload
!15
· created
Aug 14, 2024
by
Dassire
Merged
4
updated
Aug 22, 2024
Prev
1
2
Next
