Code

Parser improvement#569

Code

Draft

aehyvari wants to merge 76 commits intomasterusi-verification-and-security/opensmt:masterfrom parser-improvementusi-verification-and-security/opensmt:parser-improvementCopy head branch name to clipboard

+2,207-8,558

Commits

Commits on Oct 31, 2022

• parser: Some cleanup [WiP]

  aehyvari

  committed
  4fd2205

  Copy full SHA for 4fd2205

• parser: cleanup and changes [WiP]

  aehyvari

  committed
  3f51d77

  Copy full SHA for 3f51d77

• parser: Remove unused generated files

  aehyvari

  committed
  9935462

  Copy full SHA for 9935462

• parser: last attempt with custom name

  Show description for 973f962
  aehyvari

  committed
  973f962

  Copy full SHA for 973f962

• Itp-Regression: fix interpolation algorithm number

  aehyvari

  committed
  f843bbc

  Copy full SHA for f843bbc

• Interpret: fix option parsing

  aehyvari

  committed
  5a44c51

  Copy full SHA for 5a44c51

• Parser: remove the prefix

  Show description for 3fddeae
  aehyvari

  committed
  3fddeae

  Copy full SHA for 3fddeae

• Interpret: fix signature

  aehyvari

  committed
  6968037

  Copy full SHA for 6968037

• Parser: fix memory leak

  aehyvari

  committed
  c3f44f0

  Copy full SHA for c3f44f0

• Parser: small style fix

  aehyvari

  committed
  dac5cff

  Copy full SHA for dac5cff

• splitting: update to new parser

  aehyvari

  committed
  e301ce8

  Copy full SHA for e301ce8

• tmp: parse only

  aehyvari

  committed
  ebaa1c7

  Copy full SHA for ebaa1c7

• tmp: parser ideas

  aehyvari

  committed
  9a39656

  Copy full SHA for 9a39656

• SMTConfig: add missing header

  aehyvari

  committed
  0babe45

  Copy full SHA for 0babe45

• tmp: disable checking

  aehyvari

  committed
  3ced3d6

  Copy full SHA for 3ced3d6

• Handwritten-parser: An attempt at more semantic parsing [WiP]

  aehyvari

  committed
  c41a867

  Copy full SHA for c41a867

• parser: A first version of new bison-parser

  aehyvari

  committed
  f45b1f5

  Copy full SHA for f45b1f5

• parser: add a missing header

  aehyvari

  committed
  be020fa

  Copy full SHA for be020fa

• parser: prefer struct to class

  aehyvari

  committed
  de543e2

  Copy full SHA for de543e2

• parser: Some destructors

  aehyvari

  committed
  7ad34ef

  Copy full SHA for 7ad34ef

• parser: more memory management

  aehyvari

  committed
  b62fa94

  Copy full SHA for b62fa94

• parser: enable cleaning the parsed data structures

  aehyvari

  committed
  7f31ff6

  Copy full SHA for 7f31ff6

• parser: add a unit test for checking mem leaks

  aehyvari

  committed
  6365f72

  Copy full SHA for 6365f72

• parser: Add constructors for CommandNodes

  aehyvari

  committed
  4b65dda

  Copy full SHA for 4b65dda

• Parser: Allow TermNode arguments to be nullptr

  aehyvari

  committed
  01e339e

  Copy full SHA for 01e339e

• Parser: fix debug code

  aehyvari

  committed
  0965186

  Copy full SHA for 0965186

• Parser: Fix deleting a TermNode

  aehyvari

  committed
  3aeeff1

  Copy full SHA for 3aeeff1

• Parser: fix deleting a SortNode

  aehyvari

  committed
  61e5134

  Copy full SHA for 61e5134

• Parser: fix memory leak on GetValue

  aehyvari

  committed
  102dac1

  Copy full SHA for 102dac1

• Parser: fix memory leak on GetInterpolants

  aehyvari

  committed
  cb95ca4

  Copy full SHA for cb95ca4

• Parser: free terms in let term bindings

  aehyvari

  committed
  ebdc605

  Copy full SHA for ebdc605

• Parser: correct deletion on top-level lets

  Show description for 60b797c
  aehyvari

  committed
  60b797c

  Copy full SHA for 60b797c

• Parser: Fix memory leak on SortedVarNode

  aehyvari

  committed
  d468946

  Copy full SHA for d468946

• Parser: fix delete/new mismatch

  aehyvari

  committed
  5bc3954

  Copy full SHA for 5bc3954

• Parser: Fix memory leak on AttributeNode

  aehyvari

  committed
  7e2f609

  Copy full SHA for 7e2f609

• Parser: fix memory leak in AttributeNodes

  aehyvari

  committed
  166f122

  Copy full SHA for 166f122

• SExprs: fix infinite recursion

  aehyvari

  committed
  123a0d0

  Copy full SHA for 123a0d0

• SExprs: Fix destruction method

  aehyvari

  committed
  930128a

  Copy full SHA for 930128a

• Parser: fix memory leaks in set-option

  aehyvari

  committed
  6977235

  Copy full SHA for 6977235

• parser: Fix memory leak in numeral_list

  aehyvari

  committed
  d34210b

  Copy full SHA for d34210b

• Parser: error destructor for CommandList

  aehyvari

  committed
  7c833c2

  Copy full SHA for 7c833c2

• Parser: error destructor for TermNode

  aehyvari

  committed
  4b0c1c1

  Copy full SHA for 4b0c1c1

• Parser: error destructor for QualIdentifier

  aehyvari

  committed
  2f26c68

  Copy full SHA for 2f26c68

• Parser: error destructor for n_numeralList

  aehyvari

  committed
  0c56241

  Copy full SHA for 0c56241

• Parser: remove unused tokens

  aehyvari

  committed
  1f9d40c

  Copy full SHA for 1f9d40c

• Parser: add missing error destructors and sort

  aehyvari

  committed
  7718a74

  Copy full SHA for 7718a74

• Interpret: fix memory leak on parse errors

  aehyvari

  committed
  9888f01

  Copy full SHA for 9888f01

• Interpret: refactor SetInfo [WiP]

  aehyvari

  committed
  3d42f08

  Copy full SHA for 3d42f08

• Parser: SetLogic convenience function [WiP?]

  aehyvari

  committed
  08b855d

  Copy full SHA for 08b855d

• Options: make sexpr printing function static

  aehyvari

  committed
  f97ab8f

  Copy full SHA for f97ab8f

• Interpret: refactor SMTOption [WiP]

  aehyvari

  committed
  c30df98

  Copy full SHA for c30df98

• SMTOptions: some refactoring

  aehyvari

  committed
  7d9fe84

  Copy full SHA for 7d9fe84

• Interpret: update to new parser output

  aehyvari

  committed
  7efaef8

  Copy full SHA for 7efaef8

• Itp-regression: Use boolean valued flags

  aehyvari

  committed
  f40a054

  Copy full SHA for f40a054

• Interpret: Use correct string conversion for GetInfo

  aehyvari

  committed
  1734ae7

  Copy full SHA for 1734ae7

• Interpret: allow only signed integers in options

  aehyvari

  committed
  9456fa5

  Copy full SHA for 9456fa5

• Interpret: fix s-expression printing

  aehyvari

  committed
  6ee55a9

  Copy full SHA for 6ee55a9

• Interpret: miscellaneous output fixes

  aehyvari

  committed
  859dd1a

  Copy full SHA for 859dd1a

• Interpret: Clean unused variables

  aehyvari

  committed
  ef7b8bc

  Copy full SHA for ef7b8bc

• Interpret: make main interp public

  aehyvari

  committed
  3dee01d

  Copy full SHA for 3dee01d

• unit tests: update Config::setOption signature

  aehyvari

  committed
  37e479a

  Copy full SHA for 37e479a

• Parser: printer for nodes

  aehyvari

  committed
  da7d2b2

  Copy full SHA for da7d2b2

• Split regression: use booleans for options

  aehyvari

  committed
  6e2fde6

  Copy full SHA for 6e2fde6

• Split regression: Use correct output directory

  aehyvari

  committed
  2e4ce84

  Copy full SHA for 2e4ce84

• SplitterInterpret: Reintroduce splitting

  aehyvari

  committed
  4300d21

  Copy full SHA for 4300d21

• SplitterInterpret: Fix handling of output file name

  aehyvari

  committed
  b5c2e37

  Copy full SHA for b5c2e37

• SplitterInterpret: use signed integers in options

  aehyvari

  committed
  f2a1632

  Copy full SHA for f2a1632

• SplitterInterpret: fix initialization

  aehyvari

  committed
  8d291f3

  Copy full SHA for 8d291f3

• Regression: Fix error message

  aehyvari

  committed
  9b7934e

  Copy full SHA for 9b7934e

• examples: fix setOption signature

  aehyvari

  committed
  6ce1801

  Copy full SHA for 6ce1801

• Build: add missing includes to install

  aehyvari

  committed
  d1b7ec4

  Copy full SHA for d1b7ec4

• Parser: add missing include

  aehyvari

  committed
  1942dfd

  Copy full SHA for 1942dfd

• parser: remove handwritten parser

  aehyvari

  committed
  a5c5733

  Copy full SHA for a5c5733

• Interpret: Throw error on forall and exists

  aehyvari

  committed
  5e195da

  Copy full SHA for 5e195da

• Parser: remove unused structure

  aehyvari

  committed
  9a5ad2d

  Copy full SHA for 9a5ad2d

• unit test: remove empty test

  aehyvari

  committed
  ecac43e

  Copy full SHA for ecac43e