https://github.com/sri-csl/io-specialization

Specialization of IO system calls
https://github.com/sri-csl/io-specialization

Last synced: about 2 months ago
JSON representation

Specialization of IO system calls

• Host: GitHub
• URL: https://github.com/sri-csl/io-specialization
• Owner: SRI-CSL
• Created: 2019-08-07T17:46:21.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2019-08-09T16:04:49.000Z (over 5 years ago)
• Last Synced: 2023-03-11T03:27:42.507Z (almost 2 years ago)
• Language: C++
• Size: 17.6 KB
• Stars: 1
• Watchers: 17
• Forks: 4
• Open Issues: 0

Awesome Lists containing this project