Noel Kwan

Private interaction parameters

2

In GitLab by @fahree on Nov 20, 2020, 03:34 null

Update post-transaction w/ persistent continuation

4

In GitLab by @fahree on Nov 13, 2020, 03:17 null

Determine if/where collaterals are needed

15

In GitLab by @fahree on Nov 5, 2020, 01:20 For this ticket we need to: * [ ] Write a CTL formula for whether collateral is required at the end...

Dead-man switch Glow (add Choice)

1

In GitLab by @fahree on Nov 5, 2020, 01:20 null

Persist Continuations

8

In GitLab by @fahree on Nov 5, 2020, 01:20

Discussion: Typechecking Interactions and Assets

5

In GitLab by @AlexKnauth on Jul 2, 2020, 03:40 We discussed that the type for `Assets` could be be a record type with fields for different assets. At some point,...

Testing: Test type errors on programs that should fail to typecheck for various reasons

2

In GitLab by @AlexKnauth on Jul 2, 2020, 03:26 There should be tests on files that should not pass the typechecker, which check that an error is raised, and check...

Define grammars for each of our intermediate languages

2

In GitLab by @fahree on Feb 25, 2020, 06:56 I posted on Discord a picture of intermediate languages and passes before end-point projection (EPP). https://discordapp.com/channels/655606984514469899/655606984967585832/681632306217484310 We must better define those...

I hereby agree to the terms of the [RisingWave Labs, Inc. Contributor License Agreement](https://gist.github.com/TennyZhuang/f00be7f16996ea48effb049aa7be4d66#file-rw_cla). ## What's changed and what's your intention? Notify catalog to fe in the following places: -...

I hereby agree to the terms of the [RisingWave Labs, Inc. Contributor License Agreement](https://gist.github.com/TennyZhuang/f00be7f16996ea48effb049aa7be4d66#file-rw_cla). ## What's changed and what's your intention? Handle v2 in a separate PR. ## Checklist -...