Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Parser improvement #569

Draft
wants to merge 76 commits into
base: master
Choose a base branch
from
Draft
Changes from 1 commit
Commits
Show all changes
76 commits
Select commit Hold shift + click to select a range
4fd2205
parser: Some cleanup [WiP]
aehyvari Jun 15, 2022
3f51d77
parser: cleanup and changes [WiP]
aehyvari Jun 27, 2022
9935462
parser: Remove unused generated files
aehyvari Jul 28, 2022
973f962
parser: last attempt with custom name
aehyvari Jul 28, 2022
f843bbc
Itp-Regression: fix interpolation algorithm number
aehyvari Jul 28, 2022
5a44c51
Interpret: fix option parsing
aehyvari Jul 28, 2022
3fddeae
Parser: remove the prefix
aehyvari Jul 28, 2022
6968037
Interpret: fix signature
aehyvari Jul 28, 2022
c3f44f0
Parser: fix memory leak
aehyvari Jul 28, 2022
dac5cff
Parser: small style fix
aehyvari Jul 28, 2022
e301ce8
splitting: update to new parser
aehyvari Aug 26, 2022
ebaa1c7
tmp: parse only
aehyvari Aug 29, 2022
9a39656
tmp: parser ideas
aehyvari Aug 30, 2022
0babe45
SMTConfig: add missing header
aehyvari Aug 31, 2022
3ced3d6
tmp: disable checking
aehyvari Sep 14, 2022
c41a867
Handwritten-parser: An attempt at more semantic parsing [WiP]
aehyvari Sep 14, 2022
f45b1f5
parser: A first version of new bison-parser
aehyvari Sep 14, 2022
be020fa
parser: add a missing header
aehyvari Sep 14, 2022
de543e2
parser: prefer struct to class
aehyvari Sep 14, 2022
7ad34ef
parser: Some destructors
aehyvari Sep 14, 2022
b62fa94
parser: more memory management
aehyvari Sep 20, 2022
7f31ff6
parser: enable cleaning the parsed data structures
aehyvari Sep 20, 2022
6365f72
parser: add a unit test for checking mem leaks
aehyvari Sep 20, 2022
4b65dda
parser: Add constructors for CommandNodes
aehyvari Sep 20, 2022
01e339e
Parser: Allow TermNode arguments to be nullptr
aehyvari Sep 20, 2022
0965186
Parser: fix debug code
aehyvari Oct 13, 2022
3aeeff1
Parser: Fix deleting a TermNode
aehyvari Oct 13, 2022
61e5134
Parser: fix deleting a SortNode
aehyvari Oct 13, 2022
102dac1
Parser: fix memory leak on GetValue
aehyvari Oct 13, 2022
cb95ca4
Parser: fix memory leak on GetInterpolants
aehyvari Oct 13, 2022
ebdc605
Parser: free terms in let term bindings
aehyvari Oct 13, 2022
60b797c
Parser: correct deletion on top-level lets
aehyvari Oct 13, 2022
d468946
Parser: Fix memory leak on SortedVarNode
aehyvari Oct 13, 2022
5bc3954
Parser: fix delete/new mismatch
aehyvari Oct 14, 2022
7e2f609
Parser: Fix memory leak on AttributeNode
aehyvari Oct 14, 2022
166f122
Parser: fix memory leak in AttributeNodes
aehyvari Oct 14, 2022
123a0d0
SExprs: fix infinite recursion
aehyvari Oct 14, 2022
930128a
SExprs: Fix destruction method
aehyvari Oct 14, 2022
6977235
Parser: fix memory leaks in set-option
aehyvari Oct 16, 2022
d34210b
parser: Fix memory leak in numeral_list
aehyvari Oct 16, 2022
7c833c2
Parser: error destructor for CommandList
aehyvari Oct 17, 2022
4b0c1c1
Parser: error destructor for TermNode
aehyvari Oct 17, 2022
2f26c68
Parser: error destructor for QualIdentifier
aehyvari Oct 17, 2022
0c56241
Parser: error destructor for n_numeralList
aehyvari Oct 17, 2022
1f9d40c
Parser: remove unused tokens
aehyvari Oct 17, 2022
7718a74
Parser: add missing error destructors and sort
aehyvari Oct 17, 2022
9888f01
Interpret: fix memory leak on parse errors
aehyvari Oct 17, 2022
3d42f08
Interpret: refactor SetInfo [WiP]
aehyvari Oct 24, 2022
08b855d
Parser: SetLogic convenience function [WiP?]
aehyvari Oct 24, 2022
f97ab8f
Options: make sexpr printing function static
aehyvari Oct 24, 2022
c30df98
Interpret: refactor SMTOption [WiP]
aehyvari Oct 24, 2022
7d9fe84
SMTOptions: some refactoring
aehyvari Oct 24, 2022
7efaef8
Interpret: update to new parser output
aehyvari Oct 27, 2022
f40a054
Itp-regression: Use boolean valued flags
aehyvari Oct 31, 2022
1734ae7
Interpret: Use correct string conversion for GetInfo
aehyvari Oct 31, 2022
9456fa5
Interpret: allow only signed integers in options
aehyvari Oct 31, 2022
6ee55a9
Interpret: fix s-expression printing
aehyvari Oct 31, 2022
859dd1a
Interpret: miscellaneous output fixes
aehyvari Oct 31, 2022
ef7b8bc
Interpret: Clean unused variables
aehyvari Oct 31, 2022
3dee01d
Interpret: make main interp public
aehyvari Oct 31, 2022
37e479a
unit tests: update Config::setOption signature
aehyvari Oct 31, 2022
da7d2b2
Parser: printer for nodes
aehyvari Oct 31, 2022
6e2fde6
Split regression: use booleans for options
aehyvari Oct 31, 2022
2e4ce84
Split regression: Use correct output directory
aehyvari Oct 31, 2022
4300d21
SplitterInterpret: Reintroduce splitting
aehyvari Oct 31, 2022
b5c2e37
SplitterInterpret: Fix handling of output file name
aehyvari Oct 31, 2022
f2a1632
SplitterInterpret: use signed integers in options
aehyvari Oct 31, 2022
8d291f3
SplitterInterpret: fix initialization
aehyvari Oct 31, 2022
9b7934e
Regression: Fix error message
aehyvari Oct 31, 2022
6ce1801
examples: fix setOption signature
aehyvari Oct 31, 2022
d1b7ec4
Build: add missing includes to install
aehyvari Oct 31, 2022
1942dfd
Parser: add missing include
aehyvari Oct 31, 2022
a5c5733
parser: remove handwritten parser
aehyvari Oct 31, 2022
5e195da
Interpret: Throw error on forall and exists
aehyvari Oct 31, 2022
9a5ad2d
Parser: remove unused structure
aehyvari Oct 31, 2022
ecac43e
unit test: remove empty test
aehyvari Oct 31, 2022
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
parser: remove handwritten parser
  • Loading branch information
aehyvari committed Oct 31, 2022
commit a5c57335da7df9f8076582b83bc05057b36c0187
253 changes: 0 additions & 253 deletions src/api/handwritten.h

This file was deleted.