Commits

Breadcrumbs

History for

on0.7

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 7, 2020

• Drop direct support for Ubuntu 18.04 and switch to static PPA releases for it.

  ekpyron

  committed
  a3a5d93

  Copy full SHA for a3a5d93

Commits on Sep 14, 2020

• Add groovy to static Z3 deps PPA script.

  

  ekpyron

  authored and

  Leonardo Alt

  committed
  32a322e

  Copy full SHA for 32a322e

• Remove obsolete eoan from static z3 PPA script.

  

  ekpyron

  authored and

  Leonardo Alt

  committed
  1312d54

  Copy full SHA for 1312d54

• Bump Z3 version in static Z3 PPA build to 4.8.9.

  

  ekpyron

  authored and

  Leonardo Alt

  committed
  7288e39

  Copy full SHA for 7288e39

Commits on May 14, 2020

• Update PPA scripts.

  ekpyron

  committed
  a7f6a4b

  Copy full SHA for a7f6a4b

Commits on Feb 13, 2020

• Add Ubuntu Focal.

  

  chriseth

  authored and

  ekpyron

  committed
  5ec8202

  Copy full SHA for 5ec8202

Commits on Jan 15, 2020

• Use Python 3 instead of Python 2 (EOL'd)

  christianparpart

  committed
  44e8926

  Copy full SHA for 44e8926

Commits on Dec 3, 2019

• Rename cmake option

  ekpyron

  committed
  c9be3bd

  Copy full SHA for c9be3bd

• Update to Z3 4.8.7 and cherry-pick build fix commit

  ekpyron

  committed
  e04d895

  Copy full SHA for e04d895

Commits on Nov 11, 2019

• Update PPA build script for Z3 to version 4.8.6. And add eoan to Z3 and release PPA script.

  ekpyron

  committed
  b3174db

  Copy full SHA for b3174db

Commits on Aug 13, 2019

• Experimental static Z3 PPA script.

  ekpyron

  committed
  bd105ad

  Copy full SHA for bd105ad

Loading