3 ms·
Have you thought about building a C verification framework around Fil-C? Fil-C doesn't necessarily have to run in production. It just needs to catch the bugs,
by imtringued 2y ago
Have you thought about building a C verification framework around Fil-C?
Fil-C doesn't necessarily have to run in production. It just needs to catch the bugs, e.g. by making it easy to fuzz C code compiled via Fil-C.
- pizlonator 2y agoI think you should run Fil-C in production.
- transpute 2y agoWhy not both?