Ramon Snir

We have several very (**very**) large blueprints, which when we stored in the DOM (in the `data-blueprint` attribute) caused Chrome to have hiccups, and made the Developer Tools practically useless...

[fix] static svelte:element not replaced with tag in production mode

11

This aims to fix #7937 by adding a new condition for opting out of the `.innerHTML` optimization in production mode. The change is based on the changes from #7390. Before...

[fix] allow $store to be used with changing values including nullish values

3

This aims to fix #7946 by having `utils.js/subscribe` call the callbacks even if the store is bullish. Related issues: #7555 , #7693 ### Before submitting the PR, please make sure...

Otherwise, when it pops it "resets" all the (tracked) files.

I am using TLAPS from branch "updated_enabled_cdot". If there is any temporal-level hypothesis in the context, ENABLEDrules fails. This is true even if that assumption is irrelevant to the current...

BSTs on Tuples

2

I saw in the README that you'd like to support BSTs that are implemented using tuples. I'd like to take a hit at that, as an easy PR, but have...