raaz-crypto/verse-coq

Issues

• Verse through opam

  #59 opened 2 years ago by piyush-kurur
  1

• Move completely to dune based build

  #155 opened 3 years ago by piyush-kurur
  0

• Warning fixes.

  #144 opened 3 years ago by piyush-kurur
  0

• Remove the use of omega tactic

  #134 opened 4 years ago by piyush-kurur
  0

• Explore if ott can help

  #36 opened 4 years ago by piyush-kurur
  1

• Local definitions

  #80 opened 4 years ago by dangabhi
  1

• 8 bit multiplication

  #43 opened 4 years ago by dangabhi
  4

• Add bounds checking for shift operations

  #58 opened 4 years ago by sooryan
  4

• Addition with carry

  #83 opened 4 years ago by piyush-kurur
  1

• Explore 'Program Definition'

  #54 opened 4 years ago by dangabhi
  1

• Supporting latest version of coq

  #57 opened 5 years ago by piyush-kurur
  2

• Separate C and Machine architectures

  #108 opened 5 years ago by piyush-kurur
  1

• Adjusting the definition of assignment and instructions.

  #35 opened 5 years ago by piyush-kurur
  3

• Move instruction not supported for C.

  #33 opened 5 years ago by piyush-kurur
  10

• Better data structure in the extracted Ocaml code

  #82 opened 5 years ago by piyush-kurur
  1

• Speeding up code generation

  #86 opened 5 years ago by piyush-kurur
  1

• Docs, headerfiles, and all that

  #71 opened 6 years ago by piyush-kurur
  0

• Inefficiency of Omega tactic in bounds checking

  #67 opened 6 years ago by sooryan
  1

• Add special instructions for incrementing and decrementing

  #55 opened 6 years ago by piyush-kurur
  2

• Support for x86_64 together with vector instructions.

  #97 opened 6 years ago by piyush-kurur
  0

• Writing the verse output into a file.

  #21 opened 6 years ago by piyush-kurur
  2

• Generate C function prototypes and FFI calls

  #23 opened 6 years ago by piyush-kurur
  2

• Stack Overflow when printing code

  #66 opened 6 years ago by sooryan
  1

• Generate Haskell FFI call headers for use in raaz library

  #76 opened 6 years ago by piyush-kurur
  2

• Port endian and rotation functions from raaz to verse

  #56 opened 6 years ago by piyush-kurur
  1

• Rename the `body` tactic to verse.

  #31 opened 7 years ago by piyush-kurur
  2

• Better management of names in verse modules.

  #32 opened 7 years ago by piyush-kurur
  0

• Alignment constraints on array arguments

  #39 opened 7 years ago by piyush-kurur
  3

• vector shuffles.

  #38 opened 7 years ago by piyush-kurur
  0

• New name for destroy and an additional instruction

  #40 opened 7 years ago by piyush-kurur
  7

• Move and copy instructions for endian safe stores.

  #19 opened 7 years ago by piyush-kurur
  4

• Index checking in arrays.

  #20 opened 7 years ago by piyush-kurur
  2

• Better instruction notation.

  #24 opened 7 years ago by piyush-kurur
  0

• Instruction notation issues with constants

  #27 opened 7 years ago by dangabhi
  4

• Rename block to instructions

  #28 opened 7 years ago by piyush-kurur
  5

• Improve the notation for register allocation

  #29 opened 7 years ago by piyush-kurur
  0