Skip to content

Instantly share code, notes, and snippets.

View elliottslaughter's full-sized avatar

Elliott Slaughter elliottslaughter

75 followers · 0 following
View GitHub Profile
@elliottslaughter
elliottslaughter / gamma_table_min.h
Last active August 10, 2023 06:16
Terra miscompilation reproducer
#pragma once
const double gamma_table[18][700] = {
1.0000000000000001E+00,
9.9999999996473882E-01,
9.9999999856422813E-01,
9.9999998888660239E-01,
9.9999995365084444E-01,
9.9999986117081982E-01,
9.9999966203208548E-01,
@elliottslaughter
elliottslaughter / seema_gamma_table_min.h
Created August 9, 2023 21:25
Regent issue 1385 reproducer
#pragma once
const double gamma_table[18][700] = {
1.0000000000000001E+00,
9.9999999996473882E-01,
9.9999999856422813E-01,
9.9999998888660239E-01,
9.9999995365084444E-01,
9.9999986117081982E-01,
9.9999966203208548E-01,
@elliottslaughter
elliottslaughter / sc20_execution_env.txt
Created April 20, 2020 21:55
SC20 Artifact Description Execution Environment
######################################################################
## Cori
######################################################################
+ lsb_release -a
LSB Version: n/a
Distributor ID: SUSE
Description: SUSE Linux Enterprise Server 12 SP3
Release: 12.3
Codename: n/a
@elliottslaughter
elliottslaughter / privilege_reduce5.rg
Created August 30, 2019 21:11
-- Copyright 2019 Stanford University
--
-- Licensed under the Apache License, Version 2.0 (the "License");
-- you may not use this file except in compliance with the License.
-- You may obtain a copy of the License at
--
-- http://www.apache.org/licenses/LICENSE-2.0
--
-- Unless required by applicable law or agreed to in writing, software
-- distributed under the License is distributed on an "AS IS" BASIS,
@elliottslaughter
elliottslaughter / test_config.t
Created August 20, 2019 18:12
local C = terralib.includecstring [[
#include "stdio.h"
#include "stdlib.h"
#include "stdbool.h"
#include "stdint.h"
typedef int TempProfile;
#define TempProfile_File 0
typedef int InflowProfile;
@elliottslaughter
elliottslaughter / test_config.rg
Created August 20, 2019 17:51
import "regent"
local C = regentlib.c
local SCHEMA = terralib.includecstring [[
#ifndef __CONFIG_SCHEMA_H__
#define __CONFIG_SCHEMA_H__
#include <stdbool.h>
#include <stdint.h>
@elliottslaughter
elliottslaughter / test_perf_regression.t
Created August 20, 2019 04:23
local C = terralib.includecstring
[[
#ifndef __CONFIG_SCHEMA_H__
#define __CONFIG_SCHEMA_H__
#include <stdbool.h>
#include <stdint.h>
typedef int TurbForcingModel;
#define TurbForcingModel_OFF 0
@elliottslaughter
elliottslaughter / test_config.t
Created July 24, 2019 16:45
local C = terralib.includec("stdio.h")
local SCHEMA = terralib.includecstring
[[
#ifndef __CONFIG_SCHEMA_H__
#define __CONFIG_SCHEMA_H__
#include <stdbool.h>
#include <stdint.h>
typedef int TempProfile;
@elliottslaughter
elliottslaughter / clang-link-line.txt
Created July 20, 2019 22:37
@elliottslaughter
elliottslaughter / hbb-no-libc++.txt
Created July 20, 2019 21:38
$ docker run -v `pwd`:/io terra/build-box:no-libcxx bash -c "cd /io && /hbb/bin/setuser builder ./hbb-builder.sh"
Holy build box activated
Prefix: /hbb_shlib
CFLAGS/CXXFLAGS: -g -O2 -fvisibility=hidden -I/hbb_shlib/include
LDFLAGS: -L/hbb_shlib/lib -static-libstdc++
STATICLIB_CFLAGS: -g -O2 -fvisibility=hidden -I/hbb_shlib/include -fPIC
SHLIB_CFLAGS: -g -O2 -fvisibility=hidden -I/hbb_shlib/include
SHLIB_LDFLAGS: -L/hbb_shlib/lib -static-libstdc++
+ mkdir -p /io/build