etscrivner

#include <SDL.h>

#include "language_layer.h"
#include "memory_arena.h"

#define STB_TRUETYPE_IMPLEMENTATION
#include "stb_truetype.h"

#define WINDOW_WIDTH 1920
#define WINDOW_HEIGHT 1080

etscrivner

#include <SDL.h>

#include <GL/glew.h>
#include <GL/gl.h>
#include <GL/glu.h>

#include <scaffold/types.h>
#include <scaffold/vec.h>
#include <scaffold/matrix.h>
#include <scaffold/gl.h>

etscrivner

#include <SDL.h>

#include <GL/glew.h>
#include <GL/gl.h>
#include <GL/glu.h>

#include <scaffold/types.h>
#include <scaffold/gl.h>
#include <scaffold/memory_arena.h>
#include <scaffold/matrix.h>

etscrivner

#include "bulk_list.h"

#include <stdio.h>
#include <stdlib.h>

bulk_list_t bulk_list_create(int32_t initial_capacity, bulk_list_item_id_t item_size)
{
  bulk_list_t result = { NULL, item_size, initial_capacity, 1, 0, 0, 1 };
  result.items = (uint8_t*)realloc(result.items, result.capacity * result.item_size);
  ((bulk_list_item_t*)&result.items[0])->next = 0;

etscrivner

#include <assert.h>
#include <stdio.h>
#include <string.h>
#include <stdint.h>

#include <SDL.h>

typedef uint32_t u32;
typedef int32_t i32;
typedef uint16_t u16;

etscrivner

.PHONY: run

CXXFLAGS=-Wall -g -fno-exceptions -fno-rtti $(shell pkg-config sdl2 --cflags)
LDFLAGS=-lm $(shell pkg-config sdl2 --libs)

game: game.cc
	$(CXX) $(CXXFLAGS) -o game game.cc $(LDFLAGS)

run: game
	./game

etscrivner

#!/usr/bin/env python3
# Copyright (c) 2019 The Bitcoin Core developers
# Distributed under the MIT software license, see the accompanying
# file COPYING or http://www.opensource.org/licenses/mit-license.php.
"""Test processing of two-transaction packages"""

from decimal import Decimal
from test_framework.messages import FromHex, CTransaction, msg_witness_tx
from test_framework.mininode import P2PInterface
from test_framework.test_framework import BitcoinTestFramework

etscrivner

set title 'Change Frequency By File'
set ylabel '# Changes'
set xlabel 'File'

plot 'output.txt' using 0:1

etscrivner

sig Defect {
	phase : one Phase,
	performance : one Performance,
	type : one DefectType,
}

sig DefectType {}

fact DefectsBelongToAPhaseOfTheSameProcessAsItsPerformance {
	all d : Defect | d.phase.process = d.performance.process

etscrivner

--------------------------- MODULE peterson_multi ---------------------------
EXTENDS TLC, Integers, Sequences
CONSTANT ThreadCount
Threads == 1..ThreadCount

AllOtherFlagsLessThan(item, flags) ==
    \A q \in Threads \ {item}: flags[q] < item

(*--algorithm peterson_multi
variables