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
[tool.poetry] | |
name = "poetry-test" | |
version = "0.1.0" | |
description = "" | |
authors = ["Nishant Rodrigues <nishantjr@gmail.com>"] | |
readme = "README.md" | |
[tool.poetry.dependencies] | |
python = "^3.11" |
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
Kore version 0.0.1.0 | |
Git: | |
revision: c2c9bca46d87a2e5237b40680cd667b5856ab3e2 | |
branch: HEAD | |
last commit: 2020 Apr 1 13:21:24 -0500 | |
Build date: 2020 Apr 02 00:31:47 +0530 | |
[1/60] run: execution t/kool/dynamic-dispatch-1.dfy | |
FAILED: .build/t/kool/dynamic-dispatch-1.dfy.execution-run | |
./kdafny run --definition "execution" "t/kool/dynamic-dispatch-1.dfy" > ".build/t/kool/dynamic-dispatch-1.dfy.execution-run" || (cat .build/t/kool/dynamic-dispatch-1.dfy.execution-run ; false) |
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
[1/60] run: execution t/kool/dynamic-dispatch-1.dfy | |
FAILED: .build/t/kool/dynamic-dispatch-1.dfy.execution-run | |
./kdafny run --definition "execution" "t/kool/dynamic-dispatch-1.dfy" > ".build/t/kool/dynamic-dispatch-1.dfy.execution-run" || (cat .build/t/kool/dynamic-dispatch-1.dfy.execution-run ; false) | |
kore-exec: [2020-04-01 23:06:57.513474233] Error (ErrorException): While applying axiom: | |
left: | |
/* Fn Sfc */ | |
Lbl'-LT-'generatedTop'-GT-'{}( | |
/* Fn Sfc */ | |
Lbl'-LT-'T'-GT-'{}( | |
/* Fn Sfc */ |
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
#!/usr/bin/env bash | |
# If no commits specified, we default to HEAD@{u}..HEAD. However if HEAD is uptodate, | |
# then `rev-parse` returns nothing. In that case we fallback to HEAD^..HEAD. | |
# XXX: This breaks if `some-other-brach@{u}..some-other-brach` is specified. | |
# adding a `--boundary` should have solved this issue, but there seems to be | |
# a bug in `git rev-parse` and `git rev-list`. | |
parsed_revs=($(git rev-parse --revs-only "$@" --default HEAD@{u}..HEAD)) | |
[ ${#parsed_revs[@]} = 0 ] && parsed_revs=(HEAD ^HEAD^) |
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
mode "curses" { | |
bindsym F3 mode "default" | |
bindsym Escape mode "default" | |
} | |
mode "default" { | |
bindsym F1 exec njr-browser | |
bindsym F2 exec i3-sensible-terminal |
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
== Cycling the YamaNoTe Line == | |
=============================== | |
- Take some pictures | |
- See a lot of tokyo | |
- Do/see something intereesting at that place. | |
- find interesting places that can be revisited. |