News for hackers. Stuff that matters.

A comment on CSolve: Liquid Types-Based C Program Verifier.

Re:CSolve: Liquid Types-Based C Program Verifier by sramsay on Saturday March 14, 2020 @04:34PM (#22578455)
Looks great! Also looks like academic abandonware.
[ Parent | on HN ]
Re:CSolve: Liquid Types-Based C Program Verifier by mintplant on Saturday March 14, 2020 @08:52PM (#22580099)
I know/have worked with the team behind it at UCSD. They've mostly moved on to LiquidHaskell [0].

[0] https://ucsd-progsys.github.io/liquidhaskell-blog/

[ Parent | on HN ]
Re:CSolve: Liquid Types-Based C Program Verifier by Animats on Saturday March 14, 2020 @04:58PM (#22578637)
(2012) Demo broken.
[ Parent | on HN ]