issues
search
mirage
/
mirage-lambda
An eDSL for MirageOS apps
19
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add switch and fix point with LWT
#32
dinosaure
closed
6 years ago
0
Wrap unwrap lwt value [WIP]
#31
dinosaure
closed
6 years ago
2
Exception leaks
#30
dinosaure
closed
6 years ago
2
Block-device IO in recursive functions
#29
aherrmann
closed
6 years ago
3
Sending `return` value to Mirage server causes a type-error
#28
aherrmann
closed
6 years ago
1
Referring to an unknown primitive does not cause an `error` reply
#27
aherrmann
closed
6 years ago
2
Add missing primitives
#26
dinosaure
closed
6 years ago
4
Allow to pass the disk path on the CLI
#25
samoht
closed
6 years ago
0
Revert `L`/`R` in `Prj`
#24
aherrmann
closed
6 years ago
1
Width of `int` type.
#23
aherrmann
opened
6 years ago
3
Required primitives
#22
aherrmann
closed
6 years ago
1
Implement replies
#21
samoht
closed
6 years ago
3
Encode `Bytes` values as protobufs `bytes` instead of `string`.
#20
aherrmann
closed
6 years ago
1
Some tasks
#19
dinosaure
closed
6 years ago
0
Endianness mismatch in header parser
#18
aherrmann
closed
6 years ago
2
`Either` and `Result` missing in protobufs encoding
#17
aherrmann
closed
6 years ago
2
Add more primitives to the demo app
#16
samoht
closed
6 years ago
6
Improve the Mirage app
#15
samoht
closed
6 years ago
0
Add first-class return/bind operators
#14
samoht
closed
6 years ago
5
Add RPC protocol definition and protobufs format
#13
aherrmann
closed
6 years ago
1
Protobuf [WIP]
#12
dinosaure
closed
6 years ago
9
Add a basic README
#11
samoht
closed
6 years ago
0
Fuzzer
#10
dinosaure
closed
6 years ago
3
Add .travis.yml
#9
dinosaure
closed
6 years ago
0
Some fix
#8
dinosaure
closed
6 years ago
5
Add ppx to derive dump and equal functions
#7
samoht
closed
6 years ago
1
implement Typedtree.Expr.untype
#6
samoht
closed
6 years ago
0
Fixed typo
#5
dinosaure
closed
6 years ago
0
Bugs
#4
dinosaure
closed
6 years ago
1
Add documentations
#3
dinosaure
closed
6 years ago
0
Use Higher instead of vendoring a buggy version of it
#2
samoht
closed
6 years ago
1
Add mirage skeleton application
#1
samoht
closed
6 years ago
0