François Garillot huitseeker
huitseeker
/ gist:6d7561bbc3bb5c008ba70bbb44f2e104
Created
December 19, 2023 13:04
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
| diff --git a/src/lem/tests/eval_tests.rs b/src/lem/tests/eval_tests.rs | |
| index fbd5d4d9a..924a9e6e2 100644 | |
| --- a/src/lem/tests/eval_tests.rs | |
| +++ b/src/lem/tests/eval_tests.rs | |
| @@ -176,11 +176,11 @@ fn self_evaluating() { | |
| ] | |
| .into_iter() | |
| .for_each(|(expr, expt)| { | |
| - test_aux::<Coproc<Fr>>(s, expr, Some(expt), None, None, None, 1, &None); | |
| + test_aux::<Coproc<Fr>>(s, expr, Some(expt), None, None, None, expect!("1"), &None); |
huitseeker
/ benches.md
Created
December 14, 2023 13:25
huitseeker
/ benches.md
Created
December 14, 2023 13:21
huitseeker
/ gist:11c3e4cf73d8fc7a12424dfa53824deb
Created
December 6, 2023 16:11
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
| Compiling libc v0.2.150 | |
| Compiling rustix v0.38.26 | |
| Compiling bitflags v2.4.1 | |
| Compiling linux-raw-sys v0.4.12 | |
| Compiling radium v0.7.0 | |
| Compiling either v1.9.0 | |
| Compiling home v0.5.5 | |
| Checking tap v1.0.1 | |
| Checking rand_core v0.6.4 | |
| Checking funty v2.0.0 |
huitseeker
/ gist:bb8388c4fec3d2f28f9051046a95c102
Created
December 6, 2023 16:09
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
| Compiling semolina v0.1.4 | |
| Compiling sppark v0.1.5 | |
| The following warnings were emitted during compilation: | |
| warning: [email protected]: /usr/lib/llvm16/bin/clang++: No such file or directory | |
| warning: [email protected]: nvcc fatal : Failed to preprocess host compiler properties. | |
| error: failed to run custom build command for `sppark v0.1.5` | |
| Caused by: |
huitseeker
/ gist:2fa33c0123528d4c77f62cadd6873e5d
Created
December 6, 2023 16:09
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
| Compiling libc v0.2.150 | |
| Compiling rustix v0.38.26 | |
| Compiling linux-raw-sys v0.4.12 | |
| Compiling bitflags v2.4.1 | |
| Compiling either v1.9.0 | |
| Compiling radium v0.7.0 | |
| Compiling home v0.5.5 | |
| Checking tap v1.0.1 | |
| Checking rand_core v0.6.4 | |
| Checking funty v2.0.0 |
huitseeker
/ gist:f65afe92e9275daa9e1a85ef8eaca698
Created
December 6, 2023 16:08
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
| Compiling libc v0.2.150 | |
| Compiling rustix v0.38.26 | |
| Compiling bitflags v2.4.1 | |
| Compiling linux-raw-sys v0.4.12 | |
| Compiling radium v0.7.0 | |
| Compiling home v0.5.5 | |
| Compiling either v1.9.0 | |
| Checking tap v1.0.1 | |
| Checking funty v2.0.0 | |
| Checking rand_core v0.6.4 |
huitseeker
/ gist:e22b6f7f21057bfd3f45601724f4c04d
Created
December 6, 2023 15:04
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
| Compiling libc v0.2.150 | |
| Compiling rustix v0.38.26 | |
| Compiling bitflags v2.4.1 | |
| Compiling linux-raw-sys v0.4.12 | |
| Compiling home v0.5.5 | |
| Compiling radium v0.7.0 | |
| Compiling either v1.9.0 | |
| Checking tap v1.0.1 | |
| Checking funty v2.0.0 | |
| Checking rand_core v0.6.4 |
huitseeker
/ gist:7ced8a5a7360b061137fb2a3412c8088
Created
November 10, 2023 17:58
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
| [UPDATE] lurk-lab/.github:main will be changed to protected | |
| [UPDATE] lurk-lab/abomonation:main will be changed to protected | |
| [OK] lurk-lab/abomonation_derive:master is already protected | |
| [OK] lurk-lab/arecibo:dev is already protected | |
| [OK] lurk-lab/awesome-folding:main is already protected | |
| [UPDATE] lurk-lab/Bellanova.lean:main will be changed to protected | |
| [OK] lurk-lab/bellpepper:main is already protected | |
| [OK] lurk-lab/bellpepper-gadgets:main is already protected | |
| [OK] lurk-lab/bellperson:dev is already protected | |
| [UPDATE] lurk-lab/bellperson-nonnative:master will be changed to protected |
huitseeker
/ gist:68c6b3da9d2674b1957b53dd738bb8ca
Created
November 10, 2023 17:44
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
| [UPDATE] lurk-lab/.github will be changed to mergeCommits | squash | |
| [UPDATE] lurk-lab/abomonation will be changed to mergeCommits | squash | |
| [UPDATE] lurk-lab/abomonation_derive will be changed to mergeCommits | squash | |
| [OK] lurk-lab/arecibo is already set to mergeCommits | squash | |
| [UPDATE] lurk-lab/awesome-folding will be changed to mergeCommits | squash | |
| [UPDATE] lurk-lab/Bellanova.lean will be changed to mergeCommits | squash | |
| [OK] lurk-lab/bellpepper is already set to mergeCommits | squash | |
| [OK] lurk-lab/bellpepper-gadgets is already set to mergeCommits | squash | |
| [UPDATE] lurk-lab/bellperson will be changed to mergeCommits | squash | |
| [UPDATE] lurk-lab/bellperson-nonnative will be changed to mergeCommits | squash |