-
Notifications
You must be signed in to change notification settings - Fork 677
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[infra] Improve test app UIs and usability, switch to fast pass rende…
…ring (#4426) * First round of changes; Fun fact: you can slice up a sphere in such a way that you can assemble two spheres out of it with same volume (Banach Tarski Paradox) * Second round of changes; Fun fact: Despite being an uncountable set (""not listable""), there exists a well-ordering of the real numbers (ZFC & axiom of choice) * Merge branch 'master' into user/chingucoding/testapp-ui-improvements * Third round of changes; Fun fact: At the start of the 20th century, mathematics went through a crisis since there was no clear axiomatic foundation for Math; this was eventually solved by using set theory (ZFC) as foundation * Fourth round of changes; Fun fact: Despite having an infinite number of digits, it is neither poven nor disproven that pi contains any sequence of digits (i.e. it is a normal number). most normal numbers we know are constructed (e.g. Champerowne's constant) * Fifth round of changes, switching to fast pass rendering; Fun fact: The only holomorphic (complex differentiable) functions with a global maximum are constants, all other holomorphic functions have no global maximum besides on the domain boundary * Bring back ProgressBarPage changes * Possibly fix test failure * Fix bad merge * Revert version setting * update verification files * Fix formatting Co-authored-by: Karen Lai <[email protected]>
- Loading branch information
Showing
61 changed files
with
1,161 additions
and
1,124 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.