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.

Sign up for GitHub

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

Remove Parsed AST #1254

Merged
merged 2 commits into from
Oct 9, 2024
Merged

Remove Parsed AST #1254

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
b49855c
Remove the Parsed AST
Halbaroth Oct 9, 2024
972b79a
Remove outdated documentation
Halbaroth Oct 9, 2024
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
1 change: 0 additions & 1 deletion rsc/extra/subgraphs.dot
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -187,7 +187,6 @@ subgraph cluster_lib {
"Expr";
"Xliteral";
"Ty";
"Parsed";
"Typed";
"Commands";
"Errors";
Expand Down
4 changes: 2 additions & 2 deletions src/lib/dune
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -46,7 +46,7 @@
; modules that make up the lib
(modules
; frontend
Translate D_loop D_state_option Frontend Parsed_interface Models
Translate D_loop D_state_option Frontend Models
; reasoners
Ac Arith Arrays_rel Bitv Ccx Shostak Relation
Fun_sat Fun_sat_frontend Inequalities Bitv_rel Th_util Adt Adt_rel
Expand All @@ -56,7 +56,7 @@
Sig Sig_rel Theory Uf Use Domains Domains_intf Rel_utils Bitlist
; structures
Commands Errors Explanation Fpa_rounding
Parsed Profiling Satml_types Symbols
Profiling Satml_types Symbols
Expr Var Ty Typed Xliteral ModelMap Id Objective Literal
; util
Emap Gc_debug Hconsing Hstring Heap Loc Numbers Uqueue
Expand Down
338 changes: 0 additions & 338 deletions src/lib/frontend/parsed_interface.ml
View file
Open in desktop

This file was deleted.

Loading
Loading