The libsir Open Source Project on Open Hub : News Page

News

Analyzed 28 days ago. based on code collected 29 days ago.

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