Skip to content

Conversation

nickjiang2378
Copy link
Contributor

No description provided.

MingweiSamuel and others added 30 commits July 18, 2023 19:59
* 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
* 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 <2418897+zzlk@users.noreply.github.com>
…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
MingweiSamuel and others added 22 commits February 29, 2024 22:58
…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 nickjiang2378 marked this pull request as draft September 2, 2024 19:11
@nickjiang2378 nickjiang2378 changed the title Kubernetes integration [DO NOT MERGE] Kubernetes integration (unrebased Sep 4, 2024
@nickjiang2378 nickjiang2378 changed the title [DO NOT MERGE] Kubernetes integration (unrebased [DO NOT MERGE] Kubernetes integration (unrebased) Sep 4, 2024
@MingweiSamuel MingweiSamuel force-pushed the main branch 2 times, most recently from b569212 to fb8393a Compare March 15, 2025 01:30
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.

6 participants