profile
viewpoint

GaloisInc/mir-json 7

Plugin for rustc to dump MIR in JSON format

quantsini/hackathon11 1

Hackathon 11 - demoscene

wilcoxjay/PrettyParsing 1

verified, human-readable, text-based serializers in Coq

GaloisInc/curve25519-dalek 0

A pure-Rust implementation of group operations on Ristretto and Curve25519

spernsteiner/electionguard-verifier 0

The ElectionGuard SDK Reference Verifier enables the verification of election ballots, tallies, and proofs generated by the ElectionGuard SDK

push eventuwplse/herbie

oliver

commit sha ac73d01390a4de01a0233d823453cdd1a9b3957d

correct examples

view details

push time in 3 days

push eventuwplse/herbie

oliver

commit sha 16a213366464eff1ec742cc6c3f70475d9a3e402

depend on egg-herbie, either pre-built or local

view details

push time in 4 days

create barnchuwplse/herbie

branch : merge-egg-herbie

created branch time in 5 days

PR opened uwplse/herbie

Add script which converts demo json files

The script accepts a folder containing all the json files and outputs fpcore files which can be read by herbie. It also performs the same sort on the fpcore expressions that herbie does.

+142 -0

0 comment

3 changed files

pr created time in 6 days

push eventuwplse/herbie

Oliver

commit sha b46259bd1868cd1b5b12d3011b92f6914d8d13f8

fix up new demo conversion

view details

push time in 6 days

push eventuwplse/herbie

oliver

commit sha 5f8ab54ba2685ed4f6efc4effd577a072011796b

better demo script

view details

push time in 6 days

create barnchuwplse/herbie

branch : convert-demo-script

created branch time in 6 days

push eventuwplse/herbie

Brett Saiki

commit sha 25cd4886d5a3a85de9062af61c5a9f0f0b1c16e1

Multiple starting alts

view details

Brett Saiki

commit sha 6d494112ca8d2b7be4c3da259344c6b4a907e653

Better conversions

view details

push time in 7 days

push eventuwplse/herbie

Oliver

commit sha 391beb3314827f67cc38ce4e502fe13386ebcabb

table correct

view details

push time in 12 days

push eventuwplse/Cassius

Skyler Griffith

commit sha 463d1b2b526755ba7270f77399016ecfc1e3788b

add the ability to define pseudo javascript code in the proof language for appending children to an element

view details

push time in 12 days

push eventuwplse/herbie

Oliver

commit sha 9c2673e647d921feaa85f95aaee3b6f905acff70

add bolding and new titles

view details

push time in 13 days

push eventuwplse/herbie

Oliver

commit sha 34c7448c06332948da37e0e798ddf66476c7ccdc

add all

view details

push time in 13 days

push eventuwplse/herbie

Brett Saiki

commit sha b63c72fe18de591906378dce8671e6002fd82a53

Fixes

view details

push time in 14 days

push eventuwplse/herbie

Oliver

commit sha c54d3600be1b7742742bd43b96da1fb2bb7b5ae6

put data in specific folder

view details

push time in 16 days

push eventuwplse/herbie

Brett Saiki

commit sha 9355ebb27c83dd0a4583a25a4b36e83810cdd086

added hypervolume metric for pareto frontier

view details

Brett Saiki

commit sha e0c61fbd6a71dc414aa5bf34a33153aa85ae1a97

Add pareto measure to timeline

view details

Brett Saiki

commit sha c370331b16250786efccc2593965a50fc71f7ca5

Render cost

view details

push time in 16 days

push eventuwplse/herbie

Oliver

commit sha 5afd8ada38f264e2461d3a42df1c20e87fb06c66

transpose table

view details

push time in 16 days

push eventuwplse/herbie

Oliver

commit sha 0c106a6d6bbdcfeb2db12ce9b1a0c51fd6eac13a

one table

view details

push time in 17 days

push eventuwplse/herbie

Oliver

commit sha b8c2a679f76c4d5712a19d7df8d1e6125be44133

add error info to mathematica

view details

Oliver

commit sha 10feace922a4ccac58bfa87b9d9cdc937b980bc0

working on new combined table

view details

push time in 19 days

push eventuwplse/herbie

Oliver

commit sha 331705f2dcf3b6eca547b70d7a8f81642ba81a6f

add current tables

view details

push time in 21 days

push eventuwplse/herbie

Oliver

commit sha d650a2986987cd0e786efc2613f56e8783479f8f

try subprocess

view details

Oliver

commit sha 9056d70aa911877013d732dc24667ed228c7aced

format mathematica properly

view details

push time in 21 days

push eventuwplse/Cassius

Skyler Griffith

commit sha 02888fbe9999c93af5716314d438c16ae802a15c

Refactor proofs

view details

push time in 21 days

push eventuwplse/Cassius

Skyler Griffith

commit sha 20d97d2127690566a38863b7eb09a323e896df9d

Test multiple adds in the append proof

view details

push time in 22 days

push eventuwplse/Cassius

Skyler Griffith

commit sha 14e7581690735f014af9b1488c951811a7e31e4b

Forgot to push changes to dom.rkt

view details

push time in 22 days

push eventuwplse/Cassius

Skyler Griffith

commit sha 5611056202af57046ff5c635405bc7661e6ef402

Rework proofs.rkt so the user can generate a new page by telling Cassius they want to append to some element in an already generated page

view details

push time in 22 days

push eventuwplse/herbie

Brett Saiki

commit sha 239cd9047529fbff0ced8c1e320d6df95b4cef94

No fuel in regimes

view details

push time in 23 days

PR opened uwplse/herbie

Benchmarks from racket/gui

Thanks to @rfindler for pointing me to a new commit to racket/gui for some new benchmarks. https://github.com/racket/gui/commit/e8decf79852b9dac06ebd91a9aae5c0c3b215c34 The code computes some values related to ellipses. Currently, herbie times out due to taylor expansion going crazy on the benchmarks for a and b. We also fail to improve values for A, B, and C

+51 -0

0 comment

1 changed file

pr created time in 24 days

create barnchuwplse/herbie

branch : benchmarks-from-racket-gui

created branch time in 24 days

push eventuwplse/herbie

oliver

commit sha ee24e3a5c754d62daa3d585af23eba9ad19787ff

typo

view details

push time in 24 days

push eventuwplse/herbie

oliver

commit sha 69338746575ac1169f02e0765c4a0f84aa48be54

test samplablility

view details

push time in 25 days

push eventuwplse/herbie

oliver

commit sha f950f656db5b27ce312d20e4a24e8931138426bb

run high precision

view details

push time in 25 days

more