Commits

Breadcrumbs

History for

ondevel

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 18, 2021

• update travis to ubuntu 18.04

  Show description for 1105f4a
  nunoplopes

  committed
  1105f4a

  Copy full SHA for 1105f4a

Commits on Jan 2, 2018

• Typo fixes.

  waywardmonkeys

  committed
  73b3da3

  Copy full SHA for 73b3da3

Commits on Oct 16, 2017

• [ASan] Ignore Clang OpenMP leaks for now.

  

  Dan Liew

  committed
  fd98593

  Copy full SHA for fd98593

• [UBSan] Remove a bunch of suppressions.

  

  Dan Liew

  committed
  675a3ae

  Copy full SHA for 675a3ae

• [LSan] Remove suppression files. The were fixed on rebase

  

  Dan Liew

  committed
  8d60005

  Copy full SHA for 8d60005

• [LSan] Suppress another leak until I can figure out what is going on.

  

  Dan Liew

  committed
  f90fe92

  Copy full SHA for f90fe92

• [LSan] Add suppression for part of Z3Prover#1297.

  

  Dan Liew

  committed
  bcff86a

  Copy full SHA for bcff86a

• [UBSan] Update UBSan suppression file to suppress all undefined

  Show description for 71dcec3
  

  Dan Liew

  committed
  71dcec3

  Copy full SHA for 71dcec3

• [TravisCI] Add ASan/LSan/UBSan suppression files and use them in

  Show description for 64ee9f1
  

  Dan Liew

  committed
  64ee9f1

  Copy full SHA for 64ee9f1

Loading