FStarLang/karamel

Issues

• -add-early-include and -add-include behave the same

  #182 opened 3 years ago
  0

• Wierd size calculation in generated output

  #179 opened 4 years ago
  5

• WasmSupport.c:21: undefined reference to `WasmSupport_trap'

  #174 opened 5 years ago
  3

• Unnecessary parameter renaming

  #172 opened 5 years ago
  0

• Kremlin inlining issue

  #171 opened 5 years ago
  0

• Build failure

  #169 opened 5 years ago
  23

• Doesn't build on ppc64le

  #166 opened 5 years ago
  9

• Warning 8 is incorrect if the function is covered by static-header

  #165 opened 5 years ago
  0

• Remove default kremlin -ccopts

  #163 opened 5 years ago
  0

• unfold vs inline_for_extraction

  #162 opened 5 years ago
  2

• freebug?

  #161 opened 5 years ago
  2

• redefinition of typedef

  #155 opened 5 years ago
  1

• CAbstractStruct attribute is not propagated to implementations

  #153 opened 5 years ago
  10

• Redefined variables when branching on preprocessor flags

  #151 opened 5 years ago
  1

• Unsupported wasm

  #150 opened 5 years ago
  1

• gcmalloc generates code into kremlinit_globals

  #148 opened 5 years ago
  5

• Generate const keyword

  #147 opened 5 years ago
  5

• Add a primitive for securely zeroing memory

  #146 opened 5 years ago
  3

• Extract `fill` as `memset`

  #145 opened 5 years ago
  7

• Use standard OCaml CI scripts

  #140 opened 6 years ago
  2

• Switch to Dune buildsystem

  #139 opened 2 years ago
  2

• Migrate from ulex to sedlex

  #138 opened 5 years ago
  3

• Some cosmetic improvements for C generated out of QuackyDucky

  #136 opened 5 years ago
  1

• Tests fail due to options conflict using hardened GCC 8.3.0

  #131 opened 5 years ago
  9

• Segfault due to "extern" symbol type mismatch resulting in unresolved symbol at link-time

  #130 opened 8 months ago
  0

• Ghost.erased not working as expected?

  #129 opened 6 years ago
  1

• Unable to compile Kremlin in Ubuntu

  #128 opened 5 years ago
  3

• 'Getting Started' user documentation + sample Makefile

  #127 opened 5 years ago
  1

• -Wno-unknown-warning-option: unrecognized option on gcc 8.2.0

  #125 opened 6 years ago
  8

• git master fails to build 2019-01-05

  #124 opened 6 years ago
  11

• Missing prototypes

  #123 opened 6 years ago
  3

• Review TODO

  #122 opened 6 years ago
  4

• libc dependencies

  #120 opened 6 years ago
  3

• Inconsistent declarations for FStar.UInt.min_int

  #119 opened 6 years ago
  3

• UInt64 bug, possibly due to C coercion rules after a constant fold

  #117 opened 6 years ago
  0

• The last-minute desugaring of op_Bang_Star eliminates opportunities for prettier printing

  #116 opened 6 years ago
  0

• Trouble compiling Kremlin on osx

  #113 opened 6 years ago
  5

• Partial application for erased types, type parameters and implicits should be permitted when lowering to C

  #112 opened 6 years ago
  2

• kremlib includes

  #111 opened 6 years ago
  0

• Kremlib unverified notices

  #110 opened 6 years ago
  0

• non-c89 snprintf

  #106 opened 6 years ago
  2

• -fc89 and uint128

  #105 opened 6 years ago
  3

• Kremlin attempts to extract projectors of inductives marked as noextract

  #104 opened 6 years ago
  0

• Missing cast in left operand of right shift

  #102 opened a year ago
  3

• Cosmetic: buffers of size one as local variables

  #100 opened 7 years ago
  0

• Overflow bugs

  #99 opened 7 years ago
  4

• Operator precedence warnings

  #98 opened 7 years ago
  2

• Can't get StringLit example to compile

  #97 opened 7 years ago
  1

• How to build the book?

  #93 opened 7 years ago
  2

• Feature request: switch from C enums for tagged unions, to manifest constants

  #92 opened 7 years ago
  7