Modify Pipeline Facilities to Fix PipeDream Deadlock #3823
Prepare utils for adding Wait's and Record's
b54fbc23
wschin
requested a review
6 years ago
Save progress
acf7d9d1
Have a running PipeDream
d6a6cc4b
Add comments
3ef9adbf
Polish comments
095684de
Clean code
c9b22633
Merge branch 'master' into wechi/more-events
5971f4a6
wschin
changed the title [WIP] Prepare utils for adding Wait's and Record's Modify Pipeline Facilities to Fix PipeDream Deadlock 6 years ago
Fix test
b57e40e3
Polish names
b830c55f
Polish names
8fa51162
Remove debug headers
2e4e7aff
Fix a shape inference bug (not related to pipeline code)
b31f4846
wschin
commented
on 2020-05-15
Fix a warning
c4353985
ke1337
commented
on 2020-05-15
ke1337
commented
on 2020-05-15
Address some comments
e07d4e82
Address comments
26bba085
Only touch consumers of outputs when re-wire edges
01951c2f
ke1337
commented
on 2020-05-15
ke1337
commented
on 2020-05-15
ke1337
commented
on 2020-05-15
ke1337
approved these changes
on 2020-05-15
xzhu1900
approved these changes
on 2020-05-15
wschin
commented
on 2020-05-15
wschin
commented
on 2020-05-15
wschin
merged
33208c9f
into master 6 years ago
wschin
deleted the wechi/more-events branch 6 years ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub