[DO NOT MERGE] Kubernetes integration (unrebased) #1435
+215,558
−8,959
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
…-project#845) And use in doc tests. Fix hydro-project#783 Fix hydro-project#838
* docs: Update README.md * docs: Update README.md * docs: Update README.md
BREAKING CHANGE: Renames public struct `Seq` -> `VecUnion`
* docs: mods to book * docs: operator doc fixes * docs: finish pass on operator docs * docs: operator documentation
…op` for all lattice types (hydro-project#865) * `WithBot(Some(BOTTOM))` and `WithBot(None)` are now considered to both be bottom, equal. Also, `MapUnion({})` and `MapUnion({key: BOTTOM})` are considered to both be bottom, equal. * `WithTop(Some(TOP))` and `WithTop(None)` are now considered to both be top, equal. * `check_lattice_bot/top` now check that `is_bot` and `is_top` must be consistent among all equal elements BREAKING CHANGE: * `Set/MapUnionOption` renamed to `Set/MapUnionOptionSet/Map` * `MapUnion` and `WithBot` containing nested bottom value is now considered to be bottom as well.
…attice is bottom (hydro-project#867) Previously was the opposite, `Atomize` always had to return non-empty. Not breaking since `Atomize` has not yet been published.
…ject#861) * feat!: add fused joins, make lattice_join replay correctly * address comments * fix clippy
…f98a7 2023-07-31)
* optimization: join probe returns first item directly * update comments
…ydro-project#872) * fix: unify antijoin and difference with set and multiset semantics * fix: replay semantics for antijoin and difference now work also added cross_join_multiset * fix: enforce sort for tests of anti_join and difference using assert_eq * fix: advance __borrow_ident beyond the current tick to prevent replay loops * fix: add modified snapshots * fix: temp * fix: spelling typo in comment * fix: make anti_join replay more efficient Also add multiset data structure, use it in some tests, make join() replay logic more similar to anti_join's and presist's. * fix: ignore test that depends on order of antijoin * fix: really ignore test_index * fix: fix specific test ordering in wasm --------- Co-authored-by: zzlk <[email protected]>
…nal` (hydro-project#878) shopping still erroring out for reasons unrelated to this PR
…r lattice types (hydro-project#879) Not a breaking change since changed names were introduced only since last release
…ow_datalog v0.4.0, hydroflow_macro v0.4.0, lattices v0.4.0, pusherator v0.0.3, hydroflow v0.4.0, hydro_cli v0.4.0, safety bump 4 crates SAFETY BUMP: hydroflow_datalog_core v0.4.0, hydroflow_datalog v0.4.0, hydroflow_macro v0.4.0, hydroflow v0.4.0
…collect` lint (hydro-project#881) using `.map(|| format!()).collect()` results in a heap `String` allocation for each item in the iterator, the fold only does one. Doesn't really matter for this case, just appeasing the lint
…roject#1070) Makes it possible to write custom optimization passes.
feat(hydroflow_plus): unify send/demux/tagged APIs
…ow_datalog v0.6.0, hydroflow_macro v0.6.0, lattices v0.5.3, variadics v0.0.4, pusherator v0.0.5, hydroflow v0.6.0, stageleft v0.2.0, hydroflow_plus v0.6.0, hydro_deploy v0.6.0, hydro_cli v0.6.0, hydroflow_plus_cli_integration v0.6.0, safety bump 7 crates SAFETY BUMP: hydroflow_datalog_core v0.6.0, hydroflow_datalog v0.6.0, hydroflow_macro v0.6.0, hydroflow v0.6.0, hydroflow_plus v0.6.0, hydro_cli v0.6.0, hydroflow_plus_cli_integration v0.6.0
nickjiang2378
changed the title
nickjiang2378
changed the title
MingweiSamuel
force-pushed
the
main
branch
2 times, most recently
from
b569212 to
fb8393a
Compare
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.