Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on May 30, 2024

• Bump to llvm 18 (#880)

  Show description for a55864f
  regehr

  authored
  a55864f

  Copy full SHA for a55864f

• Alive2 version bump and misc (#879)

  manasij7479

  authored
  8376c76

  Copy full SHA for 8376c76

Commits on Oct 30, 2023

• remove this file

  regehr

  committed
  a4fed06

  Copy full SHA for a4fed06

• Bump to llvm 17 (#875)

  Show description for 8648d11
  regehr

  authored
  8648d11

  Copy full SHA for 8648d11

Commits on Nov 17, 2022

• bump to LLVM 15. there are still some failing tests to fix up. (#858)

  Show description for 57edba8
  regehr

  authored
  57edba8

  Copy full SHA for 57edba8

Commits on Jun 2, 2021

• optionally use UNIX domain sockets to talk to redis (#841)

  regehr

  authored
  be5fc50

  Copy full SHA for be5fc50

Commits on May 26, 2021

• cache-infer no longer writes RHSs to the cache but rather has souper-check do this (#833)

  Show description for 4a0e93f
  regehr

  authored
  4a0e93f

  Copy full SHA for 4a0e93f

Commits on May 5, 2021

• cleanup dockerfile (#820)

  zhengyang92

  authored
  c726001

  Copy full SHA for c726001

Commits on May 4, 2021

• remove go stuff (#818)

  regehr

  authored
  ab46830

  Copy full SHA for ab46830

Commits on May 3, 2021

• use llvm-mca as a cost model -- this implements that, but the work is unfinished and it isn't used anywhere, still work to do (#817)

  regehr

  authored
  558e50d

  Copy full SHA for 558e50d

Commits on May 2, 2021

• Keep up with alive2 API (#814)

  manasij7479

  authored
  16f145e

  Copy full SHA for 16f145e

Commits on Nov 22, 2020

• Precondition inference for multiple variables (#804)

  manasij7479

  authored
  6b7a271

  Copy full SHA for 6b7a271

Commits on Oct 1, 2020

• Encode DemandedBits (#787)

  manasij7479

  authored
  23cf02c

  Copy full SHA for 23cf02c

Commits on Sep 29, 2020

• TF verification code drop (#790)

  manasij7479

  authored
  412bff0

  Copy full SHA for 412bff0

Commits on Sep 27, 2020

• highly experimental code for synthesizing tranfer functions (#789)

  regehr

  authored
  d9c2cfa

  Copy full SHA for d9c2cfa

Commits on Jun 26, 2020

• go with a tagged LLVM so I don't accidentally break things (#780)

  Show description for 0936858
  regehr

  authored
  0936858

  Copy full SHA for 0936858

Commits on Jun 12, 2020

• a few misc changes, most important of which is making sure (#778)

  Show description for 0eea732
  regehr

  authored
  0eea732

  Copy full SHA for 0eea732

Commits on Jun 6, 2020

• redo our cmake stuff a bit so that shared libs are reliably (#773)

  Show description for fcfd899
  regehr

  authored
  fcfd899

  Copy full SHA for fcfd899

Commits on Jun 3, 2020

• hardcode the path to the solver, don't require it to be specified each (#771)

  Show description for b5ae868
  regehr

  authored
  b5ae868

  Copy full SHA for b5ae868

Commits on May 21, 2020

• Link Z3 dynamically (#754)

  Show description for 4be5755
  pranavk

  authored
  4be5755

  Copy full SHA for 4be5755

Commits on Jan 30, 2020

• misc build fixes (#703)

  zhengyang92

  authored
  2a1928e

  Copy full SHA for 2a1928e

• freeze support (#674)

  Show description for 9b1e347
  pranavk

  authored
  9b1e347

  Copy full SHA for 9b1e347

Commits on Dec 10, 2019

• fix codegen link error on osx (#678)

  

  zhengyang92

  authored and

  regehr

  committed
  3a026d8

  Copy full SHA for 3a026d8

• Codegen (#676)

  Show description for 4580cf2
  

  zhengyang92

  authored and

  regehr

  committed
  4580cf2

  Copy full SHA for 4580cf2

Commits on Nov 16, 2019

• allow using release/debug llvm for debug/release souper

  

  pranavk

  authored and

  regehr

  committed
  64ddc82

  Copy full SHA for 64ddc82

Commits on Nov 8, 2019

• Revert "Update main.yml"

  Show description for ed0379a
  

  pranavk

  authored and

  regehr

  committed
  ed0379a

  Copy full SHA for ed0379a

Commits on Nov 5, 2019

• Update LLVM version to 9

  Show description for 771d2e5
  regehr

  committed
  771d2e5

  Copy full SHA for 771d2e5

Commits on Oct 28, 2019

• init github workflow - build souper, execute some scripts, comment the results

  

  pranavk

  authored and

  regehr

  committed
  e276749

  Copy full SHA for e276749

Commits on Sep 13, 2019

• exhaustive->enumerative

  

  zhengyang92

  authored and

  regehr

  committed
  a1fc418

  Copy full SHA for a1fc418

Commits on Sep 11, 2019

• GDB Pretty print support for souper::Inst*

  

  pranavk

  authored and

  regehr

  committed
  2d9fbe2

  Copy full SHA for 2d9fbe2

Commits on May 7, 2019

• precision testing of knownbits, negative, nonNeg, nonZero, power2, signbits

  

  jubitaneja

  authored and

  regehr

  committed
  08ac5f4

  Copy full SHA for 08ac5f4

• CR testing infra

  

  pranavk

  authored and

  regehr

  committed
  d9837ff

  Copy full SHA for d9837ff

Commits on Apr 11, 2019

• Make all constantsynthesis into one function

  

  zhengyang92

  authored and

  regehr

  committed
  30a19cc

  Copy full SHA for 30a19cc

Commits on Apr 10, 2019

• add support for generating dot format for souper IR

  Show description for 93d3e60
  

  pranavk

  authored and

  regehr

  committed
  93d3e60

  Copy full SHA for 93d3e60

Commits on Mar 20, 2019

• Pruning with solver queries

  

  manasij7479

  authored and

  regehr

  committed
  0b46439

  Copy full SHA for 0b46439

Pagination

Previous

Next