Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / jasmin-lang/jasmin issues and pull requests
#959 - Patch for issue 943
Pull Request -
State: closed - Opened by MrDaiki 3 months ago
- 4 comments
Labels: bug
#959 - Patch for issue 943
Pull Request -
State: closed - Opened by MrDaiki 3 months ago
- 4 comments
Labels: bug
#958 - ARM: change semantics of long multiplication instructions
Pull Request -
State: closed - Opened by bgregoir 4 months ago
- 7 comments
Labels: arm, semantics
#958 - ARM: change semantics of long multiplication instructions
Pull Request -
State: closed - Opened by bgregoir 4 months ago
- 7 comments
Labels: arm, semantics
#957 - eclib: new notation |>>> for arithmetic right shift
Pull Request -
State: closed - Opened by vbgl 4 months ago
Labels: EasyCrypt
#957 - eclib: new notation |>>> for arithmetic right shift
Pull Request -
State: closed - Opened by vbgl 4 months ago
Labels: EasyCrypt
#956 - gimli proofs: use jasmin2ec
Pull Request -
State: closed - Opened by vbgl 4 months ago
#956 - gimli proofs: use jasmin2ec
Pull Request -
State: closed - Opened by vbgl 4 months ago
#955 - x86: improve description of AVX shift instructions
Pull Request -
State: closed - Opened by vbgl 4 months ago
- 2 comments
Labels: bug, semantics
#955 - x86: improve description of AVX shift instructions
Pull Request -
State: closed - Opened by vbgl 4 months ago
- 2 comments
Labels: bug, semantics
#954 - Improve code generation for RISC-V
Issue -
State: open - Opened by eponier 4 months ago
- 1 comment
#954 - Improve code generation for RISC-V
Issue -
State: open - Opened by eponier 4 months ago
- 1 comment
Labels: risc-v
#953 - Fix handling of the arch parameter in jasmin2ec
Pull Request -
State: closed - Opened by cassiersg 4 months ago
#953 - Fix handling of the arch parameter in jasmin2ec
Pull Request -
State: closed - Opened by cassiersg 4 months ago
#952 - Array extraction: implement operations in eclib instead of generating anonymous functions
Pull Request -
State: closed - Opened by cassiersg 4 months ago
- 2 comments
#952 - Array extraction: implement operations in eclib instead of generating anonymous functions
Pull Request -
State: closed - Opened by cassiersg 4 months ago
- 2 comments
#951 - asm-gen: improve “invalid scale” message
Pull Request -
State: closed - Opened by vbgl 4 months ago
- 1 comment
#951 - asm-gen: improve “invalid scale” message
Pull Request -
State: closed - Opened by vbgl 4 months ago
- 1 comment
#950 - Missing error for invalid vector right shift
Issue -
State: closed - Opened by kraemv 4 months ago
- 2 comments
Labels: bug
#950 - Missing error for invalid vector right shift
Issue -
State: closed - Opened by kraemv 4 months ago
- 2 comments
Labels: bug
#949 - Print scale in "invalid scale" error
Issue -
State: closed - Opened by sarranz 4 months ago
- 1 comment
Labels: feature request
#949 - Print scale in "invalid scale" error
Issue -
State: closed - Opened by sarranz 4 months ago
- 1 comment
Labels: feature request
#948 - x86: disallow BT with memory operands
Pull Request -
State: closed - Opened by vbgl 4 months ago
- 2 comments
Labels: bug
#948 - x86: disallow BT with memory operands
Pull Request -
State: closed - Opened by vbgl 4 months ago
- 2 comments
Labels: bug
#947 - Cryptoline curve25519 examples
Pull Request -
State: closed - Opened by JoaoDiogoDuarte 4 months ago
#947 - Cryptoline curve25519 examples
Pull Request -
State: open - Opened by JoaoDiogoDuarte 4 months ago
#946 - Modified toCL to be able to run reduce4 mulx example and added the reduce4 mulx example
Pull Request -
State: open - Opened by JoaoDiogoDuarte 4 months ago
#946 - Modified toCL to be able to run reduce4 mulx example and added the reduce4 mulx example
Pull Request -
State: closed - Opened by JoaoDiogoDuarte 4 months ago
- 2 comments
#945 - Modified toCL to be able to run mula24 ref example and added the mula24 ref example
Pull Request -
State: closed - Opened by JoaoDiogoDuarte 4 months ago
#945 - Modified toCL to be able to run mula24 ref example and added the mula24 ref example
Pull Request -
State: open - Opened by JoaoDiogoDuarte 4 months ago
#944 - Modified toCL to be able to run add4 ref example and added the add4 ref example
Pull Request -
State: open - Opened by JoaoDiogoDuarte 4 months ago
- 2 comments
#944 - Modified toCL to be able to run add4 ref example and added the add4 ref example
Pull Request -
State: closed - Opened by JoaoDiogoDuarte 4 months ago
- 2 comments
#943 - Multiline strings break line numbers
Issue -
State: closed - Opened by sarranz 4 months ago
- 1 comment
Labels: bug
#943 - Multiline strings break line numbers
Issue -
State: closed - Opened by sarranz 4 months ago
- 1 comment
Labels: bug
#942 - Add x86 TZCNT instruction
Pull Request -
State: closed - Opened by vbgl 4 months ago
#942 - Add x86 TZCNT instruction
Pull Request -
State: closed - Opened by vbgl 4 months ago
#941 - Add x86 PREFETCHh instructions
Pull Request -
State: closed - Opened by vbgl 4 months ago
- 3 comments
#941 - Add x86 PREFETCHh instructions
Pull Request -
State: closed - Opened by vbgl 4 months ago
- 3 comments
#940 - Renaming: report errors due to liveness conflicts
Pull Request -
State: closed - Opened by vbgl 4 months ago
- 1 comment
Labels: enhancement
#940 - Renaming: report errors due to liveness conflicts
Pull Request -
State: closed - Opened by vbgl 4 months ago
- 1 comment
Labels: enhancement
#939 - Risc-v: proper management of the return address
Pull Request -
State: closed - Opened by eponier 4 months ago
- 5 comments
#939 - Risc-v: proper management of the return address
Pull Request -
State: closed - Opened by eponier 4 months ago
- 5 comments
#938 - moving type alias feature in changelog (probably moved during a merge)
Pull Request -
State: closed - Opened by MrDaiki 4 months ago
#938 - moving type alias feature in changelog (probably moved during a merge)
Pull Request -
State: closed - Opened by MrDaiki 4 months ago
#937 - Do not use RAX to save the stack pointer on x86
Pull Request -
State: closed - Opened by vbgl 4 months ago
Labels: bug
#937 - Do not use RAX to save the stack pointer on x86
Pull Request -
State: closed - Opened by vbgl 4 months ago
Labels: bug
#936 - ARM: add instruction SBC
Pull Request -
State: closed - Opened by vbgl 4 months ago
Labels: arm
#936 - ARM: add instruction SBC
Pull Request -
State: closed - Opened by vbgl 4 months ago
Labels: arm
#935 - protect prevents unspill
Issue -
State: open - Opened by Rixxc 4 months ago
- 1 comment
#935 - protect prevents unspill
Issue -
State: open - Opened by Rixxc 4 months ago
- 1 comment
#934 - Risc v constants if while
Pull Request -
State: closed - Opened by bgregoir 4 months ago
- 5 comments
#934 - Risc v constants if while
Pull Request -
State: closed - Opened by bgregoir 4 months ago
- 5 comments
#933 - remove warning
Pull Request -
State: closed - Opened by eponier 4 months ago
- 1 comment
#933 - remove warning
Pull Request -
State: closed - Opened by eponier 4 months ago
- 1 comment
#932 - Add x86 instructions BTR/BTS
Pull Request -
State: closed - Opened by vbgl 4 months ago
#932 - Add x86 instructions BTR/BTS
Pull Request -
State: closed - Opened by vbgl 4 months ago
#931 - Wrong semantics of x86 instruction BT when operand is in memory
Issue -
State: closed - Opened by vbgl 4 months ago
Labels: bug, semantics
#931 - Wrong semantics of x86 instruction BT when operand is in memory
Issue -
State: closed - Opened by vbgl 4 months ago
Labels: bug, semantics
#930 - asmgen: (compile_arg) not compatible asm_arg
Issue -
State: open - Opened by y4cer 4 months ago
- 1 comment
Labels: bug, lowering
#930 - asmgen: (compile_arg) not compatible asm_arg
Issue -
State: open - Opened by y4cer 4 months ago
- 1 comment
Labels: bug, lowering
#929 - Subarrays for stkptr
Issue -
State: open - Opened by eponier 4 months ago
- 1 comment
#929 - Subarrays for stkptr
Issue -
State: open - Opened by eponier 4 months ago
- 1 comment
#928 - Feature Request BTR/BTS
Issue -
State: closed - Opened by kraemv 4 months ago
- 4 comments
Labels: feature request
#928 - Feature Request BTR/BTS
Issue -
State: closed - Opened by kraemv 4 months ago
- 4 comments
Labels: feature request
#927 - DOIT: update is_doit_asm_op in x86_arch_full.ml: IMUL* to true.
Pull Request -
State: closed - Opened by tfaoliveira 4 months ago
Labels: bug, constant-time
#927 - DOIT: update is_doit_asm_op in x86_arch_full.ml: IMUL* to true.
Pull Request -
State: closed - Opened by tfaoliveira 4 months ago
Labels: bug, constant-time
#926 - CI/coq-master: use elpi 1.20.0
Pull Request -
State: closed - Opened by vbgl 5 months ago
- 2 comments
Labels: CI
#925 - Improve arch decl
Pull Request -
State: closed - Opened by bgregoir 5 months ago
- 1 comment
#924 - Draft: Added required code to prove missing formosa-x25519 procedures
Pull Request -
State: closed - Opened by JoaoDiogoDuarte 5 months ago
#923 - With option returnaddress=stack, the compiler can use LR/ra as a result register
Issue -
State: open - Opened by eponier 5 months ago
- 13 comments
#922 - Update CHANGELOG after release 2024.07.1
Pull Request -
State: closed - Opened by vbgl 5 months ago
#922 - Update CHANGELOG after release 2024.07.1
Pull Request -
State: closed - Opened by vbgl 5 months ago
#921 - Support far global variable accesses in ARM
Pull Request -
State: closed - Opened by sarranz 5 months ago
- 6 comments
#920 - Adding ocaml-lsp and ocaml-format to nix dependancies for better devellopement experience
Pull Request -
State: closed - Opened by MrDaiki 5 months ago
#920 - Adding ocaml-lsp and ocaml-format to nix dependancies for better devellopement experience
Pull Request -
State: open - Opened by MrDaiki 5 months ago
#919 - Parameters are not substituted in annotations
Issue -
State: open - Opened by vbgl 5 months ago
- 2 comments
#919 - Parameters are not substituted in annotations
Issue -
State: open - Opened by vbgl 5 months ago
- 2 comments
#918 - eclib: add to_uintK_small, to_sintK_small, to_sintD_small, and to_sintB_small
Pull Request -
State: closed - Opened by vbgl 5 months ago
Labels: EasyCrypt
#918 - eclib: add to_uintK_small, to_sintK_small, to_sintD_small, and to_sintB_small
Pull Request -
State: closed - Opened by vbgl 5 months ago
Labels: EasyCrypt
#917 - Allow protecting in MMX
Pull Request -
State: closed - Opened by sarranz 5 months ago
- 1 comment
#917 - Allow protecting in MMX
Pull Request -
State: closed - Opened by sarranz 5 months ago
- 1 comment
#916 - Various improvements to the LATEX pretty-printer
Pull Request -
State: closed - Opened by vbgl 5 months ago
#915 - CI: fix coq-master by using development version of HB
Pull Request -
State: closed - Opened by vbgl 5 months ago
Labels: CI, nix
#914 - Move easycrypt extraction to a separate executable
Pull Request -
State: closed - Opened by cassiersg 5 months ago
- 6 comments
#913 - Solve TODO for conditional expressions in the SCT checker
Pull Request -
State: closed - Opened by ParJavadian 5 months ago
- 1 comment
#912 - Cleanup tests
Pull Request -
State: closed - Opened by cassiersg 5 months ago
- 6 comments
#911 - Adding support for type definition
Pull Request -
State: closed - Opened by MrDaiki 5 months ago
- 7 comments
Labels: feature request
#910 - Target EasyCrypt release 2024.09
Pull Request -
State: closed - Opened by vbgl 5 months ago
- 1 comment
Labels: EasyCrypt
#909 - Solve TODO for conditional expressions in the SCT checker
Issue -
State: closed - Opened by sarranz 5 months ago
Labels: enhancement, SCT checker
#908 - Variable intialization at declare time
Pull Request -
State: closed - Opened by MrDaiki 5 months ago
- 3 comments
Labels: feature request
#907 - Debug of issue #871
Pull Request -
State: closed - Opened by MrDaiki 5 months ago
Labels: bug
#906 - Mark gvar OCaml type as covariant
Pull Request -
State: closed - Opened by vbgl 5 months ago
- 1 comment
#905 - pretyping: factor tt_assign out of tt_instr
Pull Request -
State: closed - Opened by vbgl 5 months ago
Labels: refactoring
#904 - x86-lowering: do not introduce dummy instr info
Pull Request -
State: closed - Opened by vbgl 5 months ago
#903 - Remove dummy locations from errors before printing them
Pull Request -
State: closed - Opened by vbgl 5 months ago
- 1 comment
#902 - Reporting of while condition doesn't save line
Issue -
State: closed - Opened by MrDaiki 5 months ago
- 1 comment
#901 - Refactoring of tt_instr
Pull Request -
State: closed - Opened by MrDaiki 5 months ago
- 1 comment
#900 - checksafety: improve handling of LEA instruction
Pull Request -
State: closed - Opened by vbgl 5 months ago
Labels: safety-checking
#899 - Authorizing variable initialisation at declaration
Pull Request -
State: closed - Opened by MrDaiki 5 months ago
- 1 comment
#898 - Tests: fix output as tests progress
Pull Request -
State: closed - Opened by vbgl 5 months ago
- 1 comment