Convert map fields into an orddict - #15142

Merged

josevalim merged 15 commits into

mainfrom

jv-orddict-fields

Mar 6, 2026

Commits on Mar 6, 2026

Remove redundant clause in bdd_map_to_dnf
josevalim
committed
c22cea0
Initial as-is port to orddict
josevalim
committed
0f9c809
Optimize map union
josevalim
committed
697e837
More orddict clean up
josevalim
committed
65b5831
Optimize closed intersection
josevalim
committed
fa1ea1f
Optimize open closed intersection
josevalim
committed
5faf778
More optimizations
josevalim
committed
6ebf4fd
More optimizations
josevalim
committed
9cb3fa9
Optimize map all but one
josevalim
committed
2b64415
Optimize map_line_fields_empty?
josevalim
committed
6020e74
Refactor
josevalim
committed
318298b
Use meet optimization
josevalim
committed
01f065d
Fixes and performance
josevalim
committed
bb4ccb6
Remove uneeded cond
josevalim
committed
d56dc2a
More comments
josevalim
committed
d149229