Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 19, 2021

• Convert calls to Rust's panic functions to a call to a marker (smackers#763)

  Show description for b6c6ff3
  keram88

  authored
  b6c6ff3

  Copy full SHA for b6c6ff3

Commits on Oct 18, 2021

• Added override to fix a compiler warning

  zvonimir

  committed
  1f17353

  Copy full SHA for 1f17353

• Merge pull request smackers#601 from jjgarzella/loop-end

  Show description for 8b47691
  zvonimir

  authored
  8b47691

  Copy full SHA for 8b47691

Commits on Oct 11, 2021

• AnnotateLoopExits from Module to Function Pass

  Show description for a3af500
  jjgarzella

  committed
  a3af500

  Copy full SHA for a3af500

Commits on Oct 9, 2021

• Upgrade SMACK to support LLVM 12

  Show description for be2d6c5
  shaobo-he

  authored
  be2d6c5

  Copy full SHA for be2d6c5

Commits on Sep 13, 2021

• Some code cleanup

  Show description for 31db208
  jjgarzella

  committed
  31db208

  Copy full SHA for 31db208

• Tests, formattingl, and CLI

  Show description for 2916c61
  jjgarzella

  committed
  2916c61

  Copy full SHA for 2916c61

• Refactor AnnotateLoopEnds and remove extra prints

  Show description for 9dd9f15
  jjgarzella

  committed
  9dd9f15

  Copy full SHA for 9dd9f15

• Working first version of loop exit pass

  Show description for 9cc59b3
  jjgarzella

  committed
  9cc59b3

  Copy full SHA for 9cc59b3

• Finished Basic Hello World Pass

  Show description for e5a6e2f
  

  vagrant

  authored and

  jjgarzella

  committed
  e5a6e2f

  Copy full SHA for e5a6e2f

Commits on Apr 30, 2021

• Added allocation size attribute for global variables

  shaobo-he

  committed
  3aa7c34

  Copy full SHA for 3aa7c34

Commits on Apr 24, 2021

• Cleaned up handling of SMACK warnings

  Show description for 465280b
  zvonimir

  authored
  465280b

  Copy full SHA for 465280b

Commits on Apr 6, 2021

• Add an option to enable targeted checking of specific functions

  Show description for b195fca
  keram88

  committed
  b195fca

  Copy full SHA for b195fca

Commits on Mar 19, 2021

• Updated SMACK to support LLVM 11

  shaobo-he

  committed
  a1288df

  Copy full SHA for a1288df

Commits on Feb 24, 2021

• Made casts from llvm::StringRef to std::string explicit

  Show description for 3baad49
  shaobo-he

  committed
  3baad49

  Copy full SHA for 3baad49

Commits on Feb 19, 2021

• Improve support for fully linked Rust programs from Cargo.

  Show description for 6929302
  keram88

  committed
  6929302

  Copy full SHA for 6929302

Commits on Jan 16, 2021

• Refactored warning message APIs (smackers#676)

  Show description for a6baa6d
  shaobo-he

  authored
  a6baa6d

  Copy full SHA for a6baa6d

Commits on Dec 21, 2020

• Make memory-safety instrumentations copy dbg metadata

  Show description for b8b9e01
  shaobo-he

  committed
  b8b9e01

  Copy full SHA for b8b9e01

Commits on Dec 15, 2020

• Translate callbr instruction to skip statement

  Show description for 0d125d1
  shaobo-he

  committed
  0d125d1

  Copy full SHA for 0d125d1

Commits on Nov 14, 2020

• Fixed formatting and renamed an argument

  Show description for 379f52c
  zvonimir

  committed
  379f52c

  Copy full SHA for 379f52c

Commits on Nov 12, 2020

• Make warning system aware of flag relations

  shaobo-he

  committed
  7b0688d

  Copy full SHA for 7b0688d

Commits on Nov 11, 2020

• Added rewrite-bitwise-ops command line option

  Show description for 8d3ac0e
  zvonimir

  committed
  8d3ac0e

  Copy full SHA for 8d3ac0e

• Implemented using procedures for bit-wise operations

  Show description for 5c6cbcb
  zvonimir

  committed
  5c6cbcb

  Copy full SHA for 5c6cbcb

Commits on Nov 7, 2020

• Add a pass to transform certain bit-wise operations into integer operations

  Show description for dc16dd5
  keram88

  authored
  dc16dd5

  Copy full SHA for dc16dd5

Commits on Nov 6, 2020

• Improving sign vs unsign integer constant heuristics

  Show description for 31a8e0b
  zvonimir

  authored
  31a8e0b

  Copy full SHA for 31a8e0b

Commits on Oct 2, 2020

• Update handling of Rust entry

  Show description for e0243d4
  keram88

  committed
  e0243d4

  Copy full SHA for e0243d4

Commits on Aug 23, 2020

• Added support for FNeg operation

  shaobo-he

  committed
  7aa4a3e

  Copy full SHA for 7aa4a3e

• Upgrade SMACK to LLVM 10

  shaobo-he

  committed
  836ab56

  Copy full SHA for 836ab56

Commits on Aug 12, 2020

• Split INT_WRAP_FUNCTIONS table

  shaobo-he

  committed
  a6959ff

  Copy full SHA for a6959ff

Commits on Aug 11, 2020

• Replaced constant string table with function

  shaobo-he

  committed
  387f571

  Copy full SHA for 387f571

Commits on Jul 29, 2020

• Moved wrapping logic from SmackRep.cpp to Prelude.cpp

  shaobo-he

  committed
  1b025ed

  Copy full SHA for 1b025ed

• Added handling of trunc instruction and its justification

  shaobo-he

  committed
  047bdf7

  Copy full SHA for 047bdf7

• Added wrapped integer encoding to integer comparison operations

  shaobo-he

  committed
  7f092d4

  Copy full SHA for 7f092d4

• Added tou and tos declarations

  shaobo-he

  committed
  0041ac2

  Copy full SHA for 0041ac2

• Added a flag to enable wrapped integer encoding

  shaobo-he

  committed
  7fbf900

  Copy full SHA for 7fbf900

Pagination

Previous

Next