Leonardo de Moura
|
95b6e61738
|
feat(kernel/max_sharing): check for imminent stack overflows and interruptions in the expression sharing maximizer
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-01-21 14:33:49 -08:00 |
|
Leonardo de Moura
|
92c7145d7f
|
feat(kernel/expr): maximize sharing before serializing
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-01-02 20:03:42 -08:00 |
|
Leonardo de Moura
|
d6d221b992
|
Move auxiliary files away from kernel
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-08-15 19:02:28 -07:00 |
|
Leonardo de Moura
|
0fb93ad6ef
|
Expose max_sharing_fn object
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-07-24 14:56:32 -07:00 |
|
Leonardo de Moura
|
79d00f4d78
|
Rename max_sharing files
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-07-23 09:01:54 -07:00 |
|