Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / alexf91/lean4-ctypes issues and pull requests
#13 - Detect sizes of type aliases
Issue -
State: open - Opened by alexf91 about 1 year ago
#12 - Assigning arguments to a reference produces segfault
Issue -
State: closed - Opened by alexf91 about 1 year ago
- 2 comments
#11 - Thread safety
Issue -
State: open - Opened by alexf91 about 1 year ago
#10 - Calling convention of variadic functions
Issue -
State: open - Opened by alexf91 about 1 year ago
#9 - Valgrind reports errors
Issue -
State: closed - Opened by alexf91 over 1 year ago
- 1 comment
#8 - Possible bug in garbage collection with `dlclose()`
Issue -
State: closed - Opened by alexf91 over 1 year ago
- 1 comment
#7 - Add support for callback functions
Issue -
State: closed - Opened by alexf91 over 1 year ago
#6 - Add utility functions
Issue -
State: open - Opened by alexf91 over 1 year ago
#5 - Improve build system
Issue -
State: open - Opened by alexf91 over 1 year ago
- 1 comment
Labels: important
#4 - Unify `Symbol` and `Pointer`
Issue -
State: closed - Opened by alexf91 over 1 year ago
#3 - Avoid constant unboxing of `CType` values
Issue -
State: closed - Opened by alexf91 over 1 year ago
#2 - Add support for unions
Issue -
State: closed - Opened by alexf91 over 1 year ago
- 1 comment
#1 - Support variadic functions
Issue -
State: closed - Opened by alexf91 over 1 year ago
- 1 comment