Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 20, 2020

• updates more plugins to the latest version of OCaml and Core

  ivg

  committedNov 20, 2020
  2e9aa5c

• updates checkpath

  ivg

  committedNov 20, 2020
  f6e39fa

• updates callstrings

  ivg

  committedNov 20, 2020
  dd6bcae

• adds a new check-invariants pass

  ivg

  committedNov 20, 2020
  b7fabd1

• updates the test-expect framework

  ivg

  committedNov 20, 2020
  fdc27b5

• updates saluki to core v0.14

  ivg

  committedNov 20, 2020
  0dfa8b3

Commits on Jan 30, 2020

• fixes a bug in a test artifact

  ivg

  committedJan 30, 2020
  63f61d2

• updates the paper to the official one

  ivg

  committedJan 30, 2020
  4fdda52

• updates default options for Saluki tests

  ivg

  committedJan 30, 2020
  67061bb

• updates Saluki to BAP 2.0, adds coverage printing

  ivg

  committedJan 30, 2020
  dfdf71f

• updates test-expect to the newer version of core

  ivg

  committedJan 30, 2020
  27fec68

Commits on Mar 8, 2019

• adds the lifting benchmark

  ivg

  committedMar 8, 2019
  fe6cd63

Commits on Feb 28, 2019

• updated code base (#28)

  

  gitoleg

  authored and

  ivg

  committedFeb 28, 2019
  1c3be48

Commits on Jan 31, 2019

• updates saluki to core-kernel 11

  

  gitoleg

  authored and

  ivg

  committedJan 31, 2019
  1a8fb78

Commits on Mar 19, 2018

• updates acknowledgements in the paper

  ivg

  authoredMar 19, 2018
  834c0ea

Commits on Mar 1, 2018

• makes all plugins compilable under modern BAP and Core

  ivg

  committedMar 1, 2018
  6c0306f

• removes beagle

  ivg

  committedMar 1, 2018
  3a89828

• adds options to Saluki Makefile to enable Primus

  ivg

  committedMar 1, 2018
  6abb814

Commits on Feb 27, 2018

• addresses gcc warnings

  ivg

  committedFeb 27, 2018
  c0c1920

• updates Saluki command line options

  ivg

  committedFeb 27, 2018
  93e45b9

• updates build option to reflect latest changes to ppx

  ivg

  committedFeb 27, 2018
  6998542

• updates to core v0.9.x changes

  ivg

  committedFeb 27, 2018
  713a68f

• enables parsing both stdout and stderr

  ivg

  committedFeb 27, 2018
  9f142ab

• updates to core v0.9.x interface changes

  ivg

  committedFeb 27, 2018
  f70518e

Commits on Feb 17, 2018

• Update README.md

  rvantonder

  authoredFeb 17, 2018
  888d556

Commits on Feb 7, 2018

• adds acknowledgements to the paper

  ivg

  authoredFeb 7, 2018
  cbb3c47

• adds Saluki paper (draft)

  ivg

  authoredFeb 7, 2018
  eaf0c4f

Commits on Aug 25, 2017

• Merge pull request #20 from gitoleg/saluki-minor-fix

  gitoleg

  authoredAug 25, 2017
  72e2682

• fixed solver cmdline option name

  gitoleg

  committedAug 25, 2017
  d01ad42

Commits on Aug 16, 2017

• renames callsites to callstrings and fixes a bug

  ivg

  committedAug 16, 2017
  bcbbd0e

Commits on Feb 2, 2017

• matures beagle

  ivg

  committedFeb 2, 2017
  a0d6d8f

Commits on Dec 9, 2016

• beagle update

  ivg

  committedDec 9, 2016
  c2916a4

Commits on Nov 28, 2016

• first prototype of beagle

  ivg

  committedNov 28, 2016
  d128270

Commits on Oct 7, 2016

• Merge remote-tracking branch 'origin/master'

  ivg

  committedOct 7, 2016
  0d45e9c

• update saluki

  ivg

  committedOct 7, 2016
  6a27dc5

Pagination

PreviousNext