Commits

Breadcrumbs

History for

ondevel

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 31, 2024

• Merge branch 'master' into new_z3_4.13.4

  jurajsic

  committed
  d935db5

  Copy full SHA for d935db5

Commits on Dec 16, 2024

• Update .gitignore

  Show description for 7f23826
  

  vhavlena

  and

  jurajsic

  authored
  7f23826

  Copy full SHA for 7f23826

Commits on Dec 11, 2024

• a bit of cleaning

  vhavlena

  committed
  bf9dc3a

  Copy full SHA for bf9dc3a

Commits on Nov 2, 2024

• Sls (Z3Prover#7439)

  Show description for 91dc02d
  

  5 peopleauthored
  91dc02d

  Copy full SHA for 91dc02d

Commits on Aug 30, 2024

• update gitignore to prepare for genaiscript

  Show description for 46d602e
  NikolajBjorner

  committed
  46d602e

  Copy full SHA for 46d602e

Commits on Mar 29, 2023

• update ocaml binding to support more string apis (Z3Prover#6656)

  Hhro

  authored
  6670807

  Copy full SHA for 6670807

Commits on Feb 18, 2023

• fix Z3Prover#6595

  NikolajBjorner

  committed
  f66a082

  Copy full SHA for f66a082

Commits on Nov 3, 2022

• Update .gitignore

  NikolajBjorner

  committed
  6841ba3

  Copy full SHA for 6841ba3

Commits on Oct 20, 2022

• Z3Prover#6364

  NikolajBjorner

  committed
  6d6752b

  Copy full SHA for 6d6752b

• Update .gitignore

  NikolajBjorner

  committed
  354bc50

  Copy full SHA for 354bc50

Commits on Aug 13, 2022

• bug fixes to mod/div quantifier elimination features

  NikolajBjorner

  committed
  5669cf6

  Copy full SHA for 5669cf6

Commits on Jul 11, 2022

• Fix build on Mac (Z3Prover#6146)

  Show description for 8b29f40
  victorpaleologue

  authored
  8b29f40

  Copy full SHA for 8b29f40

Commits on Jun 14, 2022

• Add high level bindings for js (Z3Prover#6048)

  Show description for 7fdcbba
  ritave

  authored
  7fdcbba

  Copy full SHA for 7fdcbba

Commits on Mar 21, 2022

• Update .gitignore

  NikolajBjorner

  committed
  9011100

  Copy full SHA for 9011100

Commits on Jan 10, 2022

• Add WebAssembly/TypeScript bindings (Z3Prover#5762)

  Show description for 2b934b6
  bakkot

  authored
  2b934b6

  Copy full SHA for 2b934b6

Commits on Mar 28, 2021

• Update setup.py to use cmake build system (Z3Prover#5128)

  zwimer

  authored
  531a828

  Copy full SHA for 531a828

Commits on Dec 15, 2020

• Update .gitignore

  NikolajBjorner

  committed
  26b4ab2

  Copy full SHA for 26b4ab2

Commits on May 12, 2020

• ignore my shortcut

  Show description for 2953d3e
  NikolajBjorner

  committed
  2953d3e

  Copy full SHA for 2953d3e

Commits on Apr 22, 2020

• updates to seq and bug fixes (Z3Prover#4056)

  Show description for 95a78b2
  NikolajBjorner

  authored
  95a78b2

  Copy full SHA for 95a78b2

Commits on Jan 20, 2019

• incrementally adding files from dotnet core pull request from @yatli

  Show description for 37d9e6d
  NikolajBjorner

  committed
  37d9e6d

  Copy full SHA for 37d9e6d

Commits on Jan 16, 2019

• Revert "api: dotnet: switch to multi-targeting project and modern cmake-dotnet integration."

  NikolajBjorner

  authored
  038971c

  Copy full SHA for 038971c

Commits on Jan 12, 2019

• dotnet: update build scripts

  

  Yatao Li

  committed
  53eaab4

  Copy full SHA for 53eaab4

• .net: remove net35 related build props; drop src/api/dotnet/core

  

  Yatao Li

  committed
  ffd26e5

  Copy full SHA for ffd26e5

Commits on Dec 21, 2018

• spread a few anonymous namespaces and remove some m_imp idioms

  nunoplopes

  committed
  178e5b3

  Copy full SHA for 178e5b3

Commits on Jun 12, 2017

• [CMake] Move CMake files into their intended location so the

  Show description for 4b517b9
  

  Dan Liew

  committed
  4b517b9

  Copy full SHA for 4b517b9

Commits on Sep 14, 2016

• First steps to a sane python build

  rhelmot

  committed
  0bbd172

  Copy full SHA for 0bbd172

Commits on Mar 27, 2016

• [CMake] Implement support for building the .NET bindings.

  Show description for 20d3bf4
  

  Dan Liew

  committed
  20d3bf4

  Copy full SHA for 20d3bf4

Commits on Mar 4, 2016

• Add globbing patterns to .gitignore so the files copied

  Show description for a5f8cea
  

  Dan Liew

  committed
  a5f8cea

  Copy full SHA for a5f8cea

Commits on Apr 1, 2015

• pull unstable

  Show description for 52619b9
  

  Nikolaj Bjorner

  committed
  52619b9

  Copy full SHA for 52619b9

Commits on Jan 19, 2015

• Minor adjustments after rebasing ml-ng onto unstable.

  Show description for e754aa1
  

  Christoph M. Wintersteiger

  committed
  e754aa1

  Copy full SHA for e754aa1

• ML API refactoring (z3native.c -> z3native_stubs.c)

  Show description for ec0b12e
  

  Christoph M. Wintersteiger

  committed
  ec0b12e

  Copy full SHA for ec0b12e

• ML API temp files added to .gitignore

  Show description for e2ac8c7
  

  Christoph M. Wintersteiger

  committed
  e2ac8c7

  Copy full SHA for e2ac8c7

• More ML API

  Show description for dcd6f1f
  

  Christoph M. Wintersteiger

  committed
  dcd6f1f

  Copy full SHA for dcd6f1f

• More ML API

  Show description for a40433a
  

  Christoph M. Wintersteiger

  committed
  a40433a

  Copy full SHA for a40433a

• More new ML API

  Show description for 1579da0
  

  Christoph M. Wintersteiger

  committed
  1579da0

  Copy full SHA for 1579da0

Pagination

Previous

Next