atondwal

patching file xen/arch/x86/hvm/hvm.c
Hunk #1 succeeded at 4465 (offset -128 lines).
patching file xen/arch/x86/mm/p2m.c
Hunk #1 succeeded at 1366 (offset 33 lines).
Hunk #2 succeeded at 1396 (offset 33 lines).
Hunk #3 succeeded at 1414 (offset 33 lines).
patching file xen/include/asm-x86/p2m.h
patching file xen/arch/x86/hvm/hvm.c
Hunk #1 succeeded at 4393 (offset -148 lines).
patching file Config.mk

atondwal

http://www.unwelcomeguests.net/576 | 576 - Is 5000 Years Enough? (Debt, Morality and Fiat Currency) - UnwelcomeGuests
https://www.23andme.com/ | 23andMe - Genetic Testing for Ancestry; DNA Test
https://en.wikipedia.org/wiki/This_Is_Your_Brain_On_Music | This Is Your Brain On Music - Wikipedia, the free encyclopedia
http://www.virginia.edu/iso/ic/ | The Lorna Sundberg International Center, U.Va.
https://news.ycombinator.com/item?id=7884551 | Functional Differential Geometry (2012) [pdf] | Hacker News

http://www.npr.org/blogs/codeswitch/2014/11/21/365791351/updating-centuries-old-folklore-with-puzzles-and-power-ups?utm_source=facebook.com&utm_medium=social&utm_campaign=npr&utm_term=nprnews&utm_content=2055 | Updating Centuries-Old Folklore With Puzzles And Power-Ups : Code Switch : NPR
https://en.wikipedia.org/wiki/India%E2%80%93Japan_relations | India–Japan relations - Wikipedia, the free encyclopedia
http://slatestarcodex.com/2013/02/26/fermats-last-stand-coordination-thread/ | Fermat’s Last Stand Coordinati

atondwal

{-@ f :: {v: Int | v >=0 } @-}
f :: Int
f = 1

{-@ g :: {v: Int | v != 0}  -> Int @-}
g :: Int -> Int
g x = 3 `quot` x

h :: Int
h = g f

atondwal

{-# LANGUAGE TupleSections  #-}

import           Data.Maybe
import           Data.Monoid      (mconcat, mempty)
import           System.Exit 
import           Control.Applicative ((<$>))
import           Control.Monad
import           Control.DeepSeq
import           Text.PrettyPrint.HughesPJ    
import           CoreSyn

atondwal

diff --git a/Liquid.hs b/Liquid.hs
index c5b03ac..eea1bb4 100644
--- a/Liquid.hs
+++ b/Liquid.hs
@@ -76,22 +76,24 @@ testDelta cfg target cgi info dc cons = do
     ExitSuccess -> return False
     ExitFailure _ -> return True
 
+deltaDebug _ _ _ _ _ [c] _ = return [c]
 deltaDebug cfg target cgi info dc cons r = do

atondwal

module CSV () where

-- | Using LiquidHaskell for CSV lists
-- c.f. http://www.reddit.com/r/scala/comments/1nhzi2/using_shapelesss_sized_type_to_eliminate_real/

data CSV = Csv { headers :: [String]
               , rows    :: [[String]]
               }

{-@ data CSV = Csv { headers :: [String]

atondwal

========================================================
© Copyright 2009 Regents of the University of California.
All Rights Reserved.
========================================================
.|./.-.\.|./.-.\.|./.-.\.|./.-.\.|./.-.\.|./.-.\.|./.-.\.|./.-.\.|./.-.\.|./.-.\.|./.-.\.|Unsatisfied Constraints:
 constraint:
 env  [ xsListSelector:{VV : func(1, [FAppTy (List ) @(0) ; FAppTy (List ) @(0)]) | []}
      ; x_Tuple77:{VV : func(7, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4)) @(5)) @(6) ; @(6)]) | []}

atondwal

http://www.imarvintpa.com/dndlive/Index_LevDom.php | Index of Spells by Domains and Levels
http://www.imarvintpa.com/dndlive/LevelIndex.php?Level=Clr+1&Small=0 | Index of Spells by Level - Clr 1
http://www.imarvintpa.com/dndlive/LevelIndex.php?Level=Trickery+1 | Index of Spells by Level - Trickery 1
http://www.imarvintpa.com/dndlive/LevelIndex.php?Level=Fate+1 | Index of Spells by Level - Fate 1
http://kcdnd.com/players/spell%20sheets/DnD_3.5_Cleric_Spells.pdf | kcdnd.com/players/spell sheets/DnD_3.5_Cleric_Spells.pdf
http://brilliantgameologists.com/boards/index.php?topic=420.msg8432#msg8432 | The 3.5 Cleric Handbook
file:///home/atondwal/Downloads/D&D%203.5%20-%20Dungeon%20Master's%20Guide%20II.pdf | D&D 3.5 - Dungeon Master's Guide II.pdf
file:///home/atondwal/Downloads/Spell_Compendium.pdf | Spell_Compendium.pdf
https://app.roll20.net/editor/ | Campaign on Kysus | Roll20
http://www.dandwiki.com/wiki/SRD:Trickery_Domain | SRD:Trickery Domain - D&D Wiki

atondwal

module UseInterpolation (useInterpolation) where
import Data.Maybe

data Formula = Not Formula | And [Formula] | Or [Formula] | T [Var] deriving Eq
data Binder = Binder Var Type [(Var,Var)] deriving Eq
data Var = V | S String deriving Eq
type Constraint = ([Binder], Type, Type)
data Type = Type { reft :: Formula } deriving Eq

interpolate :: Formula -> Formula -> IO Formula

atondwal

module UseInterpolation (useInterpolation) where
import qualified Data.Map as M

data Formula = Not Formula | And [Formula] | Or [Formula] | T [Var] deriving (Eq,Ord)
data Binder = Binder Var Type (M.Map Var Var) deriving (Eq,Ord)
data Var = V | S String deriving (Eq,Ord)
type Constraint = ([Binder], Type, Type)
data Type = Type { reft :: Formula } deriving (Eq,Ord)

interpolate :: Formula -> Formula -> IO Formula