Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
CSolve: Liquid Types-Based C Program Verifier
(
ucsd.edu
)
54 points
by
pabs3
on March 14, 2020
|
hide
|
past
|
favorite
|
4 comments
sramsay
on March 14, 2020
|
next
[–]
Looks great! Also looks like academic abandonware.
mintplant
on March 15, 2020
|
parent
|
next
[–]
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/
Animats
on March 14, 2020
|
parent
|
prev
|
next
[–]
(2012) Demo broken.
posco
on March 14, 2020
|
prev
[–]
Having this with rust could be a very powerful combo.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
