Skip to content

OSDI changes + loop clean up#8

Open
Vaishaal wants to merge 137 commits intomasterfrom
loopcleanup
Open

OSDI changes + loop clean up#8
Vaishaal wants to merge 137 commits intomasterfrom
loopcleanup

Conversation

@Vaishaal
Copy link
Copy Markdown
Owner

@Vaishaal Vaishaal commented Jul 9, 2018

huge PR but I rather get this on master sooner rather than later. This way vipul can use this, and it'll force us to get our shit together. @Karl-Krauth can you review plz. Last I checked all tests except forward/backsolve pass. But that needs an efficient tree-reduce which I am currently working on...

@photoszzt
Copy link
Copy Markdown

Is this branch I should use instead of master? Seems this repo is silent for a while.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants