liquid-fixpoint 0.7.0.1 → 0.7.0.2

raw patch · 4 files changed

+27/−8 lines, 4 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

Makefile +12/−0
liquid-fixpoint.cabal +3/−1
tests/logs/cur/pin +1/−0
tests/test.hs +11/−7

+ Makefile view

@@ -0,0 +1,12 @@+GHC=~/.stack/programs/x86_64-osx/ghc-8.0.2/bin/ghc ++cabal:+	cabal sandbox init+	cabal install --enable-tests -w $(GHC)+	cabal configure -w $(GHC)+	cabal test++tags:+	hasktags -c src/+	hasktags -e src/+	hasktags -x -c src/

liquid-fixpoint.cabal view

@@ -1,5 +1,5 @@ name:                liquid-fixpoint-version:             0.7.0.1+version:             0.7.0.2 Copyright:           2010-17 Ranjit Jhala, University of California, San Diego. synopsis:            Predicate Abstraction-based Horn-Clause/Implication Constraint Solver homepage:            https://github.com/ucsd-progsys/liquid-fixpoint@@ -34,6 +34,8 @@                   , tests/pos/*.fq                   , unix/Language/Fixpoint/Utils/*.hs                   , win/Language/Fixpoint/Utils/*.hs+                  , tests/logs/cur/pin+                  , Makefile  Source-Repository head   Type:        git

+ tests/logs/cur/pin view

@@ -0,0 +1,1 @@+as

tests/test.hs view

@@ -30,6 +30,7 @@ import Test.Tasty.Options import Test.Tasty.Runners import Test.Tasty.Runners.AntXML+import Paths_liquid_fixpoint  main :: IO () main    = run =<< group "Tests" [unitTests]@@ -110,9 +111,8 @@     test = dir </> file     log  = let (d,f) = splitFileName file in dir </> d </> ".liquid" </> f <.> "log" -binPath pkgName = do-  testPath <- getExecutablePath-  return    $ (takeDirectory $ takeDirectory testPath) </> pkgName </> pkgName+binPath :: FilePath -> IO FilePath+binPath pkgName = (</> pkgName) <$> getBinDir  knownToFail = [] ---------------------------------------------------------------------------@@ -377,23 +377,27 @@  gitTimestamp :: IO String gitTimestamp = do-   res <- readProcess "git" ["show", "--format=\"%ci\"", "--quiet"] []+   res <- gitProcess ["show", "--format=\"%ci\"", "--quiet"]    return $ filter notNoise res  gitEpochTimestamp :: IO String gitEpochTimestamp = do-   res <- readProcess "git" ["show", "--format=\"%ct\"", "--quiet"] []+   res <- gitProcess ["show", "--format=\"%ct\"", "--quiet"]    return $ filter notNoise res  gitHash :: IO String gitHash = do-   res <- readProcess "git" ["show", "--format=\"%H\"", "--quiet"] []+   res <- gitProcess ["show", "--format=\"%H\"", "--quiet"]    return $ filter notNoise res  gitRef :: IO String gitRef = do-   res <- readProcess "git" ["show", "--format=\"%d\"", "--quiet"] []+   res <- gitProcess ["show", "--format=\"%d\"", "--quiet"]    return $ filter notNoise res++-- | Calls `git` for info; returns `"plain"` if we are not in a git directory.+gitProcess :: [String] -> IO String+gitProcess args = (readProcess "git" args []) `catchIOError` const (return "plain")  notNoise :: Char -> Bool notNoise a = a /= '\"' && a /= '\n' && a /= '\r'