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

#897 - Add more integer notations for parsing

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

#896 - pretyping: small cleaning

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

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

Issue - State: closed - Opened by sarranz 6 months ago
Labels: bug, register-allocation

#894 - Integer representation

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

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

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

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

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

#891 - Invalid editorconfig

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

#890 - checksafety: support dynamically scoped global variables

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

#889 - Minor cleaning

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

#876 - Add SCT to CHECKCATS, fix error message typo

Pull Request - State: closed - Opened by sarranz 6 months ago

#876 - Add SCT to CHECKCATS, fix error message typo

Pull Request - State: closed - Opened by sarranz 6 months ago

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

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

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

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

#863 - reference tests for easycrypt extraction

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

#861 - opam: lower bound on angstrom

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

#860 - Modular Jasmin (jexport ABI)

Issue - State: open - Opened by cassiersg 8 months ago - 1 comment
Labels: enhancement

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

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

#839 - add something to exit while and for loop

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

#809 - Reject ARM intrinsics with an S when they do not support it

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

#795 - Add smart load immediate operator for ARM

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

#795 - Add smart load immediate operator for ARM

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

#794 - Make SLH lowering the last pass before Stack Allocation

Pull Request - State: closed - Opened by sarranz 10 months ago

#794 - Make SLH lowering the last pass before Stack Allocation

Pull Request - State: closed - Opened by sarranz 10 months ago

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

Issue - State: open - Opened by clebreto 10 months ago - 3 comments
Labels: risc-v

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

Pull Request - State: closed - Opened by clebreto 11 months ago - 11 comments
Labels: risc-v

#778 - Confusing error message with useless spill

Issue - State: closed - Opened by eponier 11 months ago - 3 comments

#760 - rectypes?

Issue - State: closed - Opened by vbgl 11 months ago - 2 comments
Labels: ocaml, TODO

#746 - Declassify annotation lost after inlining.

Issue - State: open - Opened by J08nY 12 months ago - 4 comments

#743 - Initialisation at declaration site

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

#741 - Split large memory accesses in stack alloc

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

#737 - Fix let instead of Let in x86_instr_decl

Pull Request - State: closed - Opened by sarranz 12 months ago

#737 - Fix let instead of Let in x86_instr_decl

Pull Request - State: closed - Opened by sarranz 12 months ago

#698 - Basic description of RISC-V32 I + M + ZIFENCEI ISA

Issue - State: closed - Opened by clebreto about 1 year ago - 2 comments
Labels: risc-v

#682 - Add `SBC` instruction for ARM

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

#682 - Add `SBC` instruction for ARM

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

#680 - Unused stack variable “may not be initialized”

Issue - State: closed - Opened by vbgl about 1 year ago - 1 comment
Labels: bug

#662 - safetylib/safetyAbsExpr.ml: Assertion failed

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

#637 - Wrong lval order for UMULL

Issue - State: closed - Opened by sarranz over 1 year ago - 15 comments
Labels: arm

#637 - Wrong lval order for UMULL

Issue - State: closed - Opened by sarranz over 1 year ago - 15 comments
Labels: arm

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

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

#553 - Add more syscalls to Jasmin

Pull Request - State: closed - Opened by Rixxc over 1 year ago - 4 comments

#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

#483 - Regalloc conflict produces internal error when function is inlined

Issue - State: open - Opened by sarranz over 1 year ago - 6 comments
Labels: bug, enhancement

#483 - Regalloc conflict produces internal error when function is inlined

Issue - State: open - Opened by sarranz over 1 year ago - 6 comments
Labels: bug, enhancement

#364 - Remove dead function call

Issue - State: open - Opened by eponier almost 2 years ago - 1 comment
Labels: feature request

#361 - Add ARM Cortex M4 flag APSR.GE

Issue - State: open - Opened by sarranz almost 2 years ago
Labels: arm

#168 - Safety checker segfaults on Mac M1

Issue - State: closed - Opened by mbbarbosa over 2 years ago - 3 comments
Labels: ocaml, safety-checking

#168 - Safety checker segfaults on Mac M1

Issue - State: closed - Opened by mbbarbosa over 2 years ago - 3 comments
Labels: ocaml, safety-checking

#143 - Sort out the interaction between scopes of variables

Issue - State: closed - Opened by eponier almost 3 years ago - 3 comments

#143 - Sort out the interaction between scopes of variables

Issue - State: closed - Opened by eponier almost 3 years ago - 3 comments

#100 - opam: relax version constraints

Pull Request - State: closed - Opened by vbgl almost 3 years ago

#100 - opam: relax version constraints

Pull Request - State: closed - Opened by vbgl almost 3 years ago

#99 - Remove some dead code

Pull Request - State: closed - Opened by vbgl almost 3 years ago

#99 - Remove some dead code

Pull Request - State: closed - Opened by vbgl almost 3 years ago

#98 - fix Let notation

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

#98 - fix Let notation

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

#97 - MIT everywhere

Pull Request - State: closed - Opened by eponier almost 3 years ago - 1 comment

#97 - MIT everywhere

Pull Request - State: closed - Opened by eponier almost 3 years ago - 1 comment

#96 - Migrate CI to Github Actions

Pull Request - State: closed - Opened by maximedenes almost 3 years ago - 29 comments

#96 - Migrate CI to Github Actions

Pull Request - State: closed - Opened by maximedenes almost 3 years ago - 29 comments

#95 - Remove some dead code

Pull Request - State: closed - Opened by vbgl almost 3 years ago - 1 comment

#95 - Remove some dead code

Pull Request - State: closed - Opened by vbgl almost 3 years ago - 1 comment

#94 - Relax semu condition in instruction descriptors

Pull Request - State: closed - Opened by vbgl almost 3 years ago

#94 - Relax semu condition in instruction descriptors

Pull Request - State: closed - Opened by vbgl almost 3 years ago

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

Pull Request - State: closed - Opened by vbgl almost 3 years ago - 1 comment

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

Pull Request - State: closed - Opened by vbgl almost 3 years ago - 1 comment

#92 - add easycrypt semantics for BSWAP

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

#92 - add easycrypt semantics for BSWAP

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

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

Pull Request - State: closed - Opened by vbgl almost 3 years ago

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

Pull Request - State: closed - Opened by vbgl almost 3 years ago

#90 - "type mismatch" after reg alloc

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

#90 - "type mismatch" after reg alloc

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

#89 - Useless RSP mov

Issue - State: open - Opened by eponier almost 3 years ago - 1 comment

#89 - Useless RSP mov

Issue - State: open - Opened by eponier almost 3 years ago - 1 comment

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

Issue - State: closed - Opened by sarranz almost 3 years ago - 5 comments
Labels: bug

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

Issue - State: closed - Opened by sarranz almost 3 years ago - 5 comments
Labels: bug

#86 - Regalloc: MOV RSP

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

#86 - Regalloc: MOV RSP

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

#85 - Going back to MIT

Pull Request - State: closed - Opened by eponier almost 3 years ago - 1 comment

#85 - Going back to MIT

Pull Request - State: closed - Opened by eponier almost 3 years ago - 1 comment

#84 - Printing in early stages

Issue - State: open - Opened by eponier almost 3 years ago

#84 - Printing in early stages

Issue - State: open - Opened by eponier almost 3 years ago

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

Pull Request - State: closed - Opened by vbgl almost 3 years ago - 14 comments

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

Pull Request - State: closed - Opened by vbgl almost 3 years ago - 14 comments

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

Pull Request - State: closed - Opened by haselwarter almost 3 years ago - 4 comments

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

Pull Request - State: closed - Opened by haselwarter almost 3 years ago - 4 comments

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

Issue - State: closed - Opened by haselwarter almost 3 years ago - 4 comments

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

Issue - State: closed - Opened by haselwarter almost 3 years ago - 4 comments

#80 - Returning an uninitialised register fails

Issue - State: closed - Opened by haselwarter about 3 years ago - 8 comments

#80 - Returning an uninitialised register fails

Issue - State: closed - Opened by haselwarter about 3 years ago - 8 comments

#79 - Addition involving a stack variable fails

Issue - State: open - Opened by haselwarter about 3 years ago - 5 comments
Labels: bug, lowering

#79 - Addition involving a stack variable fails

Issue - State: open - Opened by haselwarter about 3 years ago - 5 comments
Labels: bug, lowering

#78 - pretyping: improve location information in warnings

Pull Request - State: closed - Opened by vbgl about 3 years ago - 1 comment

#78 - pretyping: improve location information in warnings

Pull Request - State: closed - Opened by vbgl about 3 years ago - 1 comment

#77 - Errors with array copies

Issue - State: closed - Opened by eponier about 3 years ago - 3 comments