Code

Add proposal id option#63

Code

Merged

nivcertora merged 29 commits intomainCertora/Quorum:mainfrom niv/CERT-7885-Add-Proposal-id-optionCertora/Quorum:niv/CERT-7885-Add-Proposal-id-optionCopy head branch name to clipboardJan 6, 2025

+979-562

Commits

Commits on Jan 2, 2025

• First step- seprate api logic from report crafting

  nivcertora

  committed
  cc93ba4

  Copy full SHA for cc93ba4

• Move to data models + fixed tests

  nivcertora

  committed
  5b2f399

  Copy full SHA for 5b2f399

• Extract all info for execution

  nivcertora

  committed
  59e6ddf

  Copy full SHA for 59e6ddf

Commits on Jan 5, 2025

• Organize

  nivcertora

  committed
  d82e269

  Copy full SHA for d82e269

• Reverse mapping

  nivcertora

  committed
  f54e723

  Copy full SHA for f54e723

• Add test for new entry points

  nivcertora

  committed
  a57b84b

  Copy full SHA for a57b84b

• Merge branch 'main' into niv/CERT-7885-Add-Proposal-id-option

  nivcertora

  authored
  25d497f

  Copy full SHA for 25d497f

• Merge branch 'main' of github.com:Certora/Quorum into niv/CERT-7885-Add-Proposal-id-option

  nivcertora

  committed
  f6273dd

  Copy full SHA for f6273dd

• Merge branch 'niv/CERT-7885-Add-Proposal-id-option' of github.com:Certora/Quorum into niv/CERT-7885-Add-Proposal-id-option

  nivcertora

  committed
  55c53db

  Copy full SHA for 55c53db

• Make README understandable

  nivcertora

  committed
  bea0486

  Copy full SHA for bea0486

• Address comments

  nivcertora

  committed
  51203f3

  Copy full SHA for 51203f3

Commits on Jan 6, 2025

• Merge branch 'main' into niv/CERT-7885-Add-Proposal-id-option

  nivcertora

  authored
  c96e420

  Copy full SHA for c96e420

• Intoduce command pattern

  nivcertora

  committed
  739e281

  Copy full SHA for 739e281

• fix parse + CI

  nivcertora

  committed
  cb40c8c

  Copy full SHA for cb40c8c

• Merge branch 'main' of github.com:Certora/Quorum into niv/CERT-7885-Add-Proposal-id-option

  nivcertora

  committed
  9d8e472

  Copy full SHA for 9d8e472

• .

  nivcertora

  committed
  8288e48

  Copy full SHA for 8288e48

• Fix test

  nivcertora

  committed
  72c247e

  Copy full SHA for 72c247e

• Include Quroum package at install

  nivcertora

  committed
  8f09eca

  Copy full SHA for 8f09eca

• Fix ci

  nivcertora

  committed
  d57485b

  Copy full SHA for d57485b

• Try now

  nivcertora

  committed
  a51df2c

  Copy full SHA for a51df2c

• Address Review comments

  nivcertora

  committed
  7691e48

  Copy full SHA for 7691e48

• fix

  nivcertora

  committed
  4097d3d

  Copy full SHA for 4097d3d

• Fix typing

  nivcertora

  committed
  20a4b3c

  Copy full SHA for 20a4b3c

• Update README file

  nivcertora

  committed
  218e6df

  Copy full SHA for 218e6df

• .

  nivcertora

  committed
  b644502

  Copy full SHA for b644502

• .

  nivcertora

  committed
  9415e04

  Copy full SHA for 9415e04

• Fix CI

  nivcertora

  committed
  69891e6

  Copy full SHA for 69891e6

• .

  nivcertora

  committed
  851b574

  Copy full SHA for 851b574

• Improve description

  nivcertora

  committed
  551dc41

  Copy full SHA for 551dc41