All pull requests

Pull requests

• [DO NOT MERGE] Kore: prepare function equations once per module, not per request

  #4165·RaoulSchaffranek opened Oct 28, 2026Member·

  ·
  1

• docs: fix typos in README

  #4164·tensorworkerr opened Oct 1, 2026·

  ·

• Re-add cachix/cachix-action to test.yml workflow

  #4160·juliankuners opened Jul 7, 2026Contributor·

  ·

• Ceil simplifier

  #4157·ehildenb opened Jun 18, 2026Member·

  ·
  3

• Remove RHS from cut point results in RPC API

  #4144·jberthold opened May 8, 2026Collaborator·

  ·

• feat(kore): add IEEE float builtin support

  #4142·Stevengre opened Mar 23, 2026Contributor·

  ·

• Add downstream performance workflow

  perf
  #4141·Stevengre opened Mar 12, 2026Contributor·

  ·
  1

  

• Add builtin data structure benchmark framework for booster

  #4139·Stevengre opened Feb 25, 2026Contributor·

  ·
  19

  

• Hs dependency upgrade ghc 9.10.3

  #4137·jberthold opened Feb 13, 2026Collaborator·2 tasks·

  ·

• Update LICENSE

  #4092·maximevtush opened Feb 7, 2025·

  ·

• Update LICENSE

  #4091·maximevtush opened Feb 7, 2025·

  ·

• Remove mutex around LLVM calls from booster

  #4087·jberthold opened Jan 17, 2025Collaborator·

  ·
  1

• chore: remove redundant words

  #4082·loselarry opened Dec 24, 2024·1 of 4 tasks·

  ·

• 4043 filter smt lemmas use only opaque use equations symmetrically

  #4054·jberthold opened Oct 3, 2024Collaborator·

  ·
  4

• WIP Syntactic simplifications

  #4022·geo2a opened Aug 8, 2024Contributor·

  ·
  1

  7

• 4012 evaluate pattern pruning

  do not merge
  #4020·geo2a opened Aug 7, 2024Contributor·

  ·
  1

  24

• Update link from unofficial nixos wiki to official one

  #4014·llakala opened Aug 2, 2024·

  ·

• Fix typos

  #3971·omahs opened Jul 9, 2024·

  ·

• Revert 'Eliminate top level existentials in side-condtions'

  #3620·goodlyrottenapple opened Jul 12, 2023Contributor·

  ·
  1

  6

• Full correctness

  #3044·traiansf opened Apr 27, 2022Contributor·

  ·
  24