Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Show HN: ChronVer – Chronologic Versioning
(chronver.org)
2 points
NetOpWibby
10 months ago
discuss
2.
▲
Chronologic Versioning: No more arbitrary version updates and regressions
(chronver.org)
77 points
goranmoomin
6 years ago
74 comments
3.
▲
CBMC: A Bounded Model Checker for C and C++
(cprover.org)
2 points
felixr
5 years ago
discuss