Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 31, 2019

• Change acronym for JFS. It was originally "JIT Fuzzing Solver" but

  Show description for f6238e4
  afd

  committed
  f6238e4

  Copy full SHA for f6238e4

Commits on Aug 28, 2019

• Add UBSan libstdc++ pointer alginment suppression and also halt

  Show description for a2ebfdf
  afd

  committed
  a2ebfdf

  Copy full SHA for a2ebfdf

Commits on Jan 8, 2018

• Update copyright for 2018.

  

  Dan Liew

  committed
  14a1e0c

  Copy full SHA for 14a1e0c

• Start porting to LLVM 6.0.

  Show description for 2f8f2c7
  

  Dan Liew

  committed
  2f8f2c7

  Copy full SHA for 2f8f2c7

Commits on Aug 20, 2017

• Add useful script for setting up suppression environment variables

  

  Dan Liew

  committed
  56d1904

  Copy full SHA for 56d1904

• Add suppression files for UBSan and ASan to workaround known problems.

  

  Dan Liew

  committed
  09fb172

  Copy full SHA for 09fb172

• [CMake] Fix ASan compilation by building a separate copy of GTest

  Show description for 77c40ed
  

  Dan Liew

  committed
  77c40ed

  Copy full SHA for 77c40ed

Commits on Aug 16, 2017

• Try to unbreak the docker image build. The JFS tests need

  Show description for 669c908
  

  Dan Liew

  committed
  669c908

  Copy full SHA for 669c908

Commits on Jul 27, 2017

• [CMake] Large refactor of runtime and run time unit tests.

  Show description for 798c53c
  

  Dan Liew

  committed
  798c53c

  Copy full SHA for 798c53c

Commits on Jul 5, 2017

• Add some more filters

  

  Dan Liew

  committed
  3fdc2f5

  Copy full SHA for 3fdc2f5

• Add hacky query filter script

  

  Dan Liew

  committed
  e495a76

  Copy full SHA for e495a76

Commits on Jul 4, 2017

• Add some hacky scripts for running jfs.

  

  Dan Liew

  committed
  01b7e0c

  Copy full SHA for 01b7e0c

Commits on Jun 5, 2017

• Add environment variable to control whether or not JFS is built with

  Show description for 54fa785
  

  Dan Liew

  committed
  54fa785

  Copy full SHA for 54fa785

Commits on Jun 4, 2017

• Try to fix star exec description based on using their web interface.

  Show description for 1e77ad5
  

  Dan Liew

  committed
  1e77ad5

  Copy full SHA for 1e77ad5

• StarExec is really pedantic about the description. There is something

  Show description for 1b28cd6
  

  Dan Liew

  committed
  1b28cd6

  Copy full SHA for 1b28cd6

• Add solver description that gets added to tarball for StarExec.

  

  Dan Liew

  committed
  266cd91

  Copy full SHA for 266cd91

• Fix bugs in mk_starexec_binary_dist.sh

  

  Dan Liew

  committed
  30e1f9c

  Copy full SHA for 30e1f9c

• Sketch script for producing starexec build artifact. This hasn't

  Show description for 6f8506a
  

  Dan Liew

  committed
  6f8506a

  Copy full SHA for 6f8506a

Commits on May 29, 2017

• Hack our local copy of gtest so that its target names don't conflict

  Show description for 3331dce
  

  Dan Liew

  committed
  3331dce

  Copy full SHA for 3331dce

Commits on May 28, 2017

• Initial commit. This is really just build system stuff. The JFS

  Show description for f15e5cb
  

  Dan Liew

  committed
  f15e5cb

  Copy full SHA for f15e5cb

Loading