Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 25, 2018

• learning libs

  

  He Zhu

  committed
  1769293

  Copy full SHA for 1769293

Commits on Jun 20, 2018

• galois

  

  He Zhu

  committed
  9fd96b0

  Copy full SHA for 9fd96b0

Commits on Apr 14, 2018

• artifact

  

  He Zhu

  committed
  0c88c36

  Copy full SHA for 0c88c36

• artifact

  

  He Zhu

  committed
  626f950

  Copy full SHA for 626f950

• artifact

  

  He Zhu

  committed
  ab284e1

  Copy full SHA for ab284e1

• artifact

  

  He Zhu

  committed
  5497461

  Copy full SHA for 5497461

• artifact

  

  He Zhu

  committed
  f8dff9c

  Copy full SHA for f8dff9c

• artifact

  

  He Zhu

  committed
  42a57dc

  Copy full SHA for 42a57dc

• artifact

  

  He Zhu

  committed
  f589e22

  Copy full SHA for f589e22

Commits on Mar 27, 2018

• bench

  

  He Zhu

  committed
  2734e58

  Copy full SHA for 2734e58

Commits on Feb 28, 2018

• pldiae

  

  He Zhu

  committed
  2769913

  Copy full SHA for 2769913

• pldiae

  

  He Zhu

  committed
  dbfe911

  Copy full SHA for dbfe911

• pldiae

  

  He Zhu

  committed
  747c7f4

  Copy full SHA for 747c7f4

• pldiae

  

  He Zhu

  committed
  fc44c01

  Copy full SHA for fc44c01

Commits on Feb 25, 2018

• LinearArbtrary

  

  He Zhu

  committed
  bc745f4

  Copy full SHA for bc745f4

Commits on Jul 10, 2017

• [FIXED] go through bitcasts when identifying external calls

  caballa

  committed
  20f748f

  Copy full SHA for 20f748f

Commits on Jul 7, 2017

• Added option --dsa-stats and --mem-stats to sea horn and sea inspect

  caballa

  committed
  8c3f9a6

  Copy full SHA for 8c3f9a6

Commits on Jul 5, 2017

• [FIXED] dsa-related options for sea inspect

  caballa

  committed
  265d176

  Copy full SHA for 265d176

• [FIXED] copy-and-paste error in CMakeLists.txt

  caballa

  committed
  e349ce8

  Copy full SHA for e349ce8

Commits on Jul 4, 2017

• [FIXED] return if sea-dsa not found after searching for the rest of components

  caballa

  committed
  4fd157e

  Copy full SHA for 4fd157e

• Switched to external sea-dsa component

  caballa

  committed
  c17c70b

  Copy full SHA for c17c70b

Commits on Jul 3, 2017

• Updated url for crab-llvm

  caballa

  committed
  000dc49

  Copy full SHA for 000dc49

Commits on Jun 27, 2017

• Renamed from dsa-seahorn to llvm-dsa

  caballa

  committed
  45d93ca

  Copy full SHA for 45d93ca

Commits on Jun 25, 2017

• Cleanup of the code that translates boxes to Expr

  caballa

  committed
  9114ea9

  Copy full SHA for 9114ea9

Commits on Jun 12, 2017

• Commented user message

  caballa

  committed
  65b1117

  Copy full SHA for 65b1117

Commits on Jun 11, 2017

• [FIXED] the test was incorrectly labeled

  caballa

  committed
  842f15e

  Copy full SHA for 842f15e

• [FIXED] it was calling the uninterpreted function assert instead of sassert

  caballa

  committed
  dc14658

  Copy full SHA for dc14658

• [FIXED] 02_array_sat.c was actually safe (unsat) but we were getting sat (unsafe) because seaopt was removing the assertion.

  caballa

  committed
  2aedca8

  Copy full SHA for 2aedca8

Commits on May 22, 2017

• Included stdio.h header in test and added comment

  caballa

  committed
  ddcfc15

  Copy full SHA for ddcfc15

• Merging modular_inc branch into master

  caballa

  committed
  106db4a

  Copy full SHA for 106db4a

Commits on May 20, 2017

• FIXED DsaPrinterPass cannot be executed after StripShadowMemPass, unless StripShadowMemPass updates accordingly the call graph

  caballa

  committed
  5490048

  Copy full SHA for 5490048

Commits on May 18, 2017

• Skipped test-20-true.cpp and test-20-false.cpp from regression tests

  caballa

  committed
  bd4d08d

  Copy full SHA for bd4d08d

• [FIX] ignore memcpy/memmove analysis if local or dest is null. This is unsound but it avoids crashing. Need to revisit it later

  caballa

  committed
  615ba0b

  Copy full SHA for 615ba0b

• Ignore node is null

  caballa

  committed
  7cd78cb

  Copy full SHA for 7cd78cb

Commits on May 13, 2017

• Avoiding error bits/predefs.h not found when clang < 3.6 used by travis.

  caballa

  committed
  4becd63

  Copy full SHA for 4becd63

Pagination

Previous

Next