10 Pull requests merged by 4 people

• Renormalize data types properly

  #511 merged Dec 27, 2024

• Fix collisions between local variables and C keywords

  #509 merged Dec 23, 2024

• install-deps.sh: install z3 with the F* script

  #508 merged Dec 23, 2024

• Add support internally for choosing the value of enum cases

  #507 merged Dec 20, 2024

• Eliminate empty struct *definitions*

  #506 merged Dec 20, 2024

• Add LEGACY_MACOS macros, use _mm_free() for KRML_ALIGNED_FREE on macOS <10.15

  #505 merged Dec 14, 2024

• Use _mm_malloc() for KRML_ALIGNED_MALLOC on macOS <10.15

  #504 merged Dec 13, 2024

• Makefiles: fix KRML_HOME to work with Cygwin

  #503 merged Dec 11, 2024

• Support false_elim

  #502 merged Dec 4, 2024

• fix book syntax

  #501 merged Dec 4, 2024

1 Pull request opened by 1 person

• change z3 version to 4.13.3

  #510 opened Dec 25, 2024

1 Unresolved conversation

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Can't get karamel nix flake to work

  #338 commented on Dec 4, 2024 • 0 new comments