Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 15, 2015

• Generalize address-handling operations for 64-bit

  Show description for 653ffc4
  smcc

  committed
  653ffc4

  Copy full SHA for 653ffc4

• Print "Hit table cache" only under -trace-tables

  smcc

  committed
  728bb76

  Copy full SHA for 728bb76

Commits on Nov 2, 2015

• More rules for simplifying shifts that end up as 0

  Show description for d46bcb6
  smcc

  committed
  d46bcb6

  Copy full SHA for d46bcb6

Commits on Oct 9, 2015

• Use hash tables for indexing satisfying assignments

  Show description for f111cf2
  smcc

  committed
  f111cf2

  Copy full SHA for f111cf2

Commits on Oct 8, 2015

• Introduce data abstraction for satisfying assignments

  Show description for e523cc3
  smcc

  committed
  e523cc3

  Copy full SHA for e523cc3

• Flush after -trace-iterations messages

  Show description for 4a067e2
  smcc

  committed
  4a067e2

  Copy full SHA for 4a067e2

• Update stack-determinism mechanism for 8-byte pointers

  Show description for e7b77d8
  smcc

  committed
  e7b77d8

  Copy full SHA for e7b77d8

Commits on Sep 9, 2015

• Fix type error in x64 rol/ror flags computation

  smcc

  committed
  6bf8b1e

  Copy full SHA for 6bf8b1e

Commits on Sep 7, 2015

• Fix "R16" typo in translation of %r15l

  smcc

  committed
  2580544

  Copy full SHA for 2580544

• More x64 instructions and syscalls

  Show description for 571338c
  smcc

  committed
  571338c

  Copy full SHA for 571338c

Commits on Sep 6, 2015

• Basic x64 syscall and SIMD support, -trace-{stmts,eval}

  Show description for 3f47d09
  smcc

  committed
  3f47d09

  Copy full SHA for 3f47d09

Commits on Sep 3, 2015

• Basic uname(2) and cpuid work for x64

  Show description for 7678333
  smcc

  committed
  7678333

  Copy full SHA for 7678333

• More work on x64 multiplication

  Show description for 9bcfed2
  smcc

  committed
  9bcfed2

  Copy full SHA for 9bcfed2

Commits on Sep 2, 2015

• Don't print temporary variables in -trace-assigns

  Show description for f2478e8
  smcc

  committed
  f2478e8

  Copy full SHA for f2478e8

• Optimize (!c) ? x : y to c ? y : x

  smcc

  committed
  475cec6

  Copy full SHA for 475cec6

Commits on Aug 31, 2015

• Core implementation of x64 multiply

  Show description for e233bbd
  smcc

  committed
  e233bbd

  Copy full SHA for e233bbd

Commits on Aug 24, 2015

• Add basic implementation of SSE registers and FP ops

  Show description for ced30c3
  smcc

  committed
  ced30c3

  Copy full SHA for ced30c3

Commits on Aug 6, 2015

• Add -skip-call-ret-symbol-once option

  Show description for 3bb1fce
  smcc

  committed
  3bb1fce

  Copy full SHA for 3bb1fce

Commits on Aug 5, 2015

• Add commuted version of x-x=0 identity

  Show description for 73a552b
  smcc

  committed
  73a552b

  Copy full SHA for 73a552b

• Basic process-startup and syscall support for x64

  Show description for 5968df7
  smcc

  committed
  5968df7

  Copy full SHA for 5968df7

Commits on Aug 4, 2015

• Do masking of x86 RCL/RCR shift amounts

  Show description for 26e6454
  smcc

  committed
  26e6454

  Copy full SHA for 26e6454

Commits on Aug 3, 2015

• First draft of x64 flags support for shift/rotate

  Show description for 3272100
  smcc

  committed
  3272100

  Copy full SHA for 3272100

Commits on Jun 30, 2015

• Add signed version of narrow_bitwidth analysis

  Show description for d5118d1
  smcc

  committed
  d5118d1

  Copy full SHA for d5118d1

• Ensure bytes are non-negative in frag_marshal

  Show description for 699cc78
  smcc

  committed
  699cc78

  Copy full SHA for 699cc78

• x64 condition codes for adc, sbb, inc, and dec

  Show description for 100906d
  smcc

  committed
  100906d

  Copy full SHA for 100906d

Commits on Jun 29, 2015

• Miscellaneous fixes for basic X64 execution

  Show description for 89b1812
  smcc

  committed
  89b1812

  Copy full SHA for 89b1812

• Generalize basic ELF loading for 64-bit

  Show description for 95cb4c8
  smcc

  committed
  95cb4c8

  Copy full SHA for 95cb4c8

• Misc. VEX compatibility fixes for X64

  Show description for 1e7fbbb
  smcc

  committed
  1e7fbbb

  Copy full SHA for 1e7fbbb

• Add signed < and <= to LibASMIR

  Show description for ead23fa
  smcc

  committed
  ead23fa

  Copy full SHA for ead23fa

• More basics of x64 condition codes

  Show description for e18cea1
  smcc

  committed
  e18cea1

  Copy full SHA for e18cea1

Commits on Jun 25, 2015

• Rough beginnings of x64 condition-code support

  Show description for 31a400b
  smcc

  committed
  31a400b

  Copy full SHA for 31a400b

Commits on Apr 7, 2015

• Merge pull request bitblaze-fuzzball#10 from splitting-tens/master

  Show description for b8c7796
  smcc

  committed
  b8c7796

  Copy full SHA for b8c7796

• Merge https://github.com/bitblaze-fuzzball/fuzzball

  morehouse

  committed
  f48d8e3

  Copy full SHA for f48d8e3

• Added a check for completely symbolic loads

  Show description for dbcaf78
  morehouse

  committed
  dbcaf78

  Copy full SHA for dbcaf78

Commits on Mar 31, 2015

• Add -timeout-as-unsat option, and related solver changes

  Show description for 856d48a
  smcc

  committed
  856d48a

  Copy full SHA for 856d48a

Pagination

Previous

Next