From 86ca7448849aaaea6db34b1d2bcf8d99d7d7b12c Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>
Date: Mon, 22 Oct 2012 14:44:57 +1100
Subject: Okay, the solver is now correct.

It runs in two separate passes:
 - improve strategy (for all)
 - evaluate fixpoint

Unfortunately this loses out on locality at the moment.

I really want a local solver, so I'll have to see what I can do about
that.
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 3b01757..93c639b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 /impl/build/*
 /impl/parser/*
+gmon.out
-- 
cgit v1.2.3