Commits

Branch selector

 master

User selector

waywardmonkeys

Datepicker

All time

Commit History

Commits on May 27, 2024

• Fix compilation error in column_info (#7235)

  Show description for 904a50f
  waywardmonkeys

  authored
  904a50f

Commits on Feb 22, 2024

• ci: Really fix set-output. (#7138)

  Show description for 19f5e7f
  waywardmonkeys

  authored
  19f5e7f

• ci: Stop using deprecated ::set-output. (#7136)

  Show description for c0621cb
  waywardmonkeys

  authored
  c0621cb

• Fix typos. (#7137)

  waywardmonkeys

  authored
  143a35d

Commits on Feb 14, 2024

• Fix some typos in identifiers. (#7118)

  waywardmonkeys

  authored
  155dfb1

• ci: Update microsoft/setup-msbuild to v2 from v1.3. (#7119)

  Show description for dba2f78
  waywardmonkeys

  authored
  dba2f78

Commits on Feb 8, 2024

• Fix some typos. (#7115)

  waywardmonkeys

  authored
  53f89a8

Commits on Dec 29, 2023

• Fix some typos. (#7075)

  waywardmonkeys

  authored
  d66df26

Commits on Dec 16, 2023

• Use noexcept more. (#7058)

  waywardmonkeys

  authored
  50e0fd3

Commits on Dec 15, 2023

• Use override more. (#7059)

  waywardmonkeys

  authored
  e90a844

Commits on Dec 13, 2023

• tptr.h: Include <cstdint> once rather than twice. (#7051)

  waywardmonkeys

  authored
  3ebec56

Commits on Nov 28, 2023

• Fix syntax warning when using Python 3.12. (#7022)

  Show description for 3422f44
  waywardmonkeys

  authored
  3422f44

Commits on Nov 27, 2023

• cmake: Use FindPython3. (#7019)

  Show description for 9d1ceab
  waywardmonkeys

  authored
  9d1ceab

Commits on Nov 26, 2023

• mbp: term: Fix reorder ctor warning. (#7016)

  Show description for b5e8f59
  waywardmonkeys

  authored
  b5e8f59

• cmake: Require cmake 3.16 or later. (#7015)

  Show description for 9d3fef3
  waywardmonkeys

  authored
  9d3fef3

Commits on Nov 24, 2023

• z3.h: Don't include stdio.h (#7014)

  Show description for 2354998
  waywardmonkeys

  authored
  2354998

Commits on Oct 25, 2023

• docs: More intra-doc linking, bit of formatting. (#6963)

  waywardmonkeys

  authored
  236afeb

Commits on Jul 24, 2023

• Remove Z3_literals remnants. (#6829)

  Show description for 8cc6969
  waywardmonkeys

  authored
  8cc6969

Commits on Aug 21, 2022

• Fix typos. (#6291)

  waywardmonkeys

  authored
  6ba9ada

• Fix some warnings about unused stuff. (#6290)

  waywardmonkeys

  authored
  706f7fb

Commits on Aug 12, 2022

• api: Correctly map OP_BSREM0 to Z3_BSREM0.

  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  72f4ee9

Commits on Aug 5, 2022

• Use = default for virtual constructors.

  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  5014b1a

• z3++.h: No longer include unused sstream.

  Show description for 6835522
  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  6835522

• userPropagator: Compile as C++20.

  Show description for 7eb1e6d
  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  7eb1e6d

• Fix typos.

  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  1d9345c

• No need to return a const bool.

  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  08165f5

Commits on Aug 4, 2022

• update_api.py: Remove usage of MKException.

  Show description for a3161bd
  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  a3161bd

• cmake: Remove dep on mk_util.py for update_api.py calls.

  Show description for 8a3556e
  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  8a3556e

• mk_unix_dist.py: Fix --nopython

  Show description for ad4c786
  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  ad4c786

Commits on Aug 3, 2022

• Remove all per-OS defines apart from _WINDOWS.

  Show description for dc75031
  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  dc75031

• cmake: Remove telling the Intel compiler to link OpenMP.

  Show description for 85b96dc
  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  85b96dc

• test/lp: Replace if linux with if not windows.

  Show description for d8c9948
  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  d8c9948

• Remove contrib/cmake.

  Show description for 55b70b4
  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  55b70b4

• Remove unused private member from smaller_pattern.

  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  112dba5

• Remove Travis CI configs.

  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  3ab9628

Pagination

PreviousNext