Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 25, 2019

• Remove bindings to Z3_fixedpoint_push/pop.

  Show description for 009772a
  

  walkie

  authored and

  IagoAbal

  committed
  009772a

  Copy full SHA for 009772a

Commits on Jul 30, 2019

• Merge pull request #19

  Show description for e79d249
  IagoAbal

  authored
  e79d249

  Copy full SHA for e79d249

Commits on Jul 29, 2019

• Add semigroups to dependency for ghc <= 7

  Hogeyama

  committed
  c66aee9

  Copy full SHA for c66aee9

Commits on Jun 23, 2019

• Merge: Replace z3_get_error_msg_ex with z3_get_error_msg

  Show description for b10e09b
  IagoAbal

  authored
  b10e09b

  Copy full SHA for b10e09b

Commits on Jun 12, 2019

• replace z3_get_error_msg_ex with z3_get_error_msg

  AlexKnauth

  committed
  a5ae69b

  Copy full SHA for a5ae69b

Commits on Mar 17, 2019

• changelog: Fix typo

  IagoAbal

  committed
  5023693

  Copy full SHA for 5023693

• changelog: Add missing 4.3.1 release

  IagoAbal

  committed
  3986c18

  Copy full SHA for 3986c18

• changelog: Update changes to 408.0

  IagoAbal

  committed
  6a013a7

  Copy full SHA for 6a013a7

• base: Comment out unused marshalling functions

  Show description for 2703c56
  IagoAbal

  committed
  2703c56

  Copy full SHA for 2703c56

• Do not crash on empty lists

  Show description for a0ed32b
  

  strake

  authored and

  IagoAbal

  committed
  a0ed32b

  Copy full SHA for a0ed32b

Commits on Mar 16, 2019

• Bump version to 408.0

  Show description for d586670
  IagoAbal

  committed
  d586670

  Copy full SHA for d586670

• examples: Remove deprecated interpolation example

  Show description for 8100fa8
  IagoAbal

  committed
  8100fa8

  Copy full SHA for 8100fa8

Commits on Mar 10, 2019

• README: Fix links

  IagoAbal

  committed
  333f80f

  Copy full SHA for 333f80f

• Fix "Z3.Base.toBool: illegal `Z3_bool' value" bug for OS X

  Show description for 17869ff
  

  xcthulhu

  authored and

  IagoAbal

  committed
  17869ff

  Copy full SHA for 17869ff

Commits on Feb 16, 2019

• remove z3_get_parser_error and derived functions

  Show description for 77af55a
  

  meditans

  authored and

  IagoAbal

  committed
  77af55a

  Copy full SHA for 77af55a

• remove interpolation interface

  Show description for 1ac16b0
  

  meditans

  authored and

  IagoAbal

  committed
  1ac16b0

  Copy full SHA for 1ac16b0

Commits on Feb 10, 2019

• finite domain sorts

  

  strake

  authored and

  IagoAbal

  committed
  ff5aecf

  Copy full SHA for ff5aecf

• drop unneeded mtl dependency

  

  strake

  authored and

  IagoAbal

  committed
  3ec14bc

  Copy full SHA for 3ec14bc

Commits on May 12, 2018

• z3.cabal: Add CPP to other extensions

  Show description for f3cf151
  IagoAbal

  committed
  f3cf151

  Copy full SHA for f3cf151

• Fix compatibility with base 4.11 due to SMP

  Show description for f64e1d1
  

  strake

  authored and

  IagoAbal

  committed
  f64e1d1

  Copy full SHA for f64e1d1

Commits on Apr 29, 2018

• z3.cabal: Add missing `Example.Monad.ParserInterface` module

  Show description for c422785
  IagoAbal

  committed
  c422785

  Copy full SHA for c422785

• z3.cabal: Fix dependency

  IagoAbal

  committed
  5e8f952

  Copy full SHA for 5e8f952

• Update .gitignore

  IagoAbal

  committed
  ccbbf1d

  Copy full SHA for ccbbf1d

• Update CHANGES.md and README.md

  IagoAbal

  committed
  c72c539

  Copy full SHA for c72c539

• Bump version to 4.3 and change repo to GitHub copy

  IagoAbal

  committed
  320a021

  Copy full SHA for 320a021

• Add support for the Fixedpoint API

  

  DAHeath

  authored and

  IagoAbal

  committed
  62e8d28

  Copy full SHA for 62e8d28

Commits on Apr 28, 2018

• Add some Model related bindings

  

  DanielG

  authored and

  IagoAbal

  committed
  3c02581

  Copy full SHA for 3c02581

• Add some docstrings

  

  deian

  authored and

  IagoAbal

  committed
  b4789f8

  Copy full SHA for b4789f8

• Fix memory leak due to typo

  

  deian

  authored and

  IagoAbal

  committed
  4debe7f

  Copy full SHA for 4debe7f

Commits on Feb 17, 2018

• Added tag v4.2.0 for changeset e2120104c84c

  IagoAbal

  committed
  d0ab252

  Copy full SHA for d0ab252

• Bump version to 4.2.0

  IagoAbal

  committed
  af008d1

  Copy full SHA for af008d1

• Remove support for SMTLIB1 as done in Z3 4.6

  IagoAbal

  committed
  a2dd902

  Copy full SHA for a2dd902

Commits on Dec 29, 2017

• Add support for the Parser interface API

  tjknoth

  committed
  a541233

  Copy full SHA for a541233

Commits on Sep 17, 2017

• Added tag v4.1.2 for changeset 9435e3e5a71a

  IagoAbal

  committed
  f664d6d

  Copy full SHA for f664d6d

• Bump version to 4.1.2

  IagoAbal

  committed
  bc8a27d

  Copy full SHA for bc8a27d

Pagination

Previous

Next