From a8f745f22f75c2d753452003d2aab9527e2f77c5 Mon Sep 17 00:00:00 2001 From: Ranjit Jhala Date: Wed, 8 Mar 2017 10:58:53 +0530 Subject: [PATCH 1/3] test no-reft-in-wf-params-fix --- liquid-fixpoint | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/liquid-fixpoint b/liquid-fixpoint index 0e021dcc32..8ee28cc55c 160000 --- a/liquid-fixpoint +++ b/liquid-fixpoint @@ -1 +1 @@ -Subproject commit 0e021dcc32c9a104d691930f2ce911858ff7fbfc +Subproject commit 8ee28cc55c51bdd624e6b617705331cfcf4a9e39 From f0be7b9fa980d58b84d7d8c3a08d9edef50edfc7 Mon Sep 17 00:00:00 2001 From: Ranjit Jhala Date: Wed, 8 Mar 2017 11:28:03 +0530 Subject: [PATCH 2/3] sigh. cannot push --- liquid-fixpoint | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/liquid-fixpoint b/liquid-fixpoint index 8ee28cc55c..d6f7eb21b5 160000 --- a/liquid-fixpoint +++ b/liquid-fixpoint @@ -1 +1 @@ -Subproject commit 8ee28cc55c51bdd624e6b617705331cfcf4a9e39 +Subproject commit d6f7eb21b5879eeccad55fe7e775ea0e99de36f1 From 0a65c50223172808ddc71fbc0782ef1f39a66a6c Mon Sep 17 00:00:00 2001 From: Ranjit Jhala Date: Wed, 8 Mar 2017 17:24:30 +0530 Subject: [PATCH 3/3] update lf --- liquid-fixpoint | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/liquid-fixpoint b/liquid-fixpoint index d6f7eb21b5..59f25fced0 160000 --- a/liquid-fixpoint +++ b/liquid-fixpoint @@ -1 +1 @@ -Subproject commit d6f7eb21b5879eeccad55fe7e775ea0e99de36f1 +Subproject commit 59f25fced058fdf8f0484dc9c176353160b4ad1f