Skip to content

Correctly handle smt2.7 map application syntactic sugar in annotations#258

Merged
Gbury merged 2 commits into
masterfrom
poly_map_in_pattern
Mar 6, 2026
Merged

Correctly handle smt2.7 map application syntactic sugar in annotations#258
Gbury merged 2 commits into
masterfrom
poly_map_in_pattern

Fix: build a fake_apply when translating sexpr to term in smt2.7

8dbb538
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar