From 7dfeeeba59e519ed5a92d3020ff07baf6e3a2b80 Mon Sep 17 00:00:00 2001 From: Koz Ross Date: Sun, 5 Nov 2017 13:02:02 +1300 Subject: [PATCH] Removing qo --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 34340a3..7e9f93f 100644 --- a/README.md +++ b/README.md @@ -812,7 +812,7 @@ libraries or compilers. it). [NCSA][39]. * [indent][315] - Formats C source code automatically to make it easier to read. Also converts from one style of source to another. [GPL-3.0+][41]. -* [qo][274] - Build system that works without a separate config file. [MIT][11]. + * [SMACK][500] - Modular software verification toolchain and a self-contained software verifier. Currently only works with programs compiled using Clang. [MIT][11]. @@ -1227,7 +1227,7 @@ support for C. [271]: http://marek.vavrusa.com/c/memory/2015/02/20/memory/ [272]: https://kukuruku.co/hub/programming/i-do-not-know-c [273]: http://kamalatta.ddnss.de/otherdocs/pikestyle.html -[274]: https://github.com/andlabs/qo + [275]: http://blog.llvm.org/2011/05/what-every-c-programmer-should-know.html [276]: https://github.com/ryanmjacobs/c [277]: https://github.com/wolkykim/qlibc