Improve z3 trace management #1916
Fix OOM and type mismatch
9859097c
Toggle prefetching
d4d97cc8
Disable z3 prefetching for inference (temp workaround)
d858f630
Merge branch 'master' into olruwase/zero_inference_type_mismatch
eb07ad1d
Merge branch 'master' into olruwase/zero_inference_type_mismatch
c9e751bf
Merge branch 'master' into olruwase/zero_inference_type_mismatch
de26a3f3
Fix zero3 tracing issues
e331dde3
Remove debug prints
85bbe0d9
Merge branch 'master' into olruwase/zero3_tracing_error
61b74958
Merge branch 'master' into olruwase/zero_inference_type_mismatch
61dee8a9
Merge branch 'master' into olruwase/zero_inference_type_mismatch
73d5ac30
Enable prefetch for inference
ca02b0d1
Code clarity
bd9919a3
Merge branch 'olruwase/zero3_tracing_error' of github.com:microsoft/D…
5200e408
Merge branch 'master' into olruwase/zero3_tracing_error
3ca62c17
Debugging prints
17f90938
Merge branch 'olruwase/zero3_tracing_error' of github.com:microsoft/D…
bce66d9c
Invalidate trace cache
7ee25224
Merge branch 'olruwase/zero_inference_type_mismatch' of github.com:mi…
fa0cc8cb
Merge with master
43e8b173
Merge branch 'master' into olruwase/zero_inference_type_mismatch
d9f13e78
Merge branch 'master' into olruwase/zero_inference_type_mismatch
232ee3bb
Trace cache invalidation when needed
9f012ed0
Merge master
8017335f
Track last used step id
fb54f23f
Merge branch 'master' into olruwase/zero_inference_type_mismatch
5a5c7cc8
Merge branch 'master' into olruwase/zero_inference_type_mismatch
bd0f7469
Merge branch 'master' into olruwase/zero_inference_type_mismatch
1c11661b
Use debug name in error message
21001d41
Merge branch 'olruwase/zero_inference_type_mismatch' of github.com:mi…
f3b1237e
Construct param trace from module trace
d8ef45df
Merge branch 'master' into olruwase/zero_inference_type_mismatch
1bb870ba
Merge branch 'master' into olruwase/zero_inference_type_mismatch
06d8729e
jeffra
approved these changes
on 2022-05-05
tjruwase
merged
673cb608
into master 3 years ago
mrwyattii
deleted the olruwase/zero_inference_type_mismatch branch 2 years ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub