jasmin-lang/jasmin issues and pull requests

#77 - Errors with array copies

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

#76 - assert false in inline_array_copy.ml

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

#76 - assert false in inline_array_copy.ml

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

#75 - Releases "Jasmin 21.0" and "Jasmin 2022.04.0"

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

#75 - Releases "Jasmin 21.0" and "Jasmin 2022.04.0"

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

#74 - VMOV silently drop the size annotation

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

#74 - VMOV silently drop the size annotation

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

#73 - Add VPTEST and VPBLENDVB

Pull Request - State: closed - Opened by MQuaresma about 3 years ago

#73 - Add VPTEST and VPBLENDVB

Pull Request - State: closed - Opened by MQuaresma about 3 years ago

#72 - safety checker: use locations with file names

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

#72 - safety checker: use locations with file names

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

#71 - Lowering should be allowed to fail

Issue - State: open - Opened by eponier over 3 years ago
Labels: lowering

#71 - Lowering should be allowed to fail

Issue - State: open - Opened by eponier over 3 years ago
Labels: lowering

#70 - Systematic treatment of (potentially too large) immediates

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

#70 - Systematic treatment of (potentially too large) immediates

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

#69 - Cast of prim to small types gives no feedback

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

#69 - Cast of prim to small types gives no feedback

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

#68 - Safety checker: fix alignment constraints for direct array accesses

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

#68 - Safety checker: fix alignment constraints for direct array accesses

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

#67 - -checksafety option: improving the safety analysis in loops

Issue - State: open - Opened by tfaoliveira over 3 years ago

#67 - -checksafety option: improving the safety analysis in loops

Issue - State: open - Opened by tfaoliveira over 3 years ago

#66 - Parsing suffix of intrinsic: “Fatal error: exception End_of_file”

Issue - State: closed - Opened by vbgl over 3 years ago - 1 comment

#66 - Parsing suffix of intrinsic: “Fatal error: exception End_of_file”

Issue - State: closed - Opened by vbgl over 3 years ago - 1 comment

#65 - Literals are silently truncated

Issue - State: open - Opened by vbgl over 3 years ago

#65 - Literals are silently truncated

Issue - State: open - Opened by vbgl over 3 years ago

#64 - wrong type in assignment.

Issue - State: closed - Opened by bgregoir over 3 years ago - 1 comment

#64 - wrong type in assignment.

Issue - State: closed - Opened by bgregoir over 3 years ago - 1 comment

#63 - Pretyping: keep the error when OnlyParam

Pull Request - State: closed - Opened by eponier over 3 years ago - 3 comments

#63 - Pretyping: keep the error when OnlyParam

Pull Request - State: closed - Opened by eponier over 3 years ago - 3 comments

#62 - Arrays in pretyping

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

#62 - Arrays in pretyping

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

#61 - Strict array typing

Pull Request - State: closed - Opened by eponier over 3 years ago - 3 comments

#61 - Strict array typing

Pull Request - State: closed - Opened by eponier over 3 years ago - 3 comments

#60 - Rework of the error system in Coq and OCaml

Pull Request - State: closed - Opened by eponier over 3 years ago - 4 comments

#60 - Rework of the error system in Coq and OCaml

Pull Request - State: closed - Opened by eponier over 3 years ago - 4 comments

#59 - No check that we do not call an export function

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

#59 - No check that we do not call an export function

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

#58 - Assertion failed in varalloc

Issue - State: closed - Opened by eponier over 3 years ago

#58 - Assertion failed in varalloc

Issue - State: closed - Opened by eponier over 3 years ago

#57 - An example where stack alloc could be smarter

Issue - State: open - Opened by eponier over 3 years ago - 1 comment
Labels: enhancement

#57 - An example where stack alloc could be smarter

Issue - State: open - Opened by eponier over 3 years ago - 1 comment
Labels: enhancement

#56 - error in “one-varmap” checker: modified expression

Issue - State: closed - Opened by eponier over 3 years ago - 12 comments
Labels: bug

#56 - error in “one-varmap” checker: modified expression

Issue - State: closed - Opened by eponier over 3 years ago - 12 comments
Labels: bug

#55 - params are not accepted in the type of globals

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

#55 - params are not accepted in the type of globals

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

#54 - stack allocation: invalid slot

Issue - State: closed - Opened by eponier over 3 years ago - 1 comment
Labels: bug

#54 - stack allocation: invalid slot

Issue - State: closed - Opened by eponier over 3 years ago - 1 comment
Labels: bug

#53 - Use library "Logs" for printing messages

Issue - State: open - Opened by eponier over 3 years ago - 2 comments
Labels: enhancement, ocaml, TODO

#53 - Use library "Logs" for printing messages

Issue - State: open - Opened by eponier over 3 years ago - 2 comments
Labels: enhancement, ocaml, TODO

#52 - "cannot put a reg ptr argument into the local stack": no location

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

#52 - "cannot put a reg ptr argument into the local stack": no location

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

#51 - Use Coq 8.12 and Mathcomp 1.11

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

#51 - Use Coq 8.12 and Mathcomp 1.11

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

#50 - Is AT_keep working properly?

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

#50 - Is AT_keep working properly?

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

#49 - Also support Intel assembly syntax?

Issue - State: closed - Opened by eponier over 3 years ago - 1 comment
Labels: enhancement