julia
simplify and improve type intersection algorithm a bit
#41795

Merged

simplify and improve type intersection algorithm a bit #41795

JeffBezanson merged 2 commits into master from jb/simpler_intersection

JeffBezanson added types and dispatch

vtjnash approved these changes on 2021-08-06

martinholters commented on 2021-08-06

JeffBezanson force pushed from 0f389b0d to 9368bad3 5 years ago

JeffBezanson force pushed from cbafa8d0 to 3fbf1152 5 years ago

JeffBezanson force pushed from 3fbf1152 to dca187d4 5 years ago

JeffBezanson force pushed from dca187d4 to f3ec252a 5 years ago

JeffBezanson force pushed from f3ec252a to fc98aeca 5 years ago

JeffBezanson force pushed from fc98aeca to 046f7b58 5 years ago

JeffBezanson force pushed from 046f7b58 to 1718743d 5 years ago

JeffBezanson force pushed from 1718743d to 28690882 5 years ago

JeffBezanson force pushed from 28690882 to fcdb63d3 5 years ago

JeffBezanson force pushed from fcdb63d3 to 0af24121 5 years ago

JeffBezanson force pushed from 0af24121 to e86099bb 5 years ago

JeffBezanson force pushed from e86099bb to bc005469 5 years ago

vtjnash commented on 2021-08-20

JeffBezanson force pushed from bc005469 to e3e550e0 5 years ago

JeffBezanson force pushed from e3e550e0 to 0a1bf84c 5 years ago

simplify and improve type intersection algorithm a bit

13bcdf12

give wider/safer intersection result for vars used in both invariant …

71757cd6

JeffBezanson force pushed from 0a1bf84c to 71757cd6 5 years ago

vtjnash added merge me

JeffBezanson merged 1bbba21a into master 5 years ago

JeffBezanson deleted the jb/simpler_intersection branch 5 years ago

KristofferC added backport 1.7

DilumAluthge removed merge me

KristofferC removed backport 1.7

Reviewers

vtjnash

martinholters

Assignees

No one assigned

Labels

types and dispatch

Milestone

No milestone