The libsir Open Source Project on Open Hub : News Page

News

Analyzed 36 minutes ago. based on code collected about 10 hours ago.

Testing CI (#499) Posted 29 days ago by johnsonjh
Remove license badge from README.md (#498) Posted about 2 months ago by aremmell
Initial embedded (Arduino, FreeRTOS) support for espressif32 (#497) Posted about 2 months ago by aremmell
CI Updates (#496) Posted about 2 months ago by johnsonjh
Update Chamois-CompCert to build with latest OCaml and Coq; add upstr… Posted 2 months ago by johnsonjh
Update all CI tooling and regenerate all container images, etc. (#491) Posted 2 months ago by johnsonjh
Add Chamois-CompCert x86_64 CI test job (#493) Posted 2 months ago by johnsonjh
Add a CI job for 32-bit builds using AMD Open64 4.5.2.1 (#492) Posted 2 months ago by johnsonjh
v2.2.6 (#469) Posted 3 months ago by aremmell
Doxyfile reuse erased by Doxygen (#464) Posted 3 months ago by aremmell