Skip to content

Extend to libc coverage, add testing and dev container#31

Merged
tom-kuchler merged 16 commits into
mainfrom
dev/staging
Jun 29, 2026
Merged

Extend to libc coverage, add testing and dev container#31
tom-kuchler merged 16 commits into
mainfrom
dev/staging

Conversation

@tom-kuchler

@tom-kuchler tom-kuchler commented Jun 29, 2026

Copy link
Copy Markdown
Contributor
  • Add musl libc tests
  • Extend to cover all required header files
  • Add structure for implementations of additional functionality
  • Add docker files to make development workflow easier
  • Remove wasm support

tom-kuchler and others added 16 commits December 19, 2025 11:24
Features added:
* Add clang include directory to cfg
* Adding statiging release
* Add dev container
* Add runtime library interface
* Adding first version of unistd.c
* Adding print for exit code at debug exit

Bug Fixes: 
* Fix bugs in compiler cfg template
* Fix namecmp to recognize substrings as non equal
* Fix abi thread local issue, add test program build to top level cmake project
* Fix makro in cmake template
* Fix debug to handle unlimited number of input items or input-/outputsets
* Add dev container
* Add clang include directory to cfg
* Adding staging release
* Add runtime library interface
* Adding first version of unistd.c
* Adding print for exit code at debug exit

Bug Fixes: 
* Fix bugs in compiler cfg template
* Fix namecmp to recognize substrings as non equal
* Fix abi thread local issue, add test program build to top level cmake project
* Fix makro in cmake template
* Fix debug to handle unlimited number of input items or input-/outputsets
* Fix formatting
* update kvm exit to use interrupt 32 instead of direct halt (#22)
* Add dev container, fix bugs in compiler setup

Features added:
* Add clang include directory to cfg
* Adding statiging release
* Add dev container
* Add runtime library interface
* Adding first version of unistd.c
* Adding print for exit code at debug exit

Bug Fixes: 
* Fix bugs in compiler cfg template
* Fix namecmp to recognize substrings as non equal
* Fix abi thread local issue, add test program build to top level cmake project
* Fix makro in cmake template
* Fix debug to handle unlimited number of input items or input-/outputsets

* Fix formatting

* update kvm exit to use interrupt 32 instead of direct halt (#22)

* Fix bug with buffers going to previous sets
* Added sys/uio, sys/socket and netdb

* Move additional source and header files for libc to separate library

---------

Co-authored-by: Tobias Stocker <tstocker@node-0.tstocker-283766.faas-sched.emulab.net>
Fix inconsistency in clang version.
* Ensure all libraries are PIC, adding dev/urandom

* Adding actual time measurements

---------

Co-authored-by: Tobias Stocker <tstocker@node-0.tstocker-294232.faas-sched.emulab.net>
* Added automake installer script

* Added dlfcn header

* Added arpa/inet.h, netinet/in.h, semaphore.h header, fixed template bug

* Added more headers

* Added mman header

* Buildtool install script fix

* Compiler template extension

---------

Co-authored-by: Tobias Stocker <tstocker@node-0.tstocker-288471.faas-sched.emulab.net>
Co-authored-by: Tobias Stocker <tstocker@node-0.tstocker-294232.faas-sched.emulab.net>
* Add musl test to test the libc implementation.

* Add a harness for the musl test library to extract failures and classify them.

* Extend the implementation to have all expected header files, functions and defines.

* Update and extend the Docker files for easier reproduction.
---------

Co-authored-by: Lanzelot Moll <lanzelotmoll@gmail.com>
@tom-kuchler tom-kuchler merged commit a3733dd into main Jun 29, 2026
44 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants