Code

DOC-308: Documentation for conf file#134

Code

Merged

rahav-certora merged 68 commits intomasterCertora/Documentation:masterfrom rahav/conf_file_apiCertora/Documentation:rahav/conf_file_apiCopy head branch name to clipboardJan 11, 2024

+191-10

Commits

Commits on Aug 22, 2023

• conf file api

  rahav-certora

  committed
  18b68cc

  Copy full SHA for 18b68cc

• fix content

  rahav-certora

  committed
  01f8528

  Copy full SHA for 01f8528

• json5 refernce

  rahav-certora

  committed
  0678a26

  Copy full SHA for 0678a26

• spelling

  rahav-certora

  committed
  f125ae2

  Copy full SHA for f125ae2

Commits on Aug 23, 2023

• Chandra's comments

  rahav-certora

  committed
  87400d1

  Copy full SHA for 87400d1

• Chandra's comments

  rahav-certora

  committed
  fcf769f

  Copy full SHA for fcf769f

• Chandra's comments

  rahav-certora

  committed
  6452ca4

  Copy full SHA for 6452ca4

• Chandra's comments

  rahav-certora

  committed
  b5b14ee

  Copy full SHA for b5b14ee

Commits on Sep 5, 2023

• Update docs/prover/cli/conf-file-api.md

  Show description for 10fd1b7
  

  rahav-certora

  and

  shellygr

  authored
  10fd1b7

  Copy full SHA for 10fd1b7

• Update docs/prover/cli/conf-file-api.md

  Show description for e1de9f5
  

  rahav-certora

  and

  mdgeorge4153

  authored
  e1de9f5

  Copy full SHA for e1de9f5

Commits on Sep 7, 2023

• Update docs/prover/cli/conf-file-api.md

  Show description for 4c96266
  

  rahav-certora

  and

  shellygr

  authored
  4c96266

  Copy full SHA for 4c96266

• Mike's comments

  rahav-certora

  committed
  0d227af

  Copy full SHA for 0d227af

• Mike's comments

  rahav-certora

  committed
  ddb1e16

  Copy full SHA for ddb1e16

Commits on Oct 31, 2023

• Merge branch 'master' into rahav/conf_file_api

  mdgeorge4153

  authored
  b1e2f30

  Copy full SHA for b1e2f30

Commits on Nov 13, 2023

• Merge branch 'master' into rahav/conf_file_api

  rahav-certora

  committed
  c6a496a

  Copy full SHA for c6a496a

• Merge branch 'rahav/conf_file_api' of https://github.com/Certora/Documentation into rahav/conf_file_api

  rahav-certora

  committed
  d4e29b1

  Copy full SHA for d4e29b1

Commits on Nov 14, 2023

• fix

  rahav-certora

  committed
  48179a2

  Copy full SHA for 48179a2

• fix

  rahav-certora

  committed
  378125f

  Copy full SHA for 378125f

Commits on Nov 16, 2023

• fix ref

  rahav-certora

  committed
  b2c2c5c

  Copy full SHA for b2c2c5c

• fix ref

  rahav-certora

  committed
  8c698c2

  Copy full SHA for 8c698c2

• fix ref

  rahav-certora

  committed
  ebc0af8

  Copy full SHA for ebc0af8

• remove redundent text

  rahav-certora

  committed
  0a661f3

  Copy full SHA for 0a661f3

Commits on Dec 13, 2023

• Merge branch 'master' into rahav/conf_file_api

  rahav-certora

  committed
  228ddac

  Copy full SHA for 228ddac

• Update docs/prover/cli/conf-file-api.md

  Show description for 6703df4
  

  rahav-certora

  and

  mdgeorge4153

  authored
  6703df4

  Copy full SHA for 6703df4

• Update docs/prover/cli/conf-file-api.md

  Show description for 5deca4a
  

  rahav-certora

  and

  mdgeorge4153

  authored
  5deca4a

  Copy full SHA for 5deca4a

• Update docs/prover/cli/conf-file-api.md

  Show description for 5a6310f
  

  rahav-certora

  and

  mdgeorge4153

  authored
  5a6310f

  Copy full SHA for 5a6310f

• Update docs/prover/cli/conf-file-api.md

  Show description for ce4fcd9
  

  rahav-certora

  and

  mdgeorge4153

  authored
  ce4fcd9

  Copy full SHA for ce4fcd9

• Mike's comments

  rahav-certora

  committed
  9c9fe3e

  Copy full SHA for 9c9fe3e

• Mike's comments

  rahav-certora

  committed
  a16014d

  Copy full SHA for a16014d

• Mike's comments

  rahav-certora

  committed
  64c8cb2

  Copy full SHA for 64c8cb2

• ref

  rahav-certora

  committed
  35090a6

  Copy full SHA for 35090a6

• test_ref

  rahav-certora

  committed
  b8721a5

  Copy full SHA for b8721a5

• ref

  rahav-certora

  committed
  a4d1e99

  Copy full SHA for a4d1e99

Commits on Dec 14, 2023

• clean

  rahav-certora

  committed
  86624af

  Copy full SHA for 86624af

Commits on Jan 10, 2024

• Update docs/prover/cli/conf-file-api.md

  Show description for eabbcec
  

  rahav-certora

  and

  mdgeorge4153

  authored
  eabbcec

  Copy full SHA for eabbcec

• Update docs/prover/cli/conf-file-api.md

  Show description for 7a170f3
  

  rahav-certora

  and

  mdgeorge4153

  authored
  7a170f3

  Copy full SHA for 7a170f3

• Update docs/prover/cli/conf-file-api.md

  Show description for 8acdd86
  

  rahav-certora

  and

  mdgeorge4153

  authored
  8acdd86

  Copy full SHA for 8acdd86

• Update docs/prover/cli/conf-file-api.md

  Show description for 8b38c09
  

  rahav-certora

  and

  mdgeorge4153

  authored
  8b38c09

  Copy full SHA for 8b38c09

• Update docs/prover/cli/conf-file-api.md

  Show description for 055b3dc
  

  rahav-certora

  and

  mdgeorge4153

  authored
  055b3dc

  Copy full SHA for 055b3dc

• Update docs/prover/cli/conf-file-api.md

  Show description for 45bcdf3
  

  rahav-certora

  and

  mdgeorge4153

  authored
  45bcdf3

  Copy full SHA for 45bcdf3

• Update docs/prover/cli/conf-file-api.md

  Show description for 64fedaa
  

  rahav-certora

  and

  mdgeorge4153

  authored
  64fedaa

  Copy full SHA for 64fedaa

• Update docs/prover/cli/conf-file-api.md

  Show description for 3d91b32
  

  rahav-certora

  and

  mdgeorge4153

  authored
  3d91b32

  Copy full SHA for 3d91b32

• Update docs/prover/cli/conf-file-api.md

  Show description for eb99063
  

  rahav-certora

  and

  mdgeorge4153

  authored
  eb99063

  Copy full SHA for eb99063

• Update docs/prover/cli/conf-file-api.md

  Show description for 8c7e90d
  

  rahav-certora

  and

  mdgeorge4153

  authored
  8c7e90d

  Copy full SHA for 8c7e90d

• Update docs/prover/cli/conf-file-api.md

  Show description for ca6e80c
  

  rahav-certora

  and

  mdgeorge4153

  authored
  ca6e80c

  Copy full SHA for ca6e80c

• Update docs/prover/cli/conf-file-api.md

  Show description for d810aeb
  

  rahav-certora

  and

  mdgeorge4153

  authored
  d810aeb

  Copy full SHA for d810aeb

• Update docs/prover/cli/conf-file-api.md

  Show description for e944fda
  

  rahav-certora

  and

  mdgeorge4153

  authored
  e944fda

  Copy full SHA for e944fda

• Update docs/prover/cli/conf-file-api.md

  Show description for 82b0b58
  

  rahav-certora

  and

  mdgeorge4153

  authored
  82b0b58

  Copy full SHA for 82b0b58

• Update docs/prover/cli/conf-file-api.md

  Show description for ff2bbe9
  

  rahav-certora

  and

  mdgeorge4153

  authored
  ff2bbe9

  Copy full SHA for ff2bbe9

• Update docs/prover/cli/conf-file-api.md

  Show description for 177cf9e
  

  rahav-certora

  and

  mdgeorge4153

  authored
  177cf9e

  Copy full SHA for 177cf9e

• Update docs/prover/cli/conf-file-api.md

  Show description for 21bceee
  

  rahav-certora

  and

  mdgeorge4153

  authored
  21bceee

  Copy full SHA for 21bceee

• Update docs/prover/cli/conf-file-api.md

  Show description for 05678f3
  

  rahav-certora

  and

  mdgeorge4153

  authored
  05678f3

  Copy full SHA for 05678f3

• Update docs/prover/cli/conf-file-api.md

  Show description for eacc988
  

  rahav-certora

  and

  mdgeorge4153

  authored
  eacc988

  Copy full SHA for eacc988

• Update docs/prover/cli/conf-file-api.md

  Show description for f7ac815
  

  rahav-certora

  and

  mdgeorge4153

  authored
  f7ac815

  Copy full SHA for f7ac815

• Update docs/prover/cli/conf-file-api.md

  Show description for 4fce2ca
  

  rahav-certora

  and

  mdgeorge4153

  authored
  4fce2ca

  Copy full SHA for 4fce2ca

• Update docs/prover/cli/conf-file-api.md

  Show description for b326d35
  

  rahav-certora

  and

  mdgeorge4153

  authored
  b326d35

  Copy full SHA for b326d35

• Update docs/prover/cli/conf-file-api.md

  Show description for 8797697
  

  rahav-certora

  and

  mdgeorge4153

  authored
  8797697

  Copy full SHA for 8797697

• Update docs/prover/cli/conf-file-api.md

  Show description for 37b8ebe
  

  rahav-certora

  and

  mdgeorge4153

  authored
  37b8ebe

  Copy full SHA for 37b8ebe

• Update docs/prover/cli/conf-file-api.md

  Show description for 06eac96
  

  rahav-certora

  and

  mdgeorge4153

  authored
  06eac96

  Copy full SHA for 06eac96

• Update docs/prover/cli/conf-file-api.md

  Show description for 286a0b1
  

  rahav-certora

  and

  mdgeorge4153

  authored
  286a0b1

  Copy full SHA for 286a0b1

• Update docs/prover/cli/conf-file-api.md

  Show description for 45c3d9e
  

  rahav-certora

  and

  mdgeorge4153

  authored
  45c3d9e

  Copy full SHA for 45c3d9e

• Update docs/prover/cli/options.md

  Show description for 15b7d34
  

  rahav-certora

  and

  mdgeorge4153

  authored
  15b7d34

  Copy full SHA for 15b7d34

• Mike's comments

  rahav-certora

  committed
  5e56ec2

  Copy full SHA for 5e56ec2

Commits on Jan 11, 2024

• merge

  rahav-certora

  committed
  93aca46

  Copy full SHA for 93aca46

• fix

  rahav-certora

  committed
  7d58aae

  Copy full SHA for 7d58aae

• fix

  rahav-certora

  committed
  f53c9aa

  Copy full SHA for f53c9aa

• fix

  rahav-certora

  committed
  6185a92

  Copy full SHA for 6185a92

• fix

  rahav-certora

  committed
  a5bc9ff

  Copy full SHA for a5bc9ff