Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Multiply Located Values / Census Polymorphism #29

Merged
merged 44 commits into from
Dec 2, 2024
Merged
Changes from 1 commit
Commits
Show all changes
44 commits
Select commit Hold shift + click to select a range
06785e6
draft MLV
shumbo Jul 16, 2024
7d44c7e
multicast with MulticastBuilder as an argument
shumbo Jul 21, 2024
49855c1
add example from he-lambda-small paper
shumbo Jul 22, 2024
066d130
WIP: add tests, doesnt' seem to work...
ShapeOfMatter Jul 30, 2024
89bd5ac
integration test WIP
ShapeOfMatter Aug 2, 2024
5d5d980
parallel
shumbo Aug 26, 2024
fc29189
can write fanout choreography
shumbo Aug 28, 2024
039096b
finish fanout
shumbo Aug 28, 2024
e949647
fix self communication bug
shumbo Aug 28, 2024
7fecb01
:recycle:
shumbo Sep 7, 2024
b69cbf6
cleanup
shumbo Sep 7, 2024
33a8e98
give type parameters meaningful names
shumbo Sep 10, 2024
92bbce7
remove singly located values
shumbo Sep 24, 2024
5493fbe
allow enclave to return arbitrary value and make it wrap the value in…
shumbo Oct 2, 2024
f620393
draft fanin
shumbo Oct 9, 2024
f2c4b19
almost finish cardgame
shumbo Oct 15, 2024
a5f3c7e
this type checks but crashes at runtime :sob:
shumbo Oct 15, 2024
df5c39b
fix flatten
shumbo Oct 16, 2024
4083a07
delete outdated document
shumbo Oct 17, 2024
af13e6a
Merge pull request #1 from lsd-ucsc/feat/mlv
ShapeOfMatter Oct 17, 2024
ca7292c
Linting
ShapeOfMatter Oct 17, 2024
c7ff7ea
it runs
ShapeOfMatter Oct 18, 2024
b00cff9
Nominally ready test case.
ShapeOfMatter Oct 19, 2024
cef6781
differential enclaving in booksellers deciders.
ShapeOfMatter Oct 20, 2024
389bd29
clean up old multicast api
shumbo Oct 25, 2024
8e707fb
add `Quire` public API
shumbo Oct 25, 2024
f10fd90
WIP
ShapeOfMatter Oct 25, 2024
f8af01d
Merge remote-tracking branch 'upstream/feat/mlv' into feat/mlv
ShapeOfMatter Oct 25, 2024
08b54a4
probably just missing reflexivity
ShapeOfMatter Oct 25, 2024
7c03eb1
make quire.get_map be more conventional and work. WIP in booksellers.
ShapeOfMatter Oct 30, 2024
eeb3a9c
get booksellers typechecking. Doesn't actually run yet though
ShapeOfMatter Oct 30, 2024
bf3b5ba
implement fanin and fanout on the runner, add test cases
shumbo Oct 31, 2024
35ed1bc
fix broken test
shumbo Oct 31, 2024
c30786b
census polymorphic kvs
ShapeOfMatter Nov 7, 2024
2c1e810
fix answer extrations
ShapeOfMatter Nov 7, 2024
66ff827
`cargo fmt`
shumbo Nov 14, 2024
5df2667
describe multiply located values
shumbo Nov 14, 2024
ffbfdb3
use `unwrap` to unwrap both MLV and Quire
shumbo Nov 24, 2024
2339c94
explain `multicast`
shumbo Nov 28, 2024
16559b4
rewrite efficient conditionals chapter
shumbo Nov 30, 2024
e1484c4
reorder items
shumbo Nov 30, 2024
5ac0739
remove `Superposition`
shumbo Dec 2, 2024
497d18e
comments
shumbo Dec 2, 2024
187e914
bump version
shumbo Dec 2, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
♻️
shumbo committed Sep 7, 2024
commit 7fecb018a94aade09395f2827eaaf248e7d8fab6
25 changes: 0 additions & 25 deletions chorus_lib/src/core.rs
Original file line number Diff line number Diff line change
@@ -497,17 +497,6 @@ pub trait ChoreoOp<L: LocationSet> {
where
QS: Subset<L, QSSubsetL>,
QS: LocationSetFoldable<L, QS, QSFoldable>;
// fn fanout<
// V,
// S: LocationSet,
// Index,
// SF: LocationSetFoldable<S, Index>,
// B: FanOutChoreography<V, L = L>,
// >(
// &self,
// locations: S,
// c: B,
// ) -> Faceted<V, S>;
}

struct X<L: LocationSet> {
@@ -1059,20 +1048,6 @@ impl<L: LocationSet> Runner<L> {
{
unimplemented!()
}

// fn fanout<
// V,
// S: LocationSet,
// Index,
// SF: LocationSetFoldable<S, Index>,
// B: FanOutChoreography<V, L = L>,
// >(
// &self,
// locations: S,
// c: B,
// ) -> Faceted<V, S> {
// unimplemented!()
// }
}
let op: RunOp<L> = RunOp(PhantomData);
choreo.run(&op)