jasmin-lang/jasmin

Issues

• Cannot use #randombytes if there is no stack

  #870 opened 4 days ago by vbgl
  0

• Linearization gives `bad save-stack` when regalloc uses RAX to save the stack pointer

  #895 opened 8 days ago by sarranz
  0

• Invalid editorconfig

  #891 opened 8 days ago by vbgl
  0

• SCT: wrong handling of while loops

  #887 opened 9 days ago by vbgl
  1

• Invalid assembly when several globals have the same name

  #871 opened a month ago by vbgl
  0

• Initialisation at declaration site

  #743 opened 6 months ago by eponier
  6

• Internal asmgen error for invalid intrinsic argument

  #877 opened a month ago by sarranz
  1

• Confusing treatment of immediates

  #882 opened 16 days ago by sarranz
  0

• Assertion failed in `insert_copy_and_fix_length`

  #842 opened 18 days ago by sarranz
  1

• Issue a warning for empty for loop ranges

  #879 opened 25 days ago by sarranz
  1

• Fatal error in Stack Allocation

  #878 opened a month ago by sarranz
  1

• Large offset memory accesses in stackalloc

  #875 opened a month ago by sarranz
  0

• Late crash when using inline value as reg argument

  #866 opened 2 months ago by vbgl
  4

• Reduce Array code in easycrypt extraction

  #865 opened 2 months ago by cassiersg
  0

• Modularize leakage extraction

  #864 opened 2 months ago by cassiersg
  0

• CT extraction: incorrect with "downto" for loops

  #858 opened 2 months ago by cassiersg
  0

• Modular Jasmin (jexport ABI)

  #860 opened 2 months ago by cassiersg
  0

• SCT checker too coarse with stack arguments

  #852 opened 2 months ago by vbgl
  0

• Bad errors with 128/256-bit rotations

  #854 opened 2 months ago by vbgl
  0

• Spilling mutable reg ptr arguments is hard

  #850 opened 3 months ago by eponier
  1

• -pliveness can be too late

  #845 opened 3 months ago by eponier
  4

• Better error message in stack alloc for stack ptr

  #843 opened 3 months ago by sarranz
  0

• add something to exit while and for loop

  #839 opened 3 months ago by bgregoir
  0

• Remove unused return is not recursive

  #837 opened 3 months ago by eponier
  0

• large_stack is untested

  #823 opened 3 months ago by eponier
  1

• Assertion failure in register allocation

  #827 opened 3 months ago by vbgl
  1

• internal compilation error

  #828 opened 3 months ago by vbgl
  0

• RISC-V : Test every instructions in a same fashion as it was done for ARM

  #789 opened 4 months ago by clebreto
  1

• Prove the RISCV implementation of the compiler

  #783 opened 5 months ago by clebreto
  1

• Swapping arrays

  #815 opened 3 months ago by vbgl
  0

• x86: printing of 8-bit immediate values

  #803 opened 3 months ago by vbgl
  8

• Reject ARM intrinsics with an S when they don't support it

  #808 opened 4 months ago by sarranz
  0

• Confusing variable names in error messages of the (S)CT checkers

  #810 opened 4 months ago by vbgl
  0

• Lower `x & 0...01...1` as UBFX

  #806 opened 4 months ago by sarranz
  0

• Support zero and sign extension for ARMv7

  #798 opened 4 months ago by sarranz
  1

• Support instructions SXTB and SXTH

  #805 opened 4 months ago by sarranz
  0

• Readability of global data section in generated assembly

  #758 opened 6 months ago by mbbarbosa
  2

• Make bug_499.jazz compilable for RISC-V

  #755 opened 5 months ago by clebreto
  0

• Confusing error message with useless spill

  #778 opened 5 months ago by eponier
  2

• Debug info should have a location for return

  #777 opened 5 months ago by eponier
  0

• In-place operations with memory operands

  #764 opened 6 months ago by vbgl
  0

• compilation of a void function (compiler skeleton)

  #744 opened 6 months ago by clebreto
  0

• Register allocation chooses a general purpose register instead of MMX for underscore

  #762 opened 6 months ago by sarranz
  1

• rectypes?

  #760 opened 6 months ago by vbgl
  0

• Add two more RISC-V instructions

  #739 opened 6 months ago by eponier
  1

• Slicing keeps export functions that are called by kept functions

  #750 opened 6 months ago by vbgl
  0

• Declassify annotation lost after inlining.

  #746 opened 6 months ago by J08nY
  0

• Add VZEROALL and use it for zeroization

  #738 opened 7 months ago by sarranz
  0

• Non-inline call to export function should be a simple warning

  #729 opened 7 months ago by vbgl
  0

• Well-typed program rejected by the type-checker

  #727 opened 7 months ago by vbgl
  0