jamesbornholt

Keybase proof

I hereby claim:

• I am jamesbornholt on github.
• I am jamesb (https://keybase.io/jamesb) on keybase.
• I have a public key ASDFV2kmWu9Ecwn8npIVxhipX2Ol8Seu38RsF9BamAK6Iwo

To claim this, I am signing this object:

jamesbornholt

#lang rosette/safe


(require rosette/lib/angelic    ; provides `choose*`
         rosette/lib/destruct)  ; provides `destruct`
; Tell Rosette we really do want to use integers.
(current-bitwidth #f)

jamesbornholt

#lang racket

(struct bitvector (size)
  #:methods gen:custom-write
  [(define (write-proc self port m)
     (/ 1 0)
     #;(fprintf port "(bitvector ~v)" (bitvector-size self)))])

(bitvector-size #f)

jamesbornholt

Keybase proof

I hereby claim:

• I am jamesbornholt on github.
• I am jamesb (https://keybase.io/jamesb) on keybase.
• I have a public key whose fingerprint is 7288 7995 63F2 AA4E BEEC 1809 854A E1A4 0F7E F3BA

To claim this, I am signing this object:

jamesbornholt

#lang rosette/safe


(require rosette/lib/angelic    ; provides `choose*`
         rosette/lib/destruct)  ; provides `destruct`
; Tell Rosette we really do want to use integers.
(current-bitwidth #f)