Commits

Branch selector

 main

User selector

aniemetz

Datepicker

All time

Commit History

Commits on Sep 7, 2022

• test: Fix option in prop completeness test.

  Show description for da80993
  aniemetz

  committed
  da80993

  Copy full SHA for da80993

• prop: Set default options for --fun-preprop and prop engine.

  Show description for 2164b01
  aniemetz

  committed
  2164b01

  Copy full SHA for 2164b01

Commits on Jul 21, 2022

• parser: Remove superfluous space in error message.

  aniemetz

  committed
  190f734

  Copy full SHA for 190f734

• Improve error message for declare-sort.

  Show description for 3714d9b
  aniemetz

  committed
  3714d9b

  Copy full SHA for 3714d9b

Commits on Jun 13, 2022

• Update CaDiCal and Kissat to most recent release versions.

  aniemetz

  committed
  bff4d5e

  Copy full SHA for bff4d5e

Commits on Mar 25, 2022

• test: Fix memleak in api test.

  aniemetz

  committed
  ad65bd4

  Copy full SHA for ad65bd4

• smt2: Fix handling of REAL tag classes.

  Show description for 518c352
  aniemetz

  committed
  518c352

  Copy full SHA for 518c352

Commits on Mar 24, 2022

• Minor

  aniemetz

  committed
  8f3802e

  Copy full SHA for 8f3802e

Commits on Jan 27, 2022

• Fix help message.

  aniemetz

  committed
  4e9d507

  Copy full SHA for 4e9d507

• Update copyright headers.

  aniemetz

  committed
  b5f8cc7

  Copy full SHA for b5f8cc7

• Update AUTHORS file.

  aniemetz

  committed
  75ad224

  Copy full SHA for 75ad224

Commits on Nov 15, 2021

• api: Clean up pointer handling.

  Show description for 6e46391
  aniemetz

  committed
  6e46391

  Copy full SHA for 6e46391

Commits on Nov 3, 2021

• Fix set_option handling in main.

  aniemetz

  committed
  2ee9505

  Copy full SHA for 2ee9505

Commits on Oct 29, 2021

• Minor

  aniemetz

  committed
  1d41ed4

  Copy full SHA for 1d41ed4

Commits on Oct 27, 2021

• api: Add support for is_rm_value_*.

  aniemetz

  committed
  548f90f

  Copy full SHA for 548f90f

Commits on Sep 17, 2021

• Fix bitwuzla_get_children (missing simplify_exp).

  Show description for fa95ce4
  aniemetz

  committed
  fa95ce4

  Copy full SHA for fa95ce4

• api: kind: Internal kind UF is mapped to kind CONSTANT.

  aniemetz

  committed
  fa1f5e3

  Copy full SHA for fa1f5e3

• api: Add term leaf kind for UF.

  aniemetz

  committed
  739fb13

  Copy full SHA for 739fb13

• api: kind: Order leaf kinds alphabetically.

  aniemetz

  committed
  fd06b80

  Copy full SHA for fd06b80

• api: Add to_string functions for Kind, Result, RoundingMode.

  aniemetz

  committed
  d86ce24

  Copy full SHA for d86ce24

Commits on Sep 14, 2021

• bv: Update comment.

  aniemetz

  committed
  a0c1c23

  Copy full SHA for a0c1c23

Commits on Sep 13, 2021

• Fix Python API for recent changes in fun_get_domain_sorts.

  aniemetz

  committed
  0ce7561

  Copy full SHA for 0ce7561

Commits on Sep 11, 2021

• api: Get support for non-operator kinds in get_kind.

  Show description for f94c877
  aniemetz

  committed
  f94c877

  Copy full SHA for f94c877

Commits on Sep 10, 2021

• bv: Fix issue with creating bit-vector from negative decimal value.

  aniemetz

  committed
  cb330b9

  Copy full SHA for cb330b9

• Minor

  aniemetz

  committed
  c23fd16

  Copy full SHA for c23fd16

• Fix model generation for apply nodes over FP expressions.

  aniemetz

  committed
  9550738

  Copy full SHA for 9550738

Commits on Sep 9, 2021

• rm: Fix value printing for RM values.

  aniemetz

  committed
  36ec27d

  Copy full SHA for 36ec27d

Commits on Sep 8, 2021

• api: Make input arg for term_get_symbol const.

  aniemetz

  committed
  48c804f

  Copy full SHA for 48c804f

• Minor

  aniemetz

  committed
  8010ae2

  Copy full SHA for 8010ae2

• api: get_domain_sorts: Return const array.

  aniemetz

  committed
  d9d1b6d

  Copy full SHA for d9d1b6d

Commits on Sep 2, 2021

• api: get_array_value: Make output args of const element type.

  aniemetz

  committed
  4d76875

  Copy full SHA for 4d76875

• api: get_fun_value: Make output array args of const element type.

  aniemetz

  committed
  7c77bfe

  Copy full SHA for 7c77bfe

• api: Use const for index array input argument.

  aniemetz

  committed
  592840d

  Copy full SHA for 592840d

Commits on Aug 30, 2021

• api: Do not allow to disable incremental when unsat cores are enabled.

  aniemetz

  committed
  758a66c

  Copy full SHA for 758a66c

Commits on Aug 24, 2021

• api: Use const for sort pointer array input arguments.

  aniemetz

  committed
  6fe9109

  Copy full SHA for 6fe9109

Pagination

Previous

Next