Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 9, 2025

• Upgrade z3 to 4.13.4 (#167)

  Show description for 3649c3a
  Saloed

  authored
  3649c3a

  Copy full SHA for 3649c3a

Commits on Oct 18, 2024

• Theories specialization (#163)

  Show description for 957ead4
  Saloed

  authored
  957ead4

  Copy full SHA for 957ead4

Commits on Dec 28, 2023

• Fix custom bv values support (#149)

  Show description for 8296717
  Saloed

  authored
  8296717

  Copy full SHA for 8296717

Commits on Nov 3, 2023

• Fix expressions simplification (#144)

  Show description for 3769986
  Saloed

  authored
  3769986

  Copy full SHA for 3769986

Commits on Oct 24, 2023

• Bulk assert solver API (#134)

  Show description for edae365
  Saloed

  authored
  edae365

  Copy full SHA for edae365

Commits on Sep 25, 2023

• Terminate solver on close (#129)

  Show description for 3c4efa7
  Saloed

  authored
  3c4efa7

  Copy full SHA for 3c4efa7

Commits on Apr 29, 2023

• Maven release (#108)

  Show description for 8e9f734
  Saloed

  authored
  8e9f734

  Copy full SHA for 8e9f734

Commits on Apr 27, 2023

• Resolve track vars in unsat cores (#105)

  Show description for f0f0fc6
  Saloed

  authored
  f0f0fc6

  Copy full SHA for f0f0fc6

• Specialized model function interpretations (#101)

  Show description for 2fd0701
  Saloed

  authored
  2fd0701

  Copy full SHA for 2fd0701

Commits on Apr 19, 2023

• Faster runner sync solver (#100)

  Show description for 6532b35
  Saloed

  authored
  6532b35

  Copy full SHA for 6532b35

Commits on Apr 14, 2023

• Uninterpreted sort values (#97)

  Show description for 4f1e626
  Saloed

  authored
  4f1e626

  Copy full SHA for 4f1e626

Commits on Mar 25, 2023

• Yices multi-indexed arrays (#88)

  Show description for 4cddd01
  Saloed

  authored
  4cddd01

  Copy full SHA for 4cddd01

Commits on Mar 15, 2023

• Binary AND/OR operations (#84)

  Show description for 3f5f29b
  Saloed

  authored
  3f5f29b

  Copy full SHA for 3f5f29b

Commits on Mar 6, 2023

• Internalizer optimization (#81)

  Show description for 6921c86
  Saloed

  authored
  6921c86

  Copy full SHA for 6921c86

Commits on Mar 1, 2023

• Cvc5 solver support for ksmt (#66)

  Show description for 54bfefd
  dee-tree

  authored
  54bfefd

  Copy full SHA for 54bfefd

Commits on Feb 28, 2023

• Multi indexed arrays (#77)

  Show description for 98c560b
  Saloed

  authored
  98c560b

  Copy full SHA for 98c560b

• Portfolio solver (#60)

  Show description for 490fd83
  Saloed

  authored
  490fd83

  Copy full SHA for 490fd83

Commits on Feb 17, 2023

• Better Bitwuzla solver support (#71)

  Show description for a188ab9
  

  Saloed

  and

  DKARAGODIN

  authored
  a188ab9

  Copy full SHA for a188ab9

• Simplifying context (#67)

  Show description for e9d21fe
  Saloed

  authored
  e9d21fe

  Copy full SHA for e9d21fe

Commits on Feb 14, 2023

• Yices (#46)

  Show description for e681a2a
  Bupaheh

  authored
  e681a2a

  Copy full SHA for e681a2a

Commits on Jan 27, 2023

• KSMT expressions fixes (#63)

  Show description for 058608c
  Saloed

  authored
  058608c

  Copy full SHA for 058608c

• Bv and fp optimization (#61)

  Show description for 2aadbef
  Saloed

  authored
  2aadbef

  Copy full SHA for 2aadbef

Commits on Dec 30, 2022

• Various fixes (#57)

  Show description for 5dbd7fc
  Saloed

  authored
  5dbd7fc

  Copy full SHA for 5dbd7fc

Commits on Dec 14, 2022

• Solver configuration api (#34)

  Show description for ce691f4
  Saloed

  authored
  ce691f4

  Copy full SHA for ce691f4

• Expr simplifier (#45)

  Show description for 818fa80
  Saloed

  authored
  818fa80

  Copy full SHA for 818fa80

Commits on Nov 29, 2022

• Expr sort and decl API rework (#43)

  Show description for 3e17f53
  Saloed

  authored
  3e17f53

  Copy full SHA for 3e17f53

Commits on Nov 9, 2022

• Better const creation API (#36)

  Saloed

  authored
  66538bb

  Copy full SHA for 66538bb

Commits on Oct 25, 2022

• Process runner (#29)

  Show description for ee5de56
  Saloed

  authored
  ee5de56

  Copy full SHA for ee5de56

Loading