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

#491 - allow assigning arrays into fields

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

#490 - lib: Makefile: FStar.IO.fst is now FStar.IO.fsti

Pull Request - State: closed - Opened by mtzguido about 1 month ago - 3 comments

#489 - test: rename rust test executables and gitignore them

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

#483 - Better handling of comments

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

#480 - Simplify.ml: detect EBufFree as a use

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

#100 - Cosmetic: buffers of size one as local variables

Issue - State: closed - Opened by msprotz over 6 years ago

#100 - Cosmetic: buffers of size one as local variables

Issue - State: closed - Opened by msprotz over 6 years ago

#99 - Overflow bugs

Issue - State: closed - Opened by wintersteiger over 6 years ago - 4 comments

#99 - Overflow bugs

Issue - State: closed - Opened by wintersteiger over 6 years ago - 4 comments

#98 - Operator precedence warnings

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

#98 - Operator precedence warnings

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

#97 - Can't get StringLit example to compile

Issue - State: closed - Opened by pierrebeaucamp over 6 years ago - 1 comment

#97 - Can't get StringLit example to compile

Issue - State: closed - Opened by pierrebeaucamp over 6 years ago - 1 comment

#96 - Added casts to squelch warnings emitted by VC2010.

Pull Request - State: closed - Opened by wintersteiger over 6 years ago - 4 comments

#96 - Added casts to squelch warnings emitted by VC2010.

Pull Request - State: closed - Opened by wintersteiger over 6 years ago - 4 comments

#95 - Removed designated initializers when -fc89 is on.

Pull Request - State: closed - Opened by wintersteiger over 6 years ago - 11 comments

#95 - Removed designated initializers when -fc89 is on.

Pull Request - State: closed - Opened by wintersteiger over 6 years ago - 11 comments

#94 - Create README.md for book

Pull Request - State: closed - Opened by master-q over 6 years ago - 1 comment

#93 - How to build the book?

Issue - State: closed - Opened by master-q over 6 years ago - 2 comments

#93 - How to build the book?

Issue - State: closed - Opened by master-q over 6 years ago - 2 comments

#92 - Feature request: switch from C enums for tagged unions, to manifest constants

Issue - State: closed - Opened by BarryBo over 6 years ago - 7 comments
Labels: enhancement

#92 - Feature request: switch from C enums for tagged unions, to manifest constants

Issue - State: closed - Opened by BarryBo over 6 years ago - 7 comments
Labels: enhancement

#91 - Spelling and grammar suggestions

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

#91 - Spelling and grammar suggestions

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

#90 - C89 Compatibility

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

#90 - C89 Compatibility

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

#89 - git master build fails - 2018-04-18

Issue - State: closed - Opened by Firstyear over 6 years ago - 5 comments

#89 - git master build fails - 2018-04-18

Issue - State: closed - Opened by Firstyear over 6 years ago - 5 comments

#88 - Code stability request - more stable names for uu__*_* temp variables

Issue - State: closed - Opened by BarryBo over 6 years ago - 1 comment
Labels: enhancement

#88 - Code stability request - more stable names for uu__*_* temp variables

Issue - State: closed - Opened by BarryBo over 6 years ago - 1 comment
Labels: enhancement

#87 - Set.union extraction problem

Issue - State: closed - Opened by wintersteiger over 6 years ago - 2 comments
Labels: wontfix

#87 - Set.union extraction problem

Issue - State: closed - Opened by wintersteiger over 6 years ago - 2 comments
Labels: wontfix

#86 - When KreMLin is driving F*, certain type-errors compile without warning

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

#86 - When KreMLin is driving F*, certain type-errors compile without warning

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

#85 - Loop unrolling for Kwasm

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

#85 - Loop unrolling for Kwasm

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

#84 - Avoid sscanf(), which doesn't work well for uint8_t on Windows

Pull Request - State: closed - Opened by BarryBo over 6 years ago - 1 comment

#84 - Avoid sscanf(), which doesn't work well for uint8_t on Windows

Pull Request - State: closed - Opened by BarryBo over 6 years ago - 1 comment

#83 - More general measure for total while loops

Pull Request - State: closed - Opened by tahina-pro over 6 years ago

#83 - More general measure for total while loops

Pull Request - State: closed - Opened by tahina-pro over 6 years ago

#82 - Android/x86 requires limits.h to use SIZE_MAX macro

Pull Request - State: closed - Opened by makotokato over 6 years ago - 4 comments

#82 - Android/x86 requires limits.h to use SIZE_MAX macro

Pull Request - State: closed - Opened by makotokato over 6 years ago - 4 comments

#81 - Android/x86 requires limits.h to use SIZE_MAX macro

Pull Request - State: closed - Opened by makotokato over 6 years ago - 1 comment

#81 - Android/x86 requires limits.h to use SIZE_MAX macro

Pull Request - State: closed - Opened by makotokato over 6 years ago - 1 comment

#80 - in-place byte slices

Pull Request - State: closed - Opened by fournet almost 7 years ago - 3 comments

#80 - in-place byte slices

Pull Request - State: closed - Opened by fournet almost 7 years ago - 3 comments

#79 - Replace fprintf(stderr, ...) with a macro (KRML_HOST_EPRINTF)

Pull Request - State: closed - Opened by tahina-pro almost 7 years ago

#79 - Replace fprintf(stderr, ...) with a macro (KRML_HOST_EPRINTF)

Pull Request - State: closed - Opened by tahina-pro almost 7 years ago

#78 - Taramana werror

Pull Request - State: closed - Opened by msprotz almost 7 years ago

#78 - Taramana werror

Pull Request - State: closed - Opened by msprotz almost 7 years ago

#77 - Sanitize FStar_Bytes_bytes_of_int

Pull Request - State: closed - Opened by tahina-pro almost 7 years ago

#77 - Sanitize FStar_Bytes_bytes_of_int

Pull Request - State: closed - Opened by tahina-pro almost 7 years ago

#76 - Kremlin cross-compiles

Pull Request - State: open - Opened by wintersteiger almost 7 years ago - 2 comments

#76 - Kremlin cross-compiles

Pull Request - State: open - Opened by wintersteiger almost 7 years ago - 2 comments

#75 - Total loops

Pull Request - State: closed - Opened by tahina-pro almost 7 years ago - 1 comment

#75 - Total loops

Pull Request - State: closed - Opened by tahina-pro almost 7 years ago - 1 comment

#74 - Improve code-gen for pointer dereferences

Issue - State: closed - Opened by BarryBo almost 7 years ago - 1 comment
Labels: enhancement

#74 - Improve code-gen for pointer dereferences

Issue - State: closed - Opened by BarryBo almost 7 years ago - 1 comment
Labels: enhancement

#73 - Reduce creation of new C variables via some use analysis

Issue - State: closed - Opened by BarryBo almost 7 years ago - 2 comments
Labels: enhancement

#73 - Reduce creation of new C variables via some use analysis

Issue - State: closed - Opened by BarryBo almost 7 years ago - 2 comments
Labels: enhancement

#72 - Remove explicit casts from some integer constants, to improve readability

Issue - State: open - Opened by BarryBo almost 7 years ago - 2 comments

#72 - Remove explicit casts from some integer constants, to improve readability

Issue - State: open - Opened by BarryBo almost 7 years ago - 2 comments

#70 - Fix Solaris defines for Endian-ness

Pull Request - State: closed - Opened by psumbera almost 7 years ago - 1 comment

#70 - Fix Solaris defines for Endian-ness

Pull Request - State: closed - Opened by psumbera almost 7 years ago - 1 comment

#69 - Kremlib.h separation in different files for easier integrations in other projects

Issue - State: closed - Opened by beurdouche almost 7 years ago - 2 comments

#69 - Kremlib.h separation in different files for easier integrations in other projects

Issue - State: closed - Opened by beurdouche almost 7 years ago - 2 comments

#68 - Improvement for -fparentheses

Issue - State: closed - Opened by beurdouche almost 7 years ago

#68 - Improvement for -fparentheses

Issue - State: closed - Opened by beurdouche almost 7 years ago

#67 - Fix inclusion of headers (text) in .c files

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

#67 - Fix inclusion of headers (text) in .c files

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

#66 - Add support for mutually recursive types and functions

Pull Request - State: closed - Opened by jroesch about 7 years ago - 1 comment

#66 - Add support for mutually recursive types and functions

Pull Request - State: closed - Opened by jroesch about 7 years ago - 1 comment

#65 - Simplify the chain of ifdefs

Pull Request - State: closed - Opened by msprotz about 7 years ago - 4 comments

#65 - Simplify the chain of ifdefs

Pull Request - State: closed - Opened by msprotz about 7 years ago - 4 comments

#64 - Next steps for F*-KreMLin extraction & interaction

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

#64 - Next steps for F*-KreMLin extraction & interaction

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

#63 - Preventing code generation of types in header files when annotated by "private"

Issue - State: closed - Opened by beurdouche about 7 years ago - 1 comment

#63 - Preventing code generation of types in header files when annotated by "private"

Issue - State: closed - Opened by beurdouche about 7 years ago - 1 comment

#62 - Add FreeBSD support

Pull Request - State: closed - Opened by franziskuskiefer about 7 years ago - 5 comments

#62 - Add FreeBSD support

Pull Request - State: closed - Opened by franziskuskiefer about 7 years ago - 5 comments

#61 - Add Solaris defines for Endian-ness macros

Pull Request - State: closed - Opened by franziskuskiefer about 7 years ago - 1 comment

#61 - Add Solaris defines for Endian-ness macros

Pull Request - State: closed - Opened by franziskuskiefer about 7 years ago - 1 comment

#60 - Support ArrayStruct (aka FStar.Pointer)

Issue - State: closed - Opened by tahina-pro about 7 years ago - 1 comment
Labels: enhancement

#60 - Support ArrayStruct (aka FStar.Pointer)

Issue - State: closed - Opened by tahina-pro about 7 years ago - 1 comment
Labels: enhancement

#59 - Issue compiling nested irrefutable matches

Issue - State: closed - Opened by jroesch about 7 years ago

#59 - Issue compiling nested irrefutable matches

Issue - State: closed - Opened by jroesch about 7 years ago

#58 - Kremlin support for refs

Issue - State: closed - Opened by fournet about 7 years ago - 1 comment

#58 - Kremlin support for refs

Issue - State: closed - Opened by fournet about 7 years ago - 1 comment

#57 - c89 conformance

Pull Request - State: closed - Opened by msprotz about 7 years ago - 2 comments

#57 - c89 conformance

Pull Request - State: closed - Opened by msprotz about 7 years ago - 2 comments

#56 - Update Kremlin to support new F* metadata/attributes

Pull Request - State: closed - Opened by jroesch about 7 years ago

#56 - Update Kremlin to support new F* metadata/attributes

Pull Request - State: closed - Opened by jroesch about 7 years ago

#55 - Wrappers around loops are not extracted with [@"substitute"]

Issue - State: closed - Opened by tchajed about 7 years ago - 1 comment

#54 - Unrecoverable error from trying to extract tactic with type parameter

Issue - State: closed - Opened by tchajed about 7 years ago - 2 comments

#54 - Unrecoverable error from trying to extract tactic with type parameter

Issue - State: closed - Opened by tchajed about 7 years ago - 2 comments

#53 - Code generation improvements #1

Issue - State: closed - Opened by beurdouche over 7 years ago - 15 comments

#53 - Code generation improvements #1

Issue - State: closed - Opened by beurdouche over 7 years ago - 15 comments