All pull requests

Pull requests

• Add tests for all known soundness issues

  soundnesstesting
  #318·lemmy opened Oct 28, 2026Member·

  ·
  

• Add soundness reproducers for #310

  soundness
  #315·lemmy opened Oct 26, 2026Member·

  ·

• Add soundness reproducers for #309

  soundness
  #314·lemmy opened Oct 26, 2026Member·

  ·

• SMT soundness: overlapping CASE arms are lowered to ordered IF

  bugsoundness
  #308·lemmy opened Oct 14, 2026Member·

  ·
  2

• Make expand_defs linear in the size of the context

  enhancement
  #303·lemmy opened Oct 12, 2026Member·

  ·
  1

  2

• Fix tuple binder desugaring in imported files

  #301·Alessandro-Salerno opened Oct 5, 2026·

  ·

• Kill orphaned prover processes on Linux when tlapm dies

  enhancement
  #284·tangruize opened Jul 22, 2026Contributor·

  ·
  2

• Add SANY as a parser backend option

  #275·ahelwer opened May 31, 2026Contributor·

  ·
  35

• Proof decomposition by template.

  #268·kape1395 opened May 11, 2026Collaborator·

  ·
  1

  

• Fix SMT SetOf n-ary extensionality axiom

  #266·ylht opened May 4, 2026·

  ·
  2

• Upgrade Z3.

  #248·kape1395 opened Jan 10, 2026Collaborator·

  ·

• Switch tlapm to cmdliner

  enhancement
  #177·glondu opened Nov 21, 2024Contributor·

  ·
  51

• Expose tlapm_lib for other projects.

  #154·kape1395 opened Sep 15, 2024Collaborator·

  ·
  3

  

• Merge updated_enabled_cdot.

  #148·kape1395 opened Aug 31, 2024Collaborator·

  ·
  23

  

• ENH: convert syntax tree to JSON

  #49·johnyf opened Sep 28, 2021Contributor·

  ·
  4