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

#926 - CI/coq-master: use elpi 1.20.0

Pull Request - State: closed - Opened by vbgl about 1 month ago - 2 comments
Labels: CI

#925 - Improve arch decl

Pull Request - State: open - Opened by bgregoir about 1 month ago

#923 - With option returnaddress=stack, the compiler can use LR/ra as a result register

Issue - State: open - Opened by eponier about 1 month ago - 13 comments

#922 - Update CHANGELOG after release 2024.07.1

Pull Request - State: closed - Opened by vbgl about 1 month ago

#922 - Update CHANGELOG after release 2024.07.1

Pull Request - State: closed - Opened by vbgl about 1 month ago

#921 - Support far global variable accesses in ARM

Pull Request - State: open - Opened by sarranz about 1 month ago - 2 comments

#919 - Parameters are not substituted in annotations

Issue - State: open - Opened by vbgl about 1 month ago - 2 comments

#919 - Parameters are not substituted in annotations

Issue - State: open - Opened by vbgl about 1 month 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 about 1 month 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 about 1 month ago
Labels: EasyCrypt

#917 - Allow protecting in MMX

Pull Request - State: closed - Opened by sarranz about 2 months ago - 1 comment

#917 - Allow protecting in MMX

Pull Request - State: closed - Opened by sarranz about 2 months ago - 1 comment

#916 - Various improvements to the LATEX pretty-printer

Pull Request - State: closed - Opened by vbgl about 2 months ago

#915 - CI: fix coq-master by using development version of HB

Pull Request - State: closed - Opened by vbgl about 2 months ago
Labels: CI, nix

#914 - Move easycrypt extraction to a separate executable

Pull Request - State: closed - Opened by cassiersg about 2 months ago - 6 comments

#913 - Solve TODO for conditional expressions in the SCT checker

Pull Request - State: closed - Opened by ParJavadian about 2 months ago - 1 comment

#912 - Cleanup tests

Pull Request - State: closed - Opened by cassiersg about 2 months ago - 6 comments

#911 - Adding support for type definition

Pull Request - State: open - Opened by MrDaiki about 2 months ago - 4 comments
Labels: feature request

#910 - Target EasyCrypt release 2024.09

Pull Request - State: closed - Opened by vbgl about 2 months ago - 1 comment
Labels: EasyCrypt

#909 - Solve TODO for conditional expressions in the SCT checker

Issue - State: closed - Opened by sarranz about 2 months ago
Labels: enhancement, SCT checker

#908 - Variable intialization at declare time

Pull Request - State: closed - Opened by MrDaiki about 2 months ago - 3 comments
Labels: feature request

#907 - Debug of issue #871

Pull Request - State: closed - Opened by MrDaiki about 2 months ago
Labels: bug

#906 - Mark gvar OCaml type as covariant

Pull Request - State: closed - Opened by vbgl about 2 months ago - 1 comment

#905 - pretyping: factor tt_assign out of tt_instr

Pull Request - State: closed - Opened by vbgl about 2 months ago
Labels: refactoring

#904 - x86-lowering: do not introduce dummy instr info

Pull Request - State: closed - Opened by vbgl about 2 months ago

#903 - Remove dummy locations from errors before printing them

Pull Request - State: closed - Opened by vbgl about 2 months ago - 1 comment

#902 - Reporting of while condition doesn't save line

Issue - State: open - Opened by MrDaiki about 2 months ago - 1 comment

#901 - Refactoring of tt_instr

Pull Request - State: closed - Opened by MrDaiki about 2 months ago - 1 comment

#900 - checksafety: improve handling of LEA instruction

Pull Request - State: closed - Opened by vbgl 2 months ago
Labels: safety-checking

#899 - Authorizing variable initialisation at declaration

Pull Request - State: closed - Opened by MrDaiki 2 months ago - 1 comment

#898 - Tests: fix output as tests progress

Pull Request - State: closed - Opened by vbgl 2 months ago - 1 comment

#897 - Add more integer notations for parsing

Pull Request - State: closed - Opened by MrDaiki 2 months ago

#896 - pretyping: small cleaning

Pull Request - State: closed - Opened by vbgl 2 months ago

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

Issue - State: open - Opened by sarranz 2 months ago
Labels: bug, register-allocation

#894 - Integer representation

Pull Request - State: closed - Opened by MrDaiki 2 months ago

#893 - editorconfig: fix spelling of utf-8 charset

Pull Request - State: closed - Opened by vbgl 2 months ago - 2 comments

#892 - varalloc: system calls do modify the stack pointer

Pull Request - State: closed - Opened by vbgl 2 months ago - 2 comments
Labels: bug, stack-allocation

#891 - Invalid editorconfig

Issue - State: closed - Opened by vbgl 2 months ago
Labels: bug

#890 - checksafety: support dynamically scoped global variables

Pull Request - State: closed - Opened by vbgl 2 months ago
Labels: bug, safety-checking

#889 - Minor cleaning

Pull Request - State: closed - Opened by vbgl 2 months ago

#871 - Invalid assembly when several globals have the same name

Issue - State: closed - Opened by vbgl 3 months ago - 1 comment
Labels: bug

#870 - Cannot use #randombytes if there is no stack

Issue - State: closed - Opened by vbgl 4 months ago
Labels: bug

#863 - reference tests for easycrypt extraction

Pull Request - State: closed - Opened by cassiersg 4 months ago - 5 comments

#861 - opam: lower bound on angstrom

Pull Request - State: closed - Opened by eponier 4 months ago

#846 - [WIP] Refactor extraction to build an easycrypt AST, then pretty-print it.

Pull Request - State: closed - Opened by cassiersg 5 months ago - 7 comments

#839 - add something to exit while and for loop

Issue - State: open - Opened by bgregoir 5 months ago - 2 comments
Labels: TODO

#781 - Initial support for RISC-V 32 I M

Pull Request - State: open - Opened by clebreto 7 months ago - 7 comments
Labels: risc-v

#743 - Initialisation at declaration site

Issue - State: closed - Opened by eponier 9 months ago - 7 comments
Labels: TODO

#741 - Split large memory accesses in stack alloc

Pull Request - State: open - Opened by sarranz 9 months ago - 2 comments
Labels: arm

#662 - safetylib/safetyAbsExpr.ml: Assertion failed

Issue - State: closed - Opened by jedisct1 11 months ago - 1 comment
Labels: bug, safety-checking

#619 - ARM - dealing with large programs / global arrays - invalid constant (XXXX) after fixup

Issue - State: open - Opened by tfaoliveira about 1 year ago - 4 comments
Labels: question, arm

#506 - Structs

Issue - State: open - Opened by Boutry over 1 year ago - 1 comment
Labels: TODO

#501 - Support for typedef

Issue - State: open - Opened by swarnpriya over 1 year ago - 5 comments
Labels: TODO

#361 - Add ARM Cortex M4 flag APSR.GE

Issue - State: open - Opened by sarranz over 1 year ago
Labels: arm

#100 - opam: relax version constraints

Pull Request - State: closed - Opened by vbgl over 2 years ago

#100 - opam: relax version constraints

Pull Request - State: closed - Opened by vbgl over 2 years ago

#99 - Remove some dead code

Pull Request - State: closed - Opened by vbgl over 2 years ago

#99 - Remove some dead code

Pull Request - State: closed - Opened by vbgl over 2 years ago

#98 - fix Let notation

Pull Request - State: closed - Opened by Alizter over 2 years ago - 2 comments

#98 - fix Let notation

Pull Request - State: closed - Opened by Alizter over 2 years ago - 2 comments

#97 - MIT everywhere

Pull Request - State: closed - Opened by eponier over 2 years ago - 1 comment

#97 - MIT everywhere

Pull Request - State: closed - Opened by eponier over 2 years ago - 1 comment

#96 - Migrate CI to Github Actions

Pull Request - State: closed - Opened by maximedenes over 2 years ago - 29 comments

#96 - Migrate CI to Github Actions

Pull Request - State: closed - Opened by maximedenes over 2 years ago - 29 comments

#95 - Remove some dead code

Pull Request - State: closed - Opened by vbgl over 2 years ago - 1 comment

#95 - Remove some dead code

Pull Request - State: closed - Opened by vbgl over 2 years ago - 1 comment

#94 - Relax semu condition in instruction descriptors

Pull Request - State: closed - Opened by vbgl over 2 years ago

#94 - Relax semu condition in instruction descriptors

Pull Request - State: closed - Opened by vbgl over 2 years ago

#93 - ci: use a dummy email address in the jasmin-compiler repository

Pull Request - State: closed - Opened by vbgl over 2 years ago - 1 comment

#93 - ci: use a dummy email address in the jasmin-compiler repository

Pull Request - State: closed - Opened by vbgl over 2 years ago - 1 comment

#92 - add easycrypt semantics for BSWAP

Pull Request - State: closed - Opened by fdupress over 2 years ago - 2 comments

#92 - add easycrypt semantics for BSWAP

Pull Request - State: closed - Opened by fdupress over 2 years ago - 2 comments

#91 - Avoid merging vector and non-vector variables during register-allocation

Pull Request - State: closed - Opened by vbgl over 2 years ago

#91 - Avoid merging vector and non-vector variables during register-allocation

Pull Request - State: closed - Opened by vbgl over 2 years ago

#90 - "type mismatch" after reg alloc

Issue - State: closed - Opened by eponier over 2 years ago - 2 comments

#90 - "type mismatch" after reg alloc

Issue - State: closed - Opened by eponier over 2 years ago - 2 comments

#89 - Useless RSP mov

Issue - State: open - Opened by eponier over 2 years ago - 1 comment

#89 - Useless RSP mov

Issue - State: open - Opened by eponier over 2 years ago - 1 comment

#87 - Fatal OCaml error when using an inline bool as a flag

Issue - State: closed - Opened by sarranz over 2 years ago - 5 comments
Labels: bug

#87 - Fatal OCaml error when using an inline bool as a flag

Issue - State: closed - Opened by sarranz over 2 years ago - 5 comments
Labels: bug

#86 - Regalloc: MOV RSP

Issue - State: open - Opened by eponier over 2 years ago - 2 comments

#86 - Regalloc: MOV RSP

Issue - State: open - Opened by eponier over 2 years ago - 2 comments

#85 - Going back to MIT

Pull Request - State: closed - Opened by eponier over 2 years ago - 1 comment

#85 - Going back to MIT

Pull Request - State: closed - Opened by eponier over 2 years ago - 1 comment

#84 - Printing in early stages

Issue - State: open - Opened by eponier over 2 years ago

#84 - Printing in early stages

Issue - State: open - Opened by eponier over 2 years ago

#83 - Pretty-print intermediate programs in correct Jasmin syntax

Pull Request - State: closed - Opened by vbgl over 2 years ago - 14 comments

#83 - Pretty-print intermediate programs in correct Jasmin syntax

Pull Request - State: closed - Opened by vbgl over 2 years ago - 14 comments

#82 - Reject programs that attempt to write a constant pointer during typing

Pull Request - State: closed - Opened by haselwarter over 2 years ago - 4 comments

#82 - Reject programs that attempt to write a constant pointer during typing

Pull Request - State: closed - Opened by haselwarter over 2 years ago - 4 comments

#81 - Reject modifications to constant pointers rather than ignoring them

Issue - State: closed - Opened by haselwarter over 2 years ago - 4 comments

#81 - Reject modifications to constant pointers rather than ignoring them

Issue - State: closed - Opened by haselwarter over 2 years ago - 4 comments

#80 - Returning an uninitialised register fails

Issue - State: closed - Opened by haselwarter over 2 years ago - 8 comments