diff LICENSE @ 22531:ce2b71115ade

Invert logic for recording the assumptions of an AssumptionResult to Assumptions; this allows using assumption-free AssumptionResults when compiling without speculative optimizations
author Christian Wimmer <christian.wimmer@oracle.com>
date Fri, 28 Aug 2015 11:23:08 -0700
parents cdef89d821bd
children
line wrap: on
line diff