Code

More robust config creation#824

Code

Merged

ArquintL merged 11 commits intomasterviperproject/gobra:masterfrom more-robust-config-creationviperproject/gobra:more-robust-config-creationCopy head branch name to clipboardJan 23, 2025

+95-74

Commits

Commits on Jan 16, 2025

• removes Violation in

  ArquintL

  committed
  9e28d60

  Copy full SHA for 9e28d60

• Merges branch 'master' into 'more-robust-config-creation'

  ArquintL

  committed
  bee20c4

  Copy full SHA for bee20c4

Commits on Jan 17, 2025

• fixes invalid position information for parser error

  ArquintL

  committed
  6be69f4

  Copy full SHA for 6be69f4

Commits on Jan 21, 2025

• fixes a compiler warning

  ArquintL

  committed
  084c2ed

  Copy full SHA for 084c2ed

• updates ViperServer to 2bba757

  ArquintL

  committed
  be9d67d

  Copy full SHA for be9d67d

• changes types of parser to only return parser errors

  ArquintL

  committed
  942316d

  Copy full SHA for 942316d

• implements CR suggestion by Joao

  Show description for 32e4af3
  

  ArquintL

  and

  jcp19

  authored
  32e4af3

  Copy full SHA for 32e4af3

• Updates ViperServer to latest commit on 'master'

  ArquintL

  committed
  4f68b39

  Copy full SHA for 4f68b39

Commits on Jan 22, 2025

• Updates ViperServer to latest commit on 'master'

  ArquintL

  committed
  182ac1d

  Copy full SHA for 182ac1d

• implements CR suggestion by Joao

  Show description for d72d29a
  

  ArquintL

  and

  jcp19

  authored
  d72d29a

  Copy full SHA for d72d29a

• implements CR suggestions by Joao

  ArquintL

  committed
  1b65121

  Copy full SHA for 1b65121