Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / mirage/ocaml-solo5 issues and pull requests
#49 - use solo5_abort in abort
Pull Request -
State: closed - Opened by hannesm almost 6 years ago
- 1 comment
#49 - use solo5_abort in abort
Pull Request -
State: closed - Opened by hannesm almost 6 years ago
- 1 comment
#48 - dlmalloc: Enable heap canaries
Issue -
State: closed - Opened by mato almost 6 years ago
#48 - dlmalloc: Enable heap canaries
Issue -
State: closed - Opened by mato almost 6 years ago
#47 - gmp-freestanding, zarith-freestanding: Update to build with SSP, disable any use of -fPIC
Issue -
State: closed - Opened by mato almost 6 years ago
- 7 comments
#47 - gmp-freestanding, zarith-freestanding: Update to build with SSP, disable any use of -fPIC
Issue -
State: closed - Opened by mato almost 6 years ago
- 7 comments
#46 - Solo5 bindings for Genode
Pull Request -
State: closed - Opened by ehmry about 6 years ago
#46 - Solo5 bindings for Genode
Pull Request -
State: closed - Opened by ehmry about 6 years ago
#45 - install an empty META file
Pull Request -
State: closed - Opened by hannesm about 6 years ago
- 3 comments
#45 - install an empty META file
Pull Request -
State: closed - Opened by hannesm about 6 years ago
- 3 comments
#44 - Migrate to OPAM 2
Pull Request -
State: closed - Opened by hannesm about 6 years ago
- 1 comment
#44 - Migrate to OPAM 2
Pull Request -
State: closed - Opened by hannesm about 6 years ago
- 1 comment
#43 - Heap bounds check for non-contiguous memory
Pull Request -
State: closed - Opened by ehmry about 6 years ago
- 1 comment
#43 - Heap bounds check for non-contiguous memory
Pull Request -
State: closed - Opened by ehmry about 6 years ago
- 1 comment
#42 - Provide for OCaml 4.07.1
Issue -
State: closed - Opened by g2p about 6 years ago
- 1 comment
#42 - Provide for OCaml 4.07.1
Issue -
State: closed - Opened by g2p about 6 years ago
- 1 comment
#41 - Update to Solo5 0.4.0 OPAM package names
Pull Request -
State: closed - Opened by mato about 6 years ago
#41 - Update to Solo5 0.4.0 OPAM package names
Pull Request -
State: closed - Opened by mato about 6 years ago
#40 - Prepare to release v0.3.1
Pull Request -
State: closed - Opened by mato over 6 years ago
#40 - Prepare to release v0.3.1
Pull Request -
State: closed - Opened by mato over 6 years ago
#39 - OCaml 4.07 support
Pull Request -
State: closed - Opened by hannesm over 6 years ago
- 16 comments
#39 - OCaml 4.07 support
Pull Request -
State: closed - Opened by hannesm over 6 years ago
- 16 comments
#38 - Prepare to release v0.3.0
Pull Request -
State: closed - Opened by mato over 6 years ago
#38 - Prepare to release v0.3.0
Pull Request -
State: closed - Opened by mato over 6 years ago
#37 - Update openlibm to a844d58@master
Pull Request -
State: closed - Opened by mato over 6 years ago
- 2 comments
#37 - Update openlibm to a844d58@master
Pull Request -
State: closed - Opened by mato over 6 years ago
- 2 comments
#36 - Fix opam arch constraint
Pull Request -
State: closed - Opened by kit-ty-kate over 6 years ago
- 7 comments
#36 - Fix opam arch constraint
Pull Request -
State: closed - Opened by kit-ty-kate over 6 years ago
- 7 comments
#35 - Add OpenBSD support
Pull Request -
State: closed - Opened by adamsteen over 6 years ago
- 4 comments
#35 - Add OpenBSD support
Pull Request -
State: closed - Opened by adamsteen over 6 years ago
- 4 comments
#34 - Adapt to Solo5 API changes
Pull Request -
State: closed - Opened by mato over 6 years ago
#34 - Adapt to Solo5 API changes
Pull Request -
State: closed - Opened by mato over 6 years ago
#33 - cleanup README.md, configure.sh, and opam to meet on OCaml versions
Pull Request -
State: closed - Opened by hannesm over 6 years ago
- 1 comment
#33 - cleanup README.md, configure.sh, and opam to meet on OCaml versions
Pull Request -
State: closed - Opened by hannesm over 6 years ago
- 1 comment
#32 - Add malloc() implementation to nolibc
Pull Request -
State: closed - Opened by mato over 6 years ago
#32 - Add malloc() implementation to nolibc
Pull Request -
State: closed - Opened by mato over 6 years ago
#31 - opam, Travis CI: Switch to Solo5 master for development
Pull Request -
State: closed - Opened by mato almost 7 years ago
- 3 comments
#31 - opam, Travis CI: Switch to Solo5 master for development
Pull Request -
State: closed - Opened by mato almost 7 years ago
- 3 comments
#30 - update ocaml-freestanding with new solo5 API regarding solo5_exit taking an int
Pull Request -
State: closed - Opened by hannesm almost 7 years ago
- 1 comment
#30 - update ocaml-freestanding with new solo5 API regarding solo5_exit taking an int
Pull Request -
State: closed - Opened by hannesm almost 7 years ago
- 1 comment
#29 - add dlmalloc to ocaml-freestanding (formerly in solo5)
Pull Request -
State: closed - Opened by djwillia almost 7 years ago
- 4 comments
#29 - add dlmalloc to ocaml-freestanding (formerly in solo5)
Pull Request -
State: closed - Opened by djwillia almost 7 years ago
- 4 comments
#28 - Update dtoa to latest version
Pull Request -
State: closed - Opened by mato almost 7 years ago
- 12 comments
#28 - Update dtoa to latest version
Pull Request -
State: closed - Opened by mato almost 7 years ago
- 12 comments
#27 - Support OCaml 4.06.0
Pull Request -
State: closed - Opened by mato about 7 years ago
- 4 comments
#27 - Support OCaml 4.06.0
Pull Request -
State: closed - Opened by mato about 7 years ago
- 4 comments
#26 - provide uint_max, shrt_max, shrt_min, and ushrt_max, needed by newer gmp
Pull Request -
State: closed - Opened by hannesm about 7 years ago
- 4 comments
#26 - provide uint_max, shrt_max, shrt_min, and ushrt_max, needed by newer gmp
Pull Request -
State: closed - Opened by hannesm about 7 years ago
- 4 comments
#25 - aarch64 support
Pull Request -
State: closed - Opened by mato over 7 years ago
- 4 comments
#25 - aarch64 support
Pull Request -
State: closed - Opened by mato over 7 years ago
- 4 comments
#24 - Add some basic link tests to the build
Issue -
State: closed - Opened by mato over 7 years ago
Labels: enhancement
#24 - Add some basic link tests to the build
Issue -
State: closed - Opened by mato over 7 years ago
Labels: enhancement
#23 - Support OCaml 4.05
Pull Request -
State: closed - Opened by mato over 7 years ago
- 10 comments
#23 - Support OCaml 4.05
Pull Request -
State: closed - Opened by mato over 7 years ago
- 10 comments
#22 - Fixes for OCaml 4.04.1+
Pull Request -
State: closed - Opened by mato over 7 years ago
#22 - Fixes for OCaml 4.04.1+
Pull Request -
State: closed - Opened by mato over 7 years ago
#21 - Fix support for OCaml 4.04.1+
Issue -
State: closed - Opened by mato over 7 years ago
- 5 comments
#21 - Fix support for OCaml 4.04.1+
Issue -
State: closed - Opened by mato over 7 years ago
- 5 comments
#20 - OCaml 4.05.0 support: the new afl.c needs sys/shm.h (and sys/ipc.h as…
Pull Request -
State: closed - Opened by hannesm over 7 years ago
- 2 comments
#20 - OCaml 4.05.0 support: the new afl.c needs sys/shm.h (and sys/ipc.h as…
Pull Request -
State: closed - Opened by hannesm over 7 years ago
- 2 comments
#19 - Silence STUB: warnings by default
Pull Request -
State: closed - Opened by mato over 7 years ago
#19 - Silence STUB: warnings by default
Pull Request -
State: closed - Opened by mato over 7 years ago
#18 - Add support for solo5-kernel-muen
Pull Request -
State: closed - Opened by Kensan over 7 years ago
#18 - Add support for solo5-kernel-muen
Pull Request -
State: closed - Opened by Kensan over 7 years ago
#17 - opam: Sync metadata with ocaml/opam-repository
Pull Request -
State: closed - Opened by mato over 7 years ago
#17 - opam: Sync metadata with ocaml/opam-repository
Pull Request -
State: closed - Opened by mato over 7 years ago
#16 - string_of_float returns `-NaN` for most numbers formatted by printf
Issue -
State: closed - Opened by timbertson over 7 years ago
- 5 comments
#16 - string_of_float returns `-NaN` for most numbers formatted by printf
Issue -
State: closed - Opened by timbertson over 7 years ago
- 5 comments
#15 - ARM64 support
Issue -
State: closed - Opened by mato almost 8 years ago
- 2 comments
#15 - ARM64 support
Issue -
State: closed - Opened by mato almost 8 years ago
- 2 comments
#14 - declare to be freestanding
Pull Request -
State: closed - Opened by hannesm almost 8 years ago
- 6 comments
#14 - declare to be freestanding
Pull Request -
State: closed - Opened by hannesm almost 8 years ago
- 6 comments
#13 - pkg-config files now installed into share, rather than lib
Pull Request -
State: closed - Opened by hannesm about 8 years ago
- 1 comment
#13 - pkg-config files now installed into share, rather than lib
Pull Request -
State: closed - Opened by hannesm about 8 years ago
- 1 comment
#12 - no str stubs anymore
Pull Request -
State: closed - Opened by hannesm about 8 years ago
- 1 comment
#11 - Use git subtree for OpenLibm
Pull Request -
State: closed - Opened by mato about 8 years ago
- 2 comments
#11 - Use git subtree for OpenLibm
Pull Request -
State: closed - Opened by mato about 8 years ago
- 2 comments
#10 - Use VAR=value to set implicit variables in Makefile
Pull Request -
State: closed - Opened by mato about 8 years ago
#9 - FreeBSD/clang support
Pull Request -
State: closed - Opened by mato about 8 years ago
- 1 comment
#8 - Support more compiler versions
Pull Request -
State: closed - Opened by mato about 8 years ago
- 5 comments
#7 - Add Travis CI
Pull Request -
State: closed - Opened by mato about 8 years ago
#6 - Add upper bound on OCaml version
Pull Request -
State: closed - Opened by mato about 8 years ago
#5 - FreeBSD still has amd64
Pull Request -
State: closed - Opened by hannesm over 8 years ago
- 3 comments
#4 - no need for customised version of openlibm
Pull Request -
State: closed - Opened by hannesm over 8 years ago
- 8 comments
#3 - posix cp has no -d
Pull Request -
State: closed - Opened by hannesm over 8 years ago
#2 - set `CC?=cc`, and fix C warnings reported by clang
Pull Request -
State: closed - Opened by hannesm over 8 years ago
#1 - fixes to work with clang
Pull Request -
State: closed - Opened by hannesm over 8 years ago
- 2 comments