Code

feat(lib) New sandwich core changes#1192

Code

Open

maximebuyse wants to merge 9 commits intomaincryspen/hax:mainfrom new-sandwich-core-changescryspen/hax:new-sandwich-core-changesCopy head branch name to clipboard

+26-6

Commits

Commits on Dec 17, 2024

• F* core changes for type-checking of sandwixh.

  maximebuyse

  committed
  2dfccd2

  Copy full SHA for 2dfccd2

• Cleanup sandwich core changes.

  maximebuyse

  committed
  7d826d5

  Copy full SHA for 7d826d5

• Try increasing rlimit.

  maximebuyse

  committed
  6afc8b6

  Copy full SHA for 6afc8b6

• Fix Hashmap and randomstate equality issue.

  maximebuyse

  committed
  6701b54

  Copy full SHA for 6701b54

Commits on Dec 18, 2024

• Try context pruning for barrett.

  maximebuyse

  committed
  20cee83

  Copy full SHA for 20cee83

• rlimit bump

  karthikbhargavan

  committed
  d345143

  Copy full SHA for d345143

• context

  karthikbhargavan

  committed
  cfb45c4

  Copy full SHA for cfb45c4

Commits on Jan 8, 2025

• Rename into_iterator to t_IntoIterator to help type class inference.

  maximebuyse

  committed
  86e9b68

  Copy full SHA for 86e9b68

Commits on Jan 23, 2025

• Merge branch 'main' into new-sandwich-core-changes

  franziskuskiefer

  authored
  f96a48c

  Copy full SHA for f96a48c