Iavor S. Diatchki yav

  • Joined on

Organizations

@GaloisInc
yav created branch master at yav/wp
yav created repository yav/wp
yav opened pull request elliottt/llvm-pretty#1
@yav
Comments.
1 commit with 207 additions and 7 deletions
yav pushed to master at yav/llvm-pretty
@yav
yav pushed to master at yav/llvm-pretty
@yav
yav commented on issue GaloisInc/cryptol#270
@yav

There's no major overhaul of the type-checker, this is just a bug.

yav pushed to master at yav/allegro
@yav
  • @yav 180c047
    Don't use foreign pointers.
yav pushed to master at yav/allegro
@yav
yav pushed to master at yav/allegro
@yav
  • @yav 2a925f9
    Some audio support. Not working properly yet.
@yav
@yav
@yav
yav closed issue GaloisInc/cryptol#267
@yav
Adding a type constraint to a signature causes type checking to fail
yav commented on issue GaloisInc/cryptol#267
@yav

Should be fixed now.

@yav
yav closed issue GaloisInc/cryptol#207
@yav
Allow ranges to use non-literals: `[0..~zero]`
yav closed issue GaloisInc/cryptol#261
@yav
Signature expressions can't be polymorphic
yav commented on issue GaloisInc/cryptol#261
@yav

This is by design, the types in expression signatures are just mono types. If you want to give a schema signature to an expression you have to name…

yav pushed to master at yav/MageKnight
@yav
yav pushed to master at yav/MageKnight
@yav
yav commented on issue GaloisInc/cryptol#265
@yav

The current set of instances are like this: instance (fin n) => Arith ([n]Bit) where ... instance (fin n, Arith e, a /= Bit) => Arith ([n]e) where…

yav commented on issue GaloisInc/cryptol#265
@yav

The behavior of Arith on sequences depends on the type of the elements of the sequence. For example, if the elements are of type Bit then (+) works…

yav pushed to master at yav/MageKnight
@yav
yav pushed to master at yav/MageKnight
@yav
@yav
yav pushed to master at yav/MageKnight
@yav
yav pushed to master at yav/MageKnight
@yav
yav pushed to master at yav/MageKnight
@yav
  • @yav 4eaded3
    Use text instea dof icons
yav pushed to master at yav/MageKnight
yav pushed to master at yav/MageKnight
@yav