Comments on: Formulog: ML + Datalog + SMT http://www.weaselhat.com/2020/08/07/formulog-ml-datalog-smt/ Thu, 01 Oct 2020 21:53:53 +0000 hourly 1 https://wordpress.org/?v=6.3.2 By: Michael Greenberg http://www.weaselhat.com/2020/08/07/formulog-ml-datalog-smt/comment-page-1/#comment-105478 Mon, 10 Aug 2020 16:15:28 +0000 http://www.weaselhat.com/?p=835#comment-105478 In reply to yaseen.

That’s a very good idea! I have an undergraduate student who will be helping me convert Smaragdakis and Balatsouras’s “Pointer Analysis” tutorial, but that’s for a modestly complex language. I’ll see what we can do.

]]> By: yaseen http://www.weaselhat.com/2020/08/07/formulog-ml-datalog-smt/comment-page-1/#comment-105334 Sun, 09 Aug 2020 00:05:43 +0000 http://www.weaselhat.com/?p=835#comment-105334 can you guys write a tutorial that targets a really basic language please

]]> By: brian herman http://www.weaselhat.com/2020/08/07/formulog-ml-datalog-smt/comment-page-1/#comment-105327 Sat, 08 Aug 2020 16:05:42 +0000 http://www.weaselhat.com/?p=835#comment-105327 cool

]]>