This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
set -e | |
set -x | |
sudo apt-get install -y git gcc make autoconf libtool zlib1g-dev libgl1-mesa-dev libglu1-mesa libglu1-mesa-dev freeglut3-dev libncurses-dev libgmp-dev | |
export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/lib/x86_64-linux-gnu/ | |
sudo ln -s /usr/lib/x86_64-linux-gnu/libgmp.so.10 /usr/lib/libgmp.so.3 | |
sudo ln -s /usr/lib/x86_64-linux-gnu/libgmp.so.10 /usr/lib/libgmp.so |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// Generated by the protocol buffer compiler. DO NOT EDIT! | |
// source: fusiontables_v1_services.proto | |
package fusiontables; | |
public final class FusiontablesV1Services { | |
private FusiontablesV1Services() {} | |
public static void registerAllExtensions( | |
com.google.protobuf.ExtensionRegistry registry) { | |
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE RankNTypes, DataKinds, KindSignatures, MagicHash, CPP, DefaultSignatures #-} | |
{-# LANGUAGE TypeFamilies, TypeSynonymInstances, FlexibleInstances #-} | |
import GHC.Prim (unsafeCoerce#) | |
#if 0 | |
import Control.LVish | |
import Data.LVar.IVar as IV | |
#else |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
data AndState = Bot | TrueBot | BotTrue | TrueTrue | F | |
total | |
myjoin : AndState -> AndState -> AndState | |
myjoin TrueBot BotTrue = TrueTrue | |
myjoin TrueTrue TrueBot = TrueTrue | |
myjoin TrueTrue BotTrue = TrueTrue | |
myjoin Bot x = x | |
myjoin F _ = F | |
-- myjoin x y = myjoin y x |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This HTTP-conduit request: | |
Request { | |
host = "www.googleapis.com" | |
port = 443 | |
secure = True | |
clientCertificates = [] | |
requestHeaders = [("Gdata-version","999"),("Authorization","OAuth ya29.1.AADtN_XQl-SEQTTY39WMzrIZE_Vks4cF5bjUJ2FQvv42KPPGtx8GgeEbjMl1RcQ")] | |
path = "fusiontables/v1/tables/1R4x_Dqa0p5BoLBKX5sENGh4kkbGZhUVli_APIOw/import" | |
queryString = "" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE BangPatterns #-} | |
module Main where | |
import Control.Monad (when, forM_) | |
import qualified Data.Vector as V | |
import Data.Word | |
import qualified Data.LVar.IVar as IV | |
import Control.LVish | |
import Debug.Trace | |
tracePrnt :: String -> Par d s () |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
================================================= | |
*** Iteration 35, executing command: <./AddRemoveSetTests.exe -t i1 +RTS -N4> | |
================================================= | |
[*] Default test harness... | |
[*] Using Just 1 worker threads for testing. | |
AddRemoveSetTests: | |
[!] LVish responding to env Var: DEBUG=9 | |
|3| wrkr0 [dbg-lvish] Main worker thread starting. | |
|3| wrkr3 [dbg-lvish] Auxillary worker #3 starting. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[!] LVish responding to env Var: DEBUG=9 | |
|3| wrkr0 [dbg-lvish] Auxillary worker #0 starting. | |
|7| !cpu 0 stealing | |
|7| !cpu 0 going idle... | |
|3| wrkr2 [dbg-lvish] Auxillary worker #2 starting. | |
|7| !cpu 2 stealing | |
|7| !cpu 2 going idle... | |
|3| wrkr3 [dbg-lvish] Auxillary worker #3 starting. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
$ ./dist/dist-sandbox-463d1a75/build/test-accelerate-cuda-backend/test-accelerate-cuda-backend --threads=1 | |
[Note: passing through options to test-framework]: --threads=1 | |
[!] Testing backend: <CUDA-Backend: DeviceProperties {deviceName = "GeForce GT 430", computeCapability = 2.1, totalGlobalMem = 1072889856, totalConstMem = 65536, sharedMemPerBlock = 49152, regsPerBlock = 32768, warpSize = 32, maxThreadsPerBlock = 1024, maxThreadsPerMultiProcessor = 1536, maxBlockSize = (1024,1024,64), maxGridSize = (65535,65535,65535), maxTextureDim1D = 65536, maxTextureDim2D = (65536,65535), maxTextureDim3D = (2048,2048,2048), clockRate = 1400000, multiProcessorCount = 2, memPitch = 2147483647, memBusWidth = 128, memClockRate = 800000, textureAlignment = 512, computeMode = Default, deviceOverlap = True, concurrentKernels = True, eccEnabled = False, asyncEngineCount = 1, cacheMemL2 = 131072, tccDriverEnabled = False, pciInfo = PCI {busID = 1, deviceID = 0, domainID = 0}, kernelExecTimeoutEnabled = True, integrated = False |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#include "stdlib.h" | |
#include "stdio.h" | |
#include "stdint.h" | |
#include "stdbool.h" | |
#include "math.h" | |
#define max(a,b) ({ __typeof__ (a) _a = (a); __typeof__ (b) _b = (b); _a > _b ? _a : _b; }) | |
#define min(a,b) ({ __typeof__ (a) _a = (a); __typeof__ (b) _b = (b); _a < _b ? _a : _b; }) | |
void build_evt144(int64_t inSize, int64_t inStride, | |
double* tmp_0_1266, double* tmp_0_1267, double* tmp_0_1268, | |
double v0111, double v0112, double v0113, double* aLt2_057, |