Skip to content

Issues: FStarLang/karamel

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

33 Open 130 Closed
33 Open 130 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Specify functions that must extract?
#482 opened Sep 12, 2024 by mtzguido
3
generated Makefile.basic exe target needs .o's
#461 opened Aug 16, 2024 by briangmilnes
4
make tests won't link: dist/libbignum.a goes last
#456 opened Aug 2, 2024 by briangmilnes
karamel/test README.md out of date, wants rust
#455 opened Aug 1, 2024 by briangmilnes
karamel/Makefile test and test/Makefile
#454 opened Aug 1, 2024 by briangmilnes
Fatal error: exception Failure("[mk_expr m]: op should've been caught")
#445 opened Jul 14, 2024 by mtzguido
2
Can't get karamel nix flake to work
#338 opened Mar 21, 2023 by ambiso
8
krml redeclares variables in adjacent #if branches
#293 opened Oct 4, 2022 by nikswamy
Bad interaction between unused variable elimination and "let x = if ... in" hoisting
#291 opened Sep 23, 2022 by R1kM
1
Improvements to compilation in C89 mode
#283 opened Sep 2, 2022 by msprotz
1
Simplify Steel.ST.Reference.with_local without EPushFrame/EPopFrame
#276 opened Aug 3, 2022 by tahina-pro
@tahina-pro
A bug in variable merging.
#216 opened Nov 26, 2021 by taol-assignments
1
Check stack memory allocation
#209 opened May 30, 2021 by franziskuskiefer
3
Unit buffer elimination breaks type unification when combined with buffer built-ins
#208 opened May 20, 2021 by landonf
Build fails on native Apple M1 + macOS toolchain
#205 opened Mar 17, 2021 by beurdouche
3
StackInline not inlined at extraction bug
#187 opened Aug 12, 2020 by sonmarcho
Unused argument elimination discards required field
#183 opened Jul 22, 2020 by landonf
1
WasmSupport.c:21: undefined reference to `WasmSupport_trap'
#174 opened Mar 11, 2020 by conradlz
3
Unnecessary parameter renaming
#172 opened Feb 21, 2020 by wintersteiger
Kremlin inlining issue
#171 opened Feb 21, 2020 by wintersteiger
Warning 8 is incorrect if the function is covered by static-header
#165 opened Jan 28, 2020 by msprotz
Remove default kremlin -ccopts
#163 opened Jan 19, 2020 by kzhong130
Redefined variables when branching on preprocessor flags bug
#151 opened Oct 8, 2019 by s-zanella
1
UInt64 bug, possibly due to C coercion rules after a constant fold
#117 opened Oct 18, 2018 by BarryBo
@msprotz
The last-minute desugaring of op_Bang_Star eliminates opportunities for prettier printing
#116 opened Oct 9, 2018 by msprotz
ProTip! Mix and match filters to narrow down what you’re looking for.