Code

Symbolize multiple LHS consts#807

Code

Draft

manasij7479 wants to merge 165 commits intogoogle:maingoogle/souper:mainfrom manasij7479:gen-symc-multiple-lhs-constsmanasij7479/souper:gen-symc-multiple-lhs-constsCopy head branch name to clipboard

+8,758-1,347

Commits

Commits on Dec 1, 2020

• Generalization tool

  manasij7479

  committed
  63c8fc3

Commits on Dec 2, 2020

• Generalize constants

  manasij7479

  committed
  b06aef9

• Symbolize multiple LHS consts

  manasij7479

  committed
  f589d86

Commits on Jan 5, 2021

• temp commit

  manasij7479

  committed
  8b3b409

Commits on Jan 7, 2021

• temp commit

  manasij7479

  committed
  0b4d2a1

Commits on Jan 8, 2021

• temp commit

  manasij7479

  committed
  25fe3f1

Commits on Jan 13, 2021

• temp

  manasij7479

  committed
  8b3aea4

Commits on Sep 14, 2021

• doc: add link to arxiv paper (google#811)

  

  monperrus

  authored and

  manasij7479

  committed
  ab9a314

• Misc fixes to make Souper work better with SPEC 2017 (google#813)

  manasij7479

  committed
  9342448

• Keep up with alive2 API (google#814)

  manasij7479

  committed
  30806dd

• update to llvm 12, update to latest Z3, fixup fragile tests (google#815)

  

  regehr

  authored and

  manasij7479

  committed
  1494a8b

• Remove references to master (google#816)

  Show description for 02a10f2
  

  regehr

  authored and

  manasij7479

  committed
  02a10f2

• 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 (google#816)

  

  regehr

  authored and

  manasij7479

  committed
  7eabcbf

• remove go stuff (google#818)

  

  regehr

  authored and

  manasij7479

  committed
  a1fb892

• GCC compiled Souper failed to synthsize constants for some range synthesis tests within 30 Tries, Use MaxTries=60 for those tests (google#819)

  

  zhengyang92

  authored and

  manasij7479

  committed
  3a7aa1a

• cleanup dockerfile (google#820)

  

  zhengyang92

  authored and

  manasij7479

  committed
  28c88d8

• Switch to using assume for encoding PCs (google#822)

  manasij7479

  committed
  08bd23c

• fix issue 821 (google#823)

  

  regehr

  authored and

  manasij7479

  committed
  081d878

• Increase alive2 solver timeout to a minute (google#826)

  manasij7479

  committed
  e888ac1

• a few random cleanups (google#825)

  

  regehr

  authored and

  manasij7479

  committed
  8220bdf

• oops, didn't notice a problem caused by hiredis bump (google#828)

  

  regehr

  authored and

  manasij7479

  committed
  1af2916

• Make constant shrinking optional, defaulting to false (google#827)

  manasij7479

  committed
  0bb88f2

• new verison of patched LLVM 12 and Z3 (google#829)

  

  regehr

  authored and

  manasij7479

  committed
  ac139a2

• Mask out not-demanded bits for concrete interpreter (google#830)

  manasij7479

  committed
  73ca4ad

• Generalization tool

  manasij7479

  committed
  6cc0615

• temp

  manasij7479

  committed
  a098f3c

Commits on Sep 15, 2021

• foo

  manasij7479

  committed
  4b785db

Commits on Sep 27, 2021

• foo

  manasij7479

  committed
  829ac75

Commits on Oct 22, 2021

• foo

  manasij7479

  committed
  2beedf6

Commits on Oct 26, 2021

• foo

  manasij7479

  committed
  ef23122

Commits on Nov 1, 2021

• foo

  manasij7479

  committed
  1b216ff

Commits on Nov 3, 2021

• foo

  manasij7479

  committed
  e41801e

Commits on Nov 19, 2021

• foo

  manasij7479

  committed
  5fa37a1

Commits on Dec 1, 2021

• foo

  manasij7479

  committed
  b5de911

• foo

  manasij7479

  committed
  e3a37b4

Commits on Dec 2, 2021

• foo

  manasij7479

  committed
  a3e247c

Commits on Dec 7, 2021

• foo

  manasij7479

  committed
  4c0b098

• souper-combine pass template

  manasij7479

  committed
  9545924

Commits on Dec 17, 2021

• foo

  manasij7479

  committed
  a4341e2

Commits on Dec 22, 2021

• foo

  manasij7479

  committed
  52a8550

Commits on Jan 10, 2022

• foo

  manasij7479

  committed
  ea1ad8f

Commits on Jan 12, 2022

• foo

  manasij7479

  committed
  3d92892

• foo

  manasij7479

  committed
  b4461ec

Commits on Jun 8, 2022

• foo

  manasij7479

  committed
  ae03d16

• foo

  manasij7479

  committed
  d7e63c8

• foo

  manasij7479

  committed
  b4e4ce4

• foo

  manasij7479

  committed
  44889b0

• foo

  manasij7479

  committed
  a77319c

• foo

  manasij7479

  committed
  7f9d726

• foo

  manasij7479

  committed
  aa52e36

• foo

  manasij7479

  committed
  3cbb0d6

• foo

  manasij7479

  committed
  3eba869

• foo

  manasij7479

  committed
  0e6cfe7

• foo

  manasij7479

  committed
  3d6c39d

• foo

  manasij7479

  committed
  6a014f7

• foo

  manasij7479

  committed
  bd586e1

• foo

  manasij7479

  committed
  610e23b

• foo

  manasij7479

  committed
  344d87d

• Fix improveMustDemandedBits

  manasij7479

  committed
  16f1bdb

• foo

  manasij7479

  committed
  d677ba9

• foo

  manasij7479

  committed
  c3ffe7e

• foo

  manasij7479

  committed
  ad0edad

• foo

  manasij7479

  committed
  c418740

• Fix faulty clone

  manasij7479

  committed
  31d1f79

• foo

  manasij7479

  committed
  8867113

Commits on Jun 9, 2022

• foo

  manasij7479

  committed
  6235802

Commits on Jun 23, 2022

• foo

  manasij7479

  committed
  ef65740

• foo

  manasij7479

  committed
  a9e4d2c

Commits on Jun 28, 2022

• foo

  manasij7479

  committed
  87ee113

• foo

  manasij7479

  committed
  469546f

Commits on Jun 29, 2022

• foo

  manasij7479

  committed
  44ef0bb

Commits on Jun 30, 2022

• foo

  manasij7479

  committed
  bfc06fd

• foo

  manasij7479

  committed
  e05249e

Commits on Jul 7, 2022

• foo

  manasij7479

  committed
  567d7e7

Commits on Jul 20, 2022

• foo

  manasij7479

  committed
  5cae24b

Commits on Jul 21, 2022

• foo

  manasij7479

  committed
  3240b52

Commits on Jul 28, 2022

• foo

  manasij7479

  committed
  9a9d968

• foo

  manasij7479

  committed
  24ff6d9

Commits on Jul 30, 2022

• foo

  manasij7479

  committed
  45b50af

• foo

  manasij7479

  committed
  1b79eaa

Commits on Aug 2, 2022

• foo

  manasij7479

  committed
  2abddb9

• foo

  manasij7479

  committed
  fd6705b

Commits on Aug 4, 2022

• foo

  manasij7479

  committed
  f34f0cf

• foo

  manasij7479

  committed
  bbcae4d

Commits on Sep 7, 2022

• foo

  manasij7479

  committed
  18d2f50

Commits on Sep 8, 2022

• foo

  manasij7479

  committed
  5cd7682

Commits on Sep 13, 2022

• foo

  manasij7479

  committed
  7a3c8a6

Commits on Sep 21, 2022

• foo

  manasij7479

  committed
  4ca8672

• foo

  manasij7479

  committed
  31a6cf9

Commits on Oct 21, 2022

• foo

  manasij7479

  committed
  e3643dc

• foo

  manasij7479

  committed
  fb9ee5a

Commits on Oct 22, 2022

• foo

  manasij7479

  committed
  cede61d

• foo

  manasij7479

  committed
  73cbeaf

• foo

  manasij7479

  committed
  2d2f64f

• foo

  manasij7479

  committed
  1cd3900

Commits on Oct 23, 2022

• foo

  manasij7479

  committed
  37f5d27

• foo

  manasij7479

  committed
  fe69f41

Commits on Oct 24, 2022

• foo

  manasij7479

  committed
  af0b467

Commits on Oct 25, 2022

• foo

  manasij7479

  committed
  e17e17a

• foo

  manasij7479

  committed
  73a67f9

• foo

  manasij7479

  committed
  51ef4fd

Commits on Oct 26, 2022

• foo

  manasij7479

  committed
  0efd8c6

• foo

  manasij7479

  committed
  0d45d56

• foo

  manasij7479

  committed
  11b616f

• foo

  manasij7479

  committed
  1930c3b

• foo

  manasij7479

  committed
  e74d1bf

• foo

  manasij7479

  committed
  c16f329

• foo

  manasij7479

  committed
  41582bb

Commits on Oct 29, 2022

• foo

  manasij7479

  committed
  7759e2a

• foo

  manasij7479

  committed
  77fb1de

Commits on Oct 30, 2022

• foo

  manasij7479

  committed
  de6f256

Commits on Nov 1, 2022

• foo

  manasij7479

  committed
  a92a8b7

• foo

  manasij7479

  committed
  24d3c11

• foo

  manasij7479

  committed
  4cd1609

• foo

  manasij7479

  committed
  98cf7bd

Commits on Nov 2, 2022

• foo

  manasij7479

  committed
  40e0182

• foo

  manasij7479

  committed
  c1c6d56

Commits on Nov 4, 2022

• foo

  manasij7479

  committed
  bccba9c

• foo

  manasij7479

  committed
  b6fc1d4

Commits on Nov 5, 2022

• foo

  manasij7479

  committed
  46ae8ff

• foo

  manasij7479

  committed
  b2acfee

Commits on Nov 6, 2022

• foo

  manasij7479

  committed
  e526624

Commits on Nov 7, 2022

• foo

  manasij7479

  committed
  5da5ad9

Commits on Nov 8, 2022

• foo

  manasij7479

  committed
  e692282

Commits on Nov 9, 2022

• foo

  manasij7479

  committed
  da1903e

Commits on Jan 3, 2023

• Optimization harvesting

  manasij7479

  committed
  651a9b0

Commits on Jan 4, 2023

• better printing

  manasij7479

  committed
  a5e0d57

Commits on Jan 25, 2023

• More generalization

  manasij7479

  committed
  b5c686b

Commits on Jan 31, 2023

• Remove redundant code

  manasij7479

  committed
  227cb3f

Commits on Feb 16, 2023

• Width Independence and more relations

  manasij7479

  committed
  e864d58

• foo

  manasij7479

  committed
  4853b63

Commits on Feb 17, 2023

• foo

  manasij7479

  committed
  b38b636

Commits on Feb 18, 2023

• foo

  manasij7479

  committed
  bede2cb

Commits on Feb 19, 2023

• foo

  manasij7479

  committed
  8693f1b

Commits on Feb 21, 2023

• foo

  manasij7479

  committed
  13468f2

• foo

  manasij7479

  committed
  af8c9c7

• foo

  manasij7479

  committed
  794e425

Commits on Feb 23, 2023

• foo

  manasij7479

  committed
  27dc108

Commits on Mar 2, 2023

• foo

  manasij7479

  committed
  29d9d0c

Commits on Mar 9, 2023

• foo

  manasij7479

  committed
  1e18cf3

• foo

  manasij7479

  committed
  ec0f968

Commits on Mar 15, 2023

• foo

  manasij7479

  committed
  cf5d258

Commits on Mar 16, 2023

• foo

  manasij7479

  committed
  f45da2b

Commits on Mar 17, 2023

• foo

  manasij7479

  committed
  c3c4b88

Commits on Mar 18, 2023

• foo

  manasij7479

  committed
  2316ed5

• foo

  manasij7479

  committed
  d0d19ee

Commits on Mar 20, 2023

• foo

  manasij7479

  committed
  b440ccc

Commits on Mar 21, 2023

• foo

  manasij7479

  committed
  d376a99

Commits on Mar 22, 2023

• foo

  manasij7479

  committed
  10fa8fb

• foo

  manasij7479

  committed
  6d30a9c

Commits on Apr 3, 2023

• foo

  manasij7479

  committed
  b703146

• foo

  manasij7479

  committed
  4ee7884

• foo

  manasij7479

  committed
  c51ea71

• foo

  manasij7479

  committed
  ed9f98f

Commits on Apr 4, 2023

• foo

  manasij7479

  committed
  17a6e06

• foo

  manasij7479

  committed
  09991ef

• Revert "foo"

  Show description for af84b4a
  manasij7479

  committed
  af84b4a

• foo

  manasij7479

  committed
  7beb5ba

Commits on Apr 5, 2023

• foo

  manasij7479

  committed
  db262b9

• foo

  manasij7479

  committed
  94f86ac

• foo

  manasij7479

  committed
  1cbfa05

Commits on Apr 9, 2023

• foo

  manasij7479

  committed
  4d9d1c6

• foo

  manasij7479

  committed
  84fe39a

Commits on Apr 11, 2023

• foo

  manasij7479

  committed
  f1c31c9

• Fix width jump

  manasij7479

  committed
  43daca7