Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Interactivity #42

Merged
merged 27 commits into from Jul 13, 2022
Merged

Interactivity #42

merged 27 commits into from Jul 13, 2022

Conversation

rlisahuang
Copy link
Contributor

WIP

@rlisahuang
first try run from client
8f18dcb
@rlisahuang
separate runZ3Web from runZ3File
dfc921c
@rlisahuang
created a webpack plugin to automate adding coi-serviceworker script …
986a1f6 
…for bypassing COOP/COEP
@rlisahuang
plugin modified but build fails locally
4eb2517
@rlisahuang
narrowed the error down to initZ3 client-side; now testing the coi-se…
8c395a0 
…rviceworker webpack plugin
@rlisahuang
use node to copy coi-serviceworker.js through plugins but it doesn't …
48e1b4a 
…work
@rlisahuang
move copying coi-serviceworker to remark plugin
969647c
@rlisahuang
removed existing plugin; move coi-serviceworker.js inside assets/js
8fd3b3a
@rlisahuang
inject html tags for coi-serviceworker
abd63e1
@rlisahuang
move html tag injection to docusaurus.config
1e34e23
@rlisahuang
add coi-serviceworker to static
d4f7091
@rlisahuang
fix path to coi-serviceworker.js
e3e8ea1
@rlisahuang
fix fs copy error; so yes we should never put non-bundled scripts und…
bd00e49 
…er assets/js
@rlisahuang
bring initZ3 back into the game
a7d4ee5
@rlisahuang
trying to get initZ3 to run
a71e9d5
@rlisahuang
add resolve path-browserify to webpack config
4113462
@rlisahuang
import {initZ3} from 'z3-built.js' failing
d787b7f
@rlisahuang rlisahuang mentioned this pull request Jul 12, 2022
Closed
@pelikhan
Copy link
Member

Requirements:

  • Z3 should run in a worker, not ui thread
  • loading z3 should be lazy, you should not load the z3 worker until needed (or idle)

@rlisahuang rlisahuang merged commit 6079128 into main Jul 13, 2022
@rlisahuang rlisahuang deleted the client-side-z3 branch July 13, 2022 00:37
@github-actions
Copy link
Contributor

github-actions bot commented Aug 3, 2022

🎉 This PR is included in version 1.0.0 🎉

The release is available on GitHub release

Your semantic-release bot 📦🚀

@github-actions
Copy link
Contributor

github-actions bot commented Aug 3, 2022

🎉 This PR is included in version 1.0.0 🎉

The release is available on GitHub release

Your semantic-release bot 📦🚀

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
released
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@rlisahuang @pelikhan