nishantjr

[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"

nishantjr

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)

nishantjr

[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 */

nishantjr

#!/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^)

nishantjr

                                                                  
                                                                                 
mode "curses" {                                                                  
    bindsym F3 mode "default"                                                    
    bindsym Escape mode "default"                                                
}                                                                                
                                                                                 
mode "default" {                                                                 
    bindsym F1 exec njr-browser                                                  
    bindsym F2 exec i3-sensible-terminal                                         

nishantjr

                                                                     
                                                                     
                                                                     
                                             
== 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.