Gungy2
Gungy2
Same error, unfortunately
Can someone maybe fork this and create another deployment on npm, since this does not seem to be actively maintained anymore? Also, react-dom should also be bumped in the peer-dependecies.
Thanks a lot @qmhc
Just this line: `import { loadStdlib } from '@reach-sh/stdlib'` is impossible to run in a vite build. Then stdlib makes use of Express, which in turn makes of http, that...
I think the [conversation on Discord](https://discord.com/channels/628402598663290882/1106553538148057150) is also relevant.
Alternatively, even easier: ```js export const main = Reach.App( () => { const A = Participant('A', { x: UInt }); init(); A.only(() => { const x = declassify(interact.x); assume(x >...
Yes, it makes my code work. The assertion should only work for the right integer square root, if I am not mistaken.
The only issue with this assertion is that, while it is _perfect_ (meaning that it passes just for the exact number) it tends to overwhelm the SMT solver (for my...
> I had another look at it but it almost feel like maybe the test is not correct. Why did `on` work on generic methods to begin with, aren't you...