Note I've started to transform my setup guide to Ansible playbooks at thpani/pi.
/etc/network/interfaces
thpani
/ ical.applescript
Created
May 3, 2011 08:57
This file contains hidden or 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
| ### CONFIGURATION ### | |
| global theTodoCalendar, theEventCalendar, eventPrefix | |
| set theTodoCalendar to "Uni To Do" | |
| set theEventCalendar to "Uni" | |
| set eventPrefix to "DUE: " | |
| ### PROGRAM, don't modify! ### | |
| to joinList(aList) |
thpani
/ hunspell.patch
Last active
December 24, 2015 15:59
This file contains hidden or 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
| --- src/tools/hunspell.cxx.old 2013-08-02 18:21:49.000000000 +0200 | |
| +++ src/tools/hunspell.cxx 2013-08-02 18:20:27.000000000 +0200 | |
| @@ -28,7 +28,7 @@ | |
| #ifdef WIN32 | |
| #define LIBDIR "C:\\Hunspell\\" | |
| -#define USEROOODIR "Application Data\\OpenOffice.org 2\\user\\wordbook" | |
| +#define USEROOODIR { "Application Data\\OpenOffice.org 2\\user\\wordbook" } | |
| #define OOODIR \ | |
| "C:\\Program files\\OpenOffice.org 2.4\\share\\dict\\ooo\\;" \ |
This file contains hidden or 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
| # clone minix v3.2.1 to bench/minix | |
| [[ -L bench/minix/include/machine ]] || ln -s arch/i386/include/ ./bench/minix/include/machine | |
| [[ -L bench/minix/sys/machine ]] || ln -s arch/i386/include/ ./bench/minix/sys/machine | |
| [[ -L bench/minix/sys/x86 ]] || ln -s arch/x86/include/ ./bench/minix/sys/x86 | |
| for f in $(find bench/minix/kernel/ -not -path 'bench/minix/kernel/arch/earm/*' -name '*.c') ; do bin/sloopy -allow-infinite-loops $f -- \ | |
| -Ibench/minix/ \ | |
| -Ibench/minix/include/ \ | |
| -Ibench/minix/kernel/ \ |
thpani
/ # z3 - 2017-11-07_09-37-23.txt
Created
November 7, 2017 08:39
z3 on macOS 10.11.6 - Homebrew build logs
This file contains hidden or 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
| Homebrew build logs for z3 on macOS 10.11.6 | |
| Build date: 2017-11-07 09:37:23 |
This file contains hidden or 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
| PREFIX=/usr/local/opt/python@3.9/Frameworks/Python.framework/Versions/3.9 | |
| CC=gcc | |
| CXX=g++ | |
| CXXFLAGS= -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -std=c++17 -fvisibility=hidden -fvisibility-inlines-hidden -c -O3 -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fPIC -arch arm64 | |
| CFLAGS= -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -fvisibility=hidden -fvisibility-inlines-hidden -c -mfpmath=sse -msse -msse2 -O3 -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fPIC | |
| EXAMP_DEBUG_FLAG= | |
| CXX_OUT_FLAG=-o | |
| C_OUT_FLAG=-o | |
| OBJ_EXT=.o | |
| LIB_EXT=.a |
thpani
/ profile.csv
Created
March 30, 2022 13:12
This file contains hidden or 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
| # weight | nCells | nConsts | nSmtExprs | location | |
|---|---|---|---|---|---|
| 1363 | 786 | 476 | 10391 | staking_apa.tla:473:5-490:55 | |
| 1353 | 780 | 472 | 10351 | staking_apa.tla:487:8-490:55 | |
| 1339 | 772 | 466 | 10267 | staking_apa.tla:487:8-490:55 | |
| 1324 | 764 | 460 | 10183 | staking_apa.tla:487:8-490:55 | |
| 1321 | 762 | 459 | 10183 | staking_apa.tla:487:8-490:55 | |
| 1305 | 751 | 454 | 10117 | staking_apa.tla:487:8-490:55 | |
| 1182 | 677 | 411 | 8843 | staking_apa.tla:487:8-490:55 | |
| 1009 | 573 | 352 | 7105 | staking_apa.tla:487:8-490:55 | |
| 798 | 451 | 277 | 4909 | staking_apa.tla:487:8-490:55 |
thpani
/ Verifier.tla
Last active
April 25, 2022 08:58
This file contains hidden or 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
| ------ MODULE Verifier -------- | |
| EXTENDS Apalache, Integers | |
| VARIABLES | |
| \* @type: <<[oAPt: Set(Bool)], [zt48: Set(Bool)]>>; | |
| result, | |
| \* @type: Bool; | |
| found |
thpani
/ Oracle.tla
Created
April 27, 2022 10:14
This file contains hidden or 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
| ------ MODULE Oracle -------- | |
| VARIABLES | |
| \* @type: Set((Bool -> Int)); | |
| witness, | |
| \* @type: Bool; | |
| found | |
| Init == | |
| /\ witness \in {[BOOLEAN -> {222521218, 0}], [{TRUE} -> {2147483647}]} | |
| /\ found \in BOOLEAN |
This file contains hidden or 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
| --------------------------- MODULE River --------------------------- | |
| EXTENDS Integers, Sequences, FiniteSets, TLC, Apalache | |
| VARIABLE | |
| (* | |
| @type: Set(Str); | |
| *) | |
| origin |
OlderNewer