alexf91 lean4-ctypes issues - Githubissues

alexf91 / lean4-ctypes

FFI for Lean 4

Apache License 2.0

3 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Detect sizes of type aliases

#13 alexf91 opened 7 months ago
0
Assigning arguments to a reference produces segfault

#12 alexf91 closed 7 months ago
2
Thread safety

#11 alexf91 opened 7 months ago
0
Calling convention of variadic functions

#10 alexf91 opened 7 months ago
0
Valgrind reports errors

#9 alexf91 closed 7 months ago
1
Possible bug in garbage collection with `dlclose()`

#8 alexf91 closed 7 months ago
1
Add support for callback functions

#7 alexf91 closed 7 months ago
0
Add utility functions

#6 alexf91 opened 8 months ago
0
Improve build system

#5 alexf91 opened 8 months ago
1
Avoid constant unboxing of `CType` values

#3 alexf91 closed 7 months ago
0
Unify `Symbol` and `Pointer`

#4 alexf91 closed 8 months ago
0
Add support for unions

#2 alexf91 closed 7 months ago
1
Support variadic functions

#1 alexf91 closed 7 months ago
1