profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/pnwamk/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.
Andrew Kent pnwamk @GaloisInc Portland, OR http://pnwamk.github.io Research Software Engineer

GaloisInc/reopt 223

A tool for analyzing x86-64 binaries.

mvitousek/reticulated 83

Types for Python

pnwamk/datatype 33

(Somewhat) Algebraic Data Types for Racket

GaloisInc/lean4-balance-car 22

Lean4 port of Arduino balance car controller

GaloisInc/reopt-vcg 10

A translation verifier for Reopt (https://github.com/GaloisInc/reopt)

pnwamk/advent 1

Advent of Code related things

pnwamk/define-with-spec 1

Macro for adding simple specifications to function definitions.

pnwamk/dset 1

Deterministic sets

pnwamk/expr-HoTT 1

some Homotopy Type Theory tidbits

push eventGaloisInc/reopt

Andrew Kent

commit sha 5896a8651876ef9c801c89474a1636c2f87fdfe8

bump try-reopt subdir

view details

push time in 2 hours

push eventGaloisInc/reopt

Andrew Kent

commit sha 791e491c34cd3922932dd3372ec262f53aa6a120

fix: tweak CentOS7 benchmark binaries and script

view details

push time in 2 hours

push eventGaloisInc/reopt

Andrew Kent

commit sha 4aff664235f077ab9edbdcefcc2e4099e6fa381e

feat: reopt eval container with examples from try-reopt

view details

push time in 17 hours

push eventGaloisInc/reopt

Andrew Kent

commit sha d036ce1029a2b6b48a64db8d0a77ef62dcdef1e3

feat: reopt eval container with examples from try-reopt

view details

push time in 18 hours

push eventGaloisInc/reopt

Andrew Kent

commit sha acd2f6dade4841399a304ef9a28955d7f702ce3d

feat: reopt eval container with examples from try-reopt

view details

push time in 18 hours

push eventGaloisInc/reopt

Andrew Kent

commit sha 9d7e1f379c11c53a25d28a9b1238ef1b1d1b9216

feat: reopt eval container with examples from try-reopt

view details

push time in 18 hours

push eventGaloisInc/reopt

Andrew Kent

commit sha 251dc6c3f16df7330d9e51ad9681302901c39d88

feat: CentOS7 benchmark binaries and script

view details

push time in 18 hours

create barnchGaloisInc/reopt

branch : eval-with-examples

created branch time in 19 hours

created tagGaloisInc/reopt-vcg

tagrelease-2021-09-20

A translation verifier for Reopt (https://github.com/GaloisInc/reopt)

created time in 21 hours

release GaloisInc/reopt-vcg

release-2021-09-20

released time in 21 hours

created tagGaloisInc/reopt

tagrelease-2021-09-20

A tool for analyzing x86-64 binaries.

created time in 21 hours

release GaloisInc/reopt

release-2021-09-20

released time in 21 hours

delete branch GaloisInc/reopt

delete branch : bump-reopt-vcg

delete time in 21 hours

push eventGaloisInc/reopt

Andrew Kent

commit sha 23d6e283c8d0ac6437345204e9c3ab2ac8a3a3b7

chore: bump reopt-vcg submodule

view details

Andrew Kent

commit sha 9256ea910d280e5ba039c029293083356aedcb2a

Merge pull request #112 from GaloisInc/bump-reopt-vcg chore: bump reopt-vcg submodule

view details

push time in 21 hours

PR merged GaloisInc/reopt

chore: bump reopt-vcg submodule
+1 -1

0 comment

1 changed file

pnwamk

pr closed time in 21 hours

PR opened GaloisInc/reopt

chore: bump reopt-vcg submodule
+1 -1

0 comment

1 changed file

pr created time in a day

create barnchGaloisInc/reopt

branch : bump-reopt-vcg

created branch time in a day

create barnchGaloisInc/reopt

branch : vr/update-try-reopt

created branch time in a day

delete branch GaloisInc/reopt

delete branch : vr/update-try-reopt

delete time in a day

push eventGaloisInc/reopt

Valentin Robert

commit sha f43cb14f505cc1cf1b354f258b40a714726d6784

vscode: point try-reopt to the VSIX in the main branch

view details

Andrew Kent

commit sha 099828509bb309ede67217905c154e5f3e21fef9

Merge pull request #111 from GaloisInc/vr/update-try-reopt vscode: point try-reopt to the VSIX in the main branch

view details

push time in a day

PullRequestReviewEvent

pull request commentGaloisInc/cryptol

[RPC] Synchronous, typed interface for Python client

LGTM

On Wed, Sep 15, 2021 at 13:54 Matthew Yacavone ***@***.***> wrote:

LGTM modulo adding just a tiny more to the docstrings of those SMT-related queries IMO.

Good catch, adding docs for this is important. What do you think of my latest commit?

— You are receiving this because you were mentioned.

Reply to this email directly, view it on GitHub https://github.com/GaloisInc/cryptol/pull/1272#issuecomment-920368679, or unsubscribe https://github.com/notifications/unsubscribe-auth/AA36B2RUUB52B7U5ZTYD4YDUCEB2BANCNFSM5C6GPHJQ . Triage notifications on the go with GitHub Mobile for iOS https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675 or Android https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub.

-- Andrew M. Kent, PhD Research Engineer Galois, Inc.

m-yac

comment created time in 6 days

delete branch GaloisInc/reopt

delete branch : fix-upload

delete time in 6 days

push eventGaloisInc/reopt

Andrew Kent

commit sha eaf8626a3327fb2d4188fbeb9c160e729281f84e

fix ci push to docker

view details

Andrew Kent

commit sha 74cb511fc1edd135b8aa22f12f5c615b1ed475f5

Merge pull request #108 from GaloisInc/fix-upload fix ci push to docker

view details

push time in 6 days

PR merged GaloisInc/reopt

fix ci push to docker
+1 -1

0 comment

1 changed file

pnwamk

pr closed time in 6 days

pull request commentGaloisInc/cryptol

feat: timeout for cryptol python client methods

Also, if using the single implicit connection interface (https://github.com/GaloisInc/cryptol/pull/1285), it would be very natural to add an interrupt handler to send an interrupt notification to the server upon receiving a SIGINT interrupt from the user (i.e., ctl+c).

pnwamk

comment created time in 6 days

pull request commentGaloisInc/cryptol

feat: timeout for cryptol python client methods

This PR should probably be rebased one https://github.com/GaloisInc/cryptol/pull/1272 is merged and the timeouts can be added to that cleaner interface as well.

pnwamk

comment created time in 6 days

PullRequestReviewEvent