Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 18, 2024

• Merge pull request #322 from GaloisInc/vr/fix-gep

  Show description for 7948b66
  Ptival

  authored
  7948b66

• fix confusion between GEP base type and return type

  Show description for c636f42
  Ptival

  committed
  c636f42

• Merge pull request #321 from GaloisInc/vr/fix-lhsty-bug

  Show description for 359da26
  Ptival

  authored
  359da26

• fix pattern-matching binding bug

  Show description for ff2b0e7
  Ptival

  committed
  ff2b0e7

• Merge pull request #320 from GaloisInc/vr/get-inferred-type

  Show description for bfd2266
  Ptival

  authored
  bfd2266

Commits on Oct 17, 2024

• cosmetic

  Ptival

  committed
  f0c8453

• return a typed LLVM value when no type was inferred

  Ptival

  committed
  aeace49

• Merge pull request #319 from GaloisInc/vr/fix-llvm-call-return-type

  Show description for 522b792
  Ptival

  authored
  522b792

• fix Reopt indicate function type rather than return type on LLVM calls

  Ptival

  committed
  530b4f4

• Merge pull request #318 from GaloisInc/vr/fix-get-inferred-type

  Show description for 6452992
  Ptival

  authored
  6452992

• don't error when lookup fails in getInferredType

  Ptival

  committed
  9ef4a25

Commits on Oct 14, 2024

• Merge pull request #317 from GaloisInc/vr/max-restarts

  Show description for 07488fb
  Ptival

  authored
  07488fb

• add max-restarts CLI arguments to stop long constraint solving loops

  Ptival

  committed
  e5859d5

• Merge pull request #316 from GaloisInc/vr/remove-unnecessary-tracing

  Show description for ccd5dbf
  Ptival

  authored
  ccd5dbf

• remove unnecessary tracing

  Ptival

  committed
  e13571b

Commits on Oct 7, 2024

• Merge pull request #203 from GaloisInc/vr/improve-test_reopt_with_relink.sh

  Show description for 0d39383
  Ptival

  authored
  0d39383

• small improvements to test_reopt_with_relink.sh

  Ptival

  committed
  7d0fff0

• Merge pull request #310 from GaloisInc/vr/final-stretch

  Show description for 8e69535
  staslyakhov

  authored
  8e69535

• minor code review cleanups

  Ptival

  committed
  06de2c5

• Add case that interprets bitvector as a pointer

  Show description for a29bf75
  

  staslyakhov

  authored and

  Ptival

  committed
  a29bf75

• Use x86CallRegs to resolve function pointers

  Show description for c0d04c6
  

  staslyakhov

  authored and

  Ptival

  committed
  c0d04c6

• Add function pointer arguments to discovery frontier

  Show description for bfda32a
  Ptival

  committed
  bfda32a

• Preliminary support for stack argument passing

  Show description for 94e3b07
  Ptival

  committed
  94e3b07

• Merge pull request #311 from GaloisInc/vr/bump-macaw

  Show description for d908272
  Ptival

  authored
  d908272

• bump submodules

  Ptival

  committed
  e488cdc

• remove debugging code

  Ptival

  committed
  815e201

• Merge pull request #312 from GaloisInc/fix/ci-centos

  Show description for fa5187d
  Ptival

  authored
  fa5187d

• Force unlzma if needed

  Show description for dc73634
  

  staslyakhov

  authored and

  Ptival

  committed
  dc73634

• Update freeze file for ghc 9.2.8

  

  staslyakhov

  authored and

  Ptival

  committed
  0086116

• Make the reopt-dev container use ubuntu instead of centos

  Show description for ff582fc
  

  staslyakhov

  authored and

  Ptival

  committed
  ff582fc

• Merge pull request #315 from GaloisInc/vr/bump-upload-artifact

  Show description for 5288cc8
  Ptival

  authored
  5288cc8

• bump upload-artifact action version

  Ptival

  committed
  7cac43a

Commits on May 22, 2024

• Merge pull request #309 from GaloisInc/vr/dwarf-funptr-types

  Show description for 20f9497
  Ptival

  authored
  20f9497

• add support for function pointer types from DWARF

  Show description for 8ff316c
  Ptival

  committed
  8ff316c

Commits on Mar 14, 2024

• Merge pull request #306 from GaloisInc/vr/modernize-reopt

  Show description for 0a74916
  Ptival

  authored
  0a74916

Pagination

PreviousNext