Map Elimination Implementation - #74

Open

nikhilpim wants to merge 20 commits into

zkincaid:flintfrom

nikhilpim:array-pr

Commits on Sep 23, 2025

arrayify initial commit
Nikhil Pimpalkhare
committed
5bb985c

Commits on Oct 13, 2025

supporting return nodes in boogiegraph->weightedgraph translation
Nikhil Pimpalkhare
committed
5a4b374
Array lifting procedure initial implementation
Nikhil Pimpalkhare
committed
a82e534

Commits on Oct 27, 2025

dealing with bruijn indices
Nikhil Pimpalkhare
committed
fd89a7a

Commits on Oct 30, 2025

checkpoint
Nikhil Pimpalkhare
committed
2c4154b
fixed skolemization
Nikhil Pimpalkhare
committed
c9d5e89
exposed bubble
Nikhil Pimpalkhare
committed
92d6978

Commits on Feb 2, 2026

cleanup for pr
Nikhil Pimpalkhare
committed
666b487
removing arrayify for smaller pr
Nikhil Pimpalkhare
committed
748559e

Commits on Feb 4, 2026

switched rep_map to be a hashtable
Nikhil Pimpalkhare
committed
ecd1540

Commits on Feb 5, 2026

fixed PR requests
Nikhil Pimpalkhare
committed
09fed50
missed some comments
Nikhil Pimpalkhare
committed
27c6be5
implemented new tests
Nikhil Pimpalkhare
committed
04c91f6

Commits on Feb 9, 2026

added new tests
Nikhil Pimpalkhare
committed
6f5b428
bug fixes
Nikhil Pimpalkhare
committed
551007d
small cleanup
Nikhil Pimpalkhare
committed
0a37ecf

Commits on Feb 16, 2026

pr changes
Nikhil Pimpalkhare
committed
1d3d5f2

Commits on Feb 19, 2026

refactored to use fold_rewrite and moved existential/fc to array existential.
Nikhil Pimpalkhare
committed
40c8abd

Commits on Mar 5, 2026

minor pr issues
Nikhil Pimpalkhare
committed
89c9dd1
factored out forall computation
Nikhil Pimpalkhare
committed
cfbe80b