All pull requests

Pull requests

• Rename remaining LLVMCrucible* types to LLVM* for consistency with JVM and MIR backends

  subsystem: crucible-jvmsubsystem: crucible-llvmsubsystem: crucible-mirsubsystem: saw-remote-apitech debt
  #3454·RyanGlScott opened Sep 30, 2026Contributor·

  ·
  

• Discard type constraint witnesses when translating cryptol enums to saw core

  #3453·glguy opened Sep 29, 2026Member·

  ·
  1

  1

• Renovate the CI

  #3448·sauclovian-g opened Sep 23, 2026Contributor·

  ·
  1

• saw-central: Add new built-ins eval_tuple and tuple_term.

  #3419·brianhuffman opened Sep 13, 2026Contributor·

  ·
  1

• Finish support for submodule aliases in SAW

  #3415·mtullsen opened Sep 13, 2026Contributor·

  ·
  1

  4

• Generalize eval_int to also evaluate terms of type Integer.

  #3393·brianhuffman opened Sep 4, 2026Contributor·

  ·
  1

  3

• Swap argument order for SAWCore Vec type.

  #3365·brianhuffman opened Aug 6, 2026Contributor·

  ·

• SAWCore Float support

  missing cryptol featuressubsystem: cryptol-saw-coresubsystem: saw-coresubsystem: saw-core-rocq
  #3362·RyanGlScott opened Aug 4, 2026Contributor·

  ·
  1

  34

  

• Add a new vector / bitvector library for the Rocq exporter

  #3360·sauclovian-g opened Jul 31, 2026Contributor·

  ·
  10

• Rework the position handling in the Crucible code

  #3291·sauclovian-g opened Jun 3, 2026Contributor·

  ·
  23

• Add llvm_verify_fixpoint / llvm_verify_fixpoint_chc for LLVM-bitcode loop fixpoint proofs

  #3285·AmeliaRose802 opened May 27, 2026·

  ·
  2

• Remove all ProofScript sequent features

  #3284·brianhuffman opened May 27, 2026Contributor·

  ·
  6

• LLVM/MIR: Use the same pretty-printer consistently in structural mismatch errors

  subsystem: crucible-llvmsubsystem: crucible-mirtopics: error-messages
  #3261·RyanGlScott opened May 19, 2026Contributor·

  ·
  6

  

• WIP: saw-core-lean — SAWCore→Lean 4 backend

  #3214·septract opened May 2, 2026·

  ·
  1

• minimal changes for testing sbv 14

  #3177·danmatichuk opened Apr 20, 2026Contributor·

  ·
  7

• Fix :cd ~ by handling bare tilde in expandHome (fixes #2072)

  #3133·MavenRain opened Apr 1, 2026Contributor·

  ·
  3

• MIR: relax requirement that slice backing allocations must be the same size when applying overrides

  #3070·chathhorn-galois opened Feb 25, 2026Contributor·

  ·
  1

  17

• Test branch for building with GHC 9.10 and 9.12

  #2973·sauclovian-g opened Jan 15, 2026Contributor·

  ·
  12

• MIR: Enforce disjointness from precondition allocations and statics

  #2678·qsctr opened Oct 6, 2025Member·

  ·
  13

  

• Re-enable the awslc test

  #2487·sauclovian-g opened Jul 10, 2025Contributor·

  ·
  1

  4

• Initial support for AArch32

  #987·chameco opened Jan 4, 2021Contributor·

  ·
  10