cr1901

PROJECT=quiz_4

check: $(PROJECT).smt2
        yosys-smtbmc -s z3 -t 25 --presat --dump-smt2 $(PROJECT)_bmc.smt2 --dump-vcd $(PROJECT)_bmc.vcd $(PROJECT).smt2
        yosys-smtbmc -s z3 -i -t 25 --presat --dump-smt2 $(PROJECT)_tmp.smt2 --dump-vcd $(PROJECT)_tmp.vcd $(PROJECT).smt2

$(PROJECT).smt2: $(PROJECT).v
        yosys -s formal.ys

clean::

cr1901

#!/bin/sh -e

DEFAULT_ROOT=Net-dbg-`date +%Y-%m-%d-%H-%M-%S`
export CVSROOT="anoncvs@anoncvs.NetBSD.org:/cvsroot"


if [ -z ${SRCROOT+x} ]; then
    mkdir $DEFAULT_ROOT
    cd $DEFAULT_ROOT
    cvs -q checkout -A -P src

cr1901

CFLAGS=
CPPFLAGS=
LDFLAGS=
LIBS=
LIBPATH=
RM=rm
RMFLAGS=-f
INSTALL=install

cr1901

In archive C:/msys64/mingw32/i686-w64-mingw32/lib/libpthread.dll.a:

d000136.o:     file format pe-i386
rw-r--r-- 0/0    271 May 18 07:50 2018 d000136.o
architecture: i386, flags 0x00000038:
HAS_DEBUG, HAS_SYMS, HAS_LOCALS
start address 0x00000000

Characteristics 0x105
	relocations stripped

cr1901

In archive lib/x86/pthreadVC2.lib:

pthreadVC2.dll:     file format pe-i386
--------- 0/0    731 Dec 21 20:07 2006 pthreadVC2.dll
architecture: i386, flags 0x0000003d:
HAS_RELOC, HAS_LINENO, HAS_DEBUG, HAS_SYMS, HAS_LOCALS
start address 0x00000000

Characteristics 0x100
	32 bit words

cr1901

#! /bin/bash

set -x
set -e

function git_commit {
	git commit -a -m"litex import: $1"
}

mkdir -p repos

cr1901

N0=t(n0, n6, n17)
N1=t(n1, n0, n2)
N2=t(n2, n4, n5)
N3=t(n2, n11, n31)
N4=t(n3, n9, n32)
N5=t(n3, n9, n10)
N6=t(n51, n7, n23)
N7=t(n33, n18, n15)
N8=t(n34, n19, n15)
N9=t(n35, n20, n15)

cr1901

#include <msp430g2231.h>

//const char * lcd_string = "Hello World!";
#define DB7 BIT7
#define DB6 BIT6
#define DB5 BIT5
#define DB4 BIT4
#define ADDR(_x) _x << 4
#define RS BIT0
#define EN BIT1

cr1901

; ModuleID = 'at2xt0-872cc07d68305d39bbff84ac3dfd15da.rs'
source_filename = "at2xt0-872cc07d68305d39bbff84ac3dfd15da.rs"
target datalayout = "e-m:e-p:16:16-i32:16-i64:16-f32:16-f64:16-a:8-n8:16-S16"
target triple = "msp430-none--elf"

@_ZN5at2xt6keyfsm6keymap11KEYCODE_LUT17hf5fa35200b3b8ae2E = internal unnamed_addr constant [132 x i8] c"\00C\00?=;<X\00DB@>\0F)\00\008*\00\1D\10\02\00\00\00,\1F\1E\11\03\00\00.- \12\05\04\00\009/!\14\13\06\00\0010#\22\15\07\00\00\002$\16\08\09\00\003%\17\18\0B\0A\00\0045&'\19\0C\00\00\00(\00\1A\0D\00\00:6\1C\1B\00+\00\00\00\00\00\00\00\00\0E\00\00O\00KG\00\00\00RSPLMH\01EWNQJ7IF\00\00\00\00A", align 1
@_ZN5at2xt7TIMEOUT17hba6367fa895c65ebE = internal global i8 0, align 1
@_ZN5at2xt9HOST_MODE17he40a9ca556e9d16aE = internal global i8 0, align 1
@_ZN5at2xt10DEVICE_ACK17hab6a8e2159c05eb1E = internal global i8 0, align 1
@_ZN5at2xt9IN_BUFFER17hec6921f8a5936870E = internal unnamed_addr global { [0 x i8], { [0 x i8], { [0 x i8], [16 x i16], [0 x i8], i8, [0 x i8], i8, [0 x i8] }, [0 x 

cr1901

; ModuleID = 'at2xt0-77d68ea1ad8be81bc97a6e8a934656bf.rs'
source_filename = "at2xt0-77d68ea1ad8be81bc97a6e8a934656bf.rs"
target datalayout = "e-m:e-p:16:16-i32:16-i64:16-f32:16-f64:16-a:8-n8:16-S16"
target triple = "msp430-none--elf"

@_ZN5at2xt6keyfsm6keymap11KEYCODE_LUT17h83274ebdf4727c78E = internal unnamed_addr constant [132 x i8] c"\00C\00?=;<X\00DB@>\0F)\00\008*\00\1D\10\02\00\00\00,\1F\1E\11\03\00\00.- \12\05\04\00\009/!\14\13\06\00\0010#\22\15\07\00\00\002$\16\08\09\00\003%\17\18\0B\0A\00\0045&'\19\0C\00\00\00(\00\1A\0D\00\00:6\1C\1B\00+\00\00\00\00\00\00\00\00\0E\00\00O\00KG\00\00\00RSPLMH\01EWNQJ7IF\00\00\00\00A", align 1
@_ZN5at2xt9HOST_MODE17h91cc6a6dea55319fE = internal global i8 0, align 1
@_ZN5at2xt10DEVICE_ACK17hf51f838bcce74d5dE = internal global i8 0, align 1
@str.0 = internal constant [43 x i8] c"called `Option::unwrap()` on a `None` value"
@str.1 = internal constant [108 x i8] c"C:\5CUsers\5CWilliam\5C.rustup\5Ctoolchains\5Cnightly-x86_64-pc-windows-gnu\5Clib\5Crustlib\5Csrc\5Crust\5Csrc\5