Code

ICST2024 results#40

Code

Closed

Sta1400 wants to merge 28 commits intomasterCertora/gambit:masterfrom icst2024Certora/gambit:icst2024Copy head branch name to clipboard

+484

Commits

Commits on Jan 11, 2024

• icst2024 results

  Sta1400

  committed
  34e3a0a

  Copy full SHA for 34e3a0a

• Updated structure to use data, plots, and python dirs

  bkushigian

  committed
  75e93e7

  Copy full SHA for 75e93e7

• Moved icst2024 to top level

  bkushigian

  committed
  c6b4bbc

  Copy full SHA for c6b4bbc

• added makefile

  bkushigian

  committed
  0742b38

  Copy full SHA for 0742b38

• Fixed some make issues

  bkushigian

  committed
  9537019

  Copy full SHA for 9537019

• Added venv initialization to makefile

  bkushigian

  committed
  fdc55f0

  Copy full SHA for fdc55f0

• added README

  bkushigian

  committed
  9c3f97a

  Copy full SHA for 9c3f97a

Commits on Jan 12, 2024

• add more info to readme

  chandrakananandi

  committed
  1ba9e84

  Copy full SHA for 1ba9e84

• Update README.md

  chandrakananandi

  authored
  07c9f55

  Copy full SHA for 07c9f55

Commits on Jan 13, 2024

• Update README.md

  chandrakananandi

  authored
  29f8d37

  Copy full SHA for 29f8d37

• pdfs look better, tweak scripts a bit

  chandrakananandi

  committed
  675a780

  Copy full SHA for 675a780

Commits on Jan 14, 2024

• ad new datas for OTvsMT

  Sta1400

  committed
  2f73092

  Copy full SHA for 2f73092

Commits on Jan 16, 2024

• Update README.md

  chandrakananandi

  authored
  cfb3c75

  Copy full SHA for cfb3c75

Commits on Jan 17, 2024

• replaced old OTvsMT with new data

  bkushigian

  committed
  4591d58

  Copy full SHA for 4591d58

• Makefile: pip -> pip3

  bkushigian

  committed
  86c8ed4

  Copy full SHA for 86c8ed4

• Ignore pdfs generated

  bkushigian

  committed
  9c08266

  Copy full SHA for 9c08266

• Removed old resultsOK.csv data

  bkushigian

  committed
  6ab3d67

  Copy full SHA for 6ab3d67

• Removed unused imports

  bkushigian

  committed
  d37d5ea

  Copy full SHA for d37d5ea

• Minor updates

  bkushigian

  committed
  5cbba3a

  Copy full SHA for 5cbba3a

• Formatted w/ black

  bkushigian

  committed
  9b7eeed

  Copy full SHA for 9b7eeed

Commits on Jan 18, 2024

• add datas and scripts

  Sta1400

  committed
  60a76e9

  Copy full SHA for 60a76e9

• remove french comments

  Sta1400

  committed
  7eb9147

  Copy full SHA for 7eb9147

Commits on Jan 19, 2024

• Updated charts

  bkushigian

  committed
  8ae2701

  Copy full SHA for 8ae2701

• fixed axes, added y=x

  bkushigian

  committed
  f82a6f9

  Copy full SHA for f82a6f9

• Fixed figsize

  bkushigian

  committed
  ca791bb

  Copy full SHA for ca791bb

• Fig tinkering

  bkushigian

  committed
  4e1b68c

  Copy full SHA for 4e1b68c

• bar width change, rename function

  bkushigian

  committed
  04dbb4d

  Copy full SHA for 04dbb4d

Commits on Jan 20, 2024

• temp commit

  bkushigian

  committed
  7d9c6f2

  Copy full SHA for 7d9c6f2