Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / FStarLang/karamel issues and pull requests

#51 - Extraction reports type mismatches due to type aliases for function types

Issue - State: closed - Opened by tchajed over 7 years ago - 3 comments

#51 - Extraction reports type mismatches due to type aliases for function types

Issue - State: closed - Opened by tchajed over 7 years ago - 3 comments

#50 - FStar.Buffer does not have a wrapper for C's memcmp

Issue - State: closed - Opened by tchajed over 7 years ago - 3 comments

#50 - FStar.Buffer does not have a wrapper for C's memcmp

Issue - State: closed - Opened by tchajed over 7 years ago - 3 comments

#49 - `C.Loops.interruptible_for` is unimplemented

Issue - State: closed - Opened by tchajed over 7 years ago - 3 comments

#49 - `C.Loops.interruptible_for` is unimplemented

Issue - State: closed - Opened by tchajed over 7 years ago - 3 comments

#48 - List of C undefined behavior that we're not protecting against

Issue - State: closed - Opened by msprotz over 7 years ago - 5 comments

#48 - List of C undefined behavior that we're not protecting against

Issue - State: closed - Opened by msprotz over 7 years ago - 5 comments

#47 - Fix UInt128 eq_mask to always return 2^128-1 or 0

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

#47 - Fix UInt128 eq_mask to always return 2^128-1 or 0

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

#46 - Pass -fstack-check to gcc and clang. This protects against aliasing o…

Pull Request - State: closed - Opened by andreasdotorg over 7 years ago - 1 comment

#46 - Pass -fstack-check to gcc and clang. This protects against aliasing o…

Pull Request - State: closed - Opened by andreasdotorg over 7 years ago - 1 comment

#45 - Pass -fstack-check to gcc and clang

Issue - State: closed - Opened by andreasdotorg over 7 years ago

#45 - Pass -fstack-check to gcc and clang

Issue - State: closed - Opened by andreasdotorg over 7 years ago

#44 - Support pointer of the same struct type in struct definition

Issue - State: closed - Opened by photoszzt over 7 years ago - 1 comment

#44 - Support pointer of the same struct type in struct definition

Issue - State: closed - Opened by photoszzt over 7 years ago - 1 comment

#43 - Support generation of multiple bundles at the same time

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

#42 - Size limitation on length of `createL` litterals

Issue - State: closed - Opened by jkzinzindohoue over 7 years ago - 1 comment

#41 - Load/Store for 16bits integers

Pull Request - State: closed - Opened by msprotz over 7 years ago - 1 comment

#40 - Don't generate /* start inlining */ comments

Issue - State: closed - Opened by prosecco over 7 years ago

#39 - Still unclear what the right thing to do for __cdecl is

Issue - State: closed - Opened by msprotz over 7 years ago - 3 comments

#37 - Unrecoverable error on lists

Issue - State: closed - Opened by jkzinzindohoue almost 8 years ago - 2 comments

#36 - Code dependency analysis

Issue - State: closed - Opened by jkzinzindohoue almost 8 years ago - 5 comments

#35 - Substitute attribute with push_frame(); pop_frame() does not work

Issue - State: closed - Opened by jkzinzindohoue almost 8 years ago - 4 comments

#34 - Expose store32_be and load32_be in C.fst, already defined in kremlib.h

Pull Request - State: closed - Opened by beurdouche almost 8 years ago - 1 comment

#33 - Compile buffers and structs which lengths are known to more precise types ?

Issue - State: open - Opened by jkzinzindohoue almost 8 years ago - 2 comments
Labels: enhancement

#32 - Issue with gcc_compat.h

Issue - State: closed - Opened by jkzinzindohoue almost 8 years ago - 2 comments

#31 - [Easy] Write some performance tests

Issue - State: closed - Opened by msprotz almost 8 years ago

#30 - [Difficult] Do the struct layout

Issue - State: closed - Opened by msprotz almost 8 years ago - 1 comment

#29 - [Easy] implement packed arrays of bools

Issue - State: open - Opened by msprotz almost 8 years ago

#27 - [Easy] Implement constant strings using a data segment

Issue - State: closed - Opened by msprotz almost 8 years ago

#26 - [Easy] Use optimized instructions instead of hand-written shifts in Buffer_Utils

Issue - State: closed - Opened by msprotz almost 8 years ago - 1 comment

#25 - [Easy] Implement missing cases from CFlat

Issue - State: closed - Opened by msprotz almost 8 years ago

#24 - [Easy] Implement 16-bit arithmetic (8-bit too)

Issue - State: open - Opened by msprotz almost 8 years ago

#23 - [Easy] Enforce alignment of buffer allocation

Issue - State: open - Opened by msprotz almost 8 years ago - 2 comments

#22 - Substitution bug

Issue - State: closed - Opened by msprotz almost 8 years ago - 1 comment

#21 - Provide debug information re. inlining

Issue - State: closed - Opened by msprotz almost 8 years ago - 1 comment

#20 - Adding digits to bundles

Pull Request - State: closed - Opened by jkzinzindohoue almost 8 years ago - 1 comment

#19 - Parsing bundle options before extraction

Issue - State: closed - Opened by jkzinzindohoue almost 8 years ago
Labels: enhancement

#18 - Implement 'print_bytes' in kremlib

Pull Request - State: closed - Opened by beurdouche almost 8 years ago - 11 comments

#17 - Tests failing

Issue - State: closed - Opened by rrika almost 8 years ago - 2 comments

#16 - Incorrect function name reported in a warning message

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

#14 - Explicitly specify calling convention for function declarations

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

#13 - Feature request: special-case var[0].field code-gen into var->field

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

#12 - Crash on if-then-else inside push/pop_frame

Issue - State: closed - Opened by jkzinzindohoue about 8 years ago - 2 comments

#11 - Fix opam package 'process' version

Pull Request - State: closed - Opened by beurdouche about 8 years ago - 1 comment

#10 - Don't probe for fstar.exe when the input file is JSON

Issue - State: closed - Opened by BarryBo about 8 years ago - 1 comment

#7 - Types with multiple constructors not supported

Issue - State: closed - Opened by BarryBo about 8 years ago - 5 comments

#6 - How to pass a DTypeFlat to a function byref?

Issue - State: closed - Opened by BarryBo about 8 years ago - 6 comments

#5 - Feature request: support for externally-resolved function names

Issue - State: closed - Opened by BarryBo about 8 years ago - 10 comments

#4 - Feature request: re-order type declarations towards the top of the generated .h files

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

#3 - EReturn of EUnit generates C "return UINT8_C(0);"

Issue - State: closed - Opened by BarryBo about 8 years ago - 1 comment

#2 - kremlib.h: __int128 type not supported by Microsoft C compiler

Issue - State: closed - Opened by BarryBo about 8 years ago - 11 comments

#1 - Uninformative error message when fstar.exe isn't in PATH

Issue - State: closed - Opened by s-zanella about 8 years ago - 1 comment