CPU実験2015進捗報告会のログです。
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
PANDOC = pandoc | |
IMPORT_JS = $(HOME)/.pandoc/pandoc_import_code_filter/import.js | |
MD = example | |
TOC = | |
# 入力はGitHub Markdown + タイトルブロック | |
# http://sky-y.github.io/site-pandoc-jp/users-guide/#title-block | |
FLAGS = -f markdown_github+pandoc_title_block | |
# standalone: 適切なヘッダ・フッタをつける(実は出力がpdfなら勝手にこのモードになる) |
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
*~ | |
*.beam | |
*.dump |
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
z3$ python scripts/mk_make.py | |
New component: 'util' | |
New component: 'polynomial' | |
New component: 'sat' | |
New component: 'nlsat' | |
New component: 'hilbert' | |
New component: 'simplex' | |
New component: 'automata' | |
New component: 'interval' | |
New component: 'realclosure' |
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
src$ date | |
Wed May 4 10:36:38 JST 2016 | |
src$ liquid 03-basic.lhs | |
LiquidHaskell Copyright 2009-15 Regents of the University of California. All Rights Reserved. | |
**** DONE: Parsed All Specifications ****************************************** | |
**** DONE: Loaded Targets ***************************************************** |
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 | |
if [[ -n "$1" ]]; then | |
filename=$1 | |
else | |
filename="test.in" | |
fi | |
if [[ ! -e ${filename} ]]; then | |
echo "File ${filename} not found." |
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
(* このプログラムの本質的なアイディアは、塚田武志先生にご教示頂きました *) | |
let succ n s z = s (n s z) | |
let pred n s z = | |
let r = ref true in | |
let s' m = | |
if !r then (r := false; m) | |
else s m | |
in n s' z |
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
dotnet$ xbuild Microsoft.Z3.csproj | |
XBuild Engine Version 12.0 | |
Mono, Version 4.2.1.0 | |
Copyright (C) 2005-2013 Various Mono authors | |
Build started 2016/12/13 11:30:40. | |
__________________________________________________ | |
Project "/home/nek/bitbucket/spacer/code/src/api/dotnet/Microsoft.Z3.csproj" (default target(s)): | |
Target PrepareForBuild: | |
Configuration: Debug Platform: AnyCPU |
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 | |
CHAP= | |
ALLFLAG=0 | |
while getopts ac: OPT | |
do | |
case $OPT in | |
a) ALLFLAG=1;; | |
c) CHAP=$OPTARG;; |
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
[2017-01-25 16:18:30,686 INFO L116 UltimateCore]: Initializing application | |
[2017-01-25 16:18:30,687 INFO L121 UltimateCore]: -------------------------------------------------------------------------------- | |
[2017-01-25 16:18:30,690 INFO L91 PluginFactory]: -------------------------------------------------------------------------------- | |
[2017-01-25 16:18:30,690 INFO L92 PluginFactory]: Detecting plugins... | |
[2017-01-25 16:18:30,691 INFO L339 PluginFactory]: 1 IController plugins available | |
[2017-01-25 16:18:30,691 INFO L339 PluginFactory]: 5 ISource plugins available | |
[2017-01-25 16:18:30,692 INFO L339 PluginFactory]: 2 IOutput plugins available | |
[2017-01-25 16:18:30,692 INFO L339 PluginFactory]: 12 IGenerator plugins available | |
[2017-01-25 16:18:30,692 INFO L339 PluginFactory]: 6 IAnalysis plugins available | |
[2017-01-25 16:18:30,695 INFO L292 PluginFactory]: Loaded controller Ultimate Commandline Interface |
OlderNewer