Skip to content

Activity

Showing most recent first

Deploying to gh-pages from @ 2cd6a75 🚀

github-actions[bot]pushed 1 commit to gh-pages • 13098bc…6b2b4df • 
on Apr 17, 2024

Fix typos

Wilfredpushed 1 commit to master • ff730f3…2cd6a75 • 
on Apr 17, 2024

Remove references to Windows builds

Wilfredpushed 1 commit to master • 138aa56…ff730f3 • 
on Sep 17, 2023

Deploying to gh-pages from @ 138aa56 🚀

github-actions[bot]pushed 1 commit to gh-pages • ce61252…13098bc • 
on Sep 17, 2023

Upgrade to LLVM 14

Wilfredpushed 1 commit to master • a082b48…138aa56 • 
on Sep 17, 2023

Deploying to gh-pages from @ a082b48 🚀

github-actions[bot]pushed 1 commit to gh-pages • 2186d2e…ce61252 • 
on Sep 17, 2023

Bump version after release

Wilfredpushed 1 commit to master • 5433e5c…a082b48 • 
on Sep 17, 2023

Don't fail CI on coverage issues

Wilfredpushed 2 commits to master • b3b8aa3…5433e5c • 
on Sep 17, 2023

Deploying to gh-pages from @ b3b8aa3 🚀

github-actions[bot]pushed 1 commit to gh-pages • a0d5f46…2186d2e • 
on Sep 17, 2023

Add note about dynamic linking features

Wilfredpushed 2 commits to master • 353a424…b3b8aa3 • 
on Sep 17, 2023

Deploying to gh-pages from @ 353a424 🚀

github-actions[bot]pushed 1 commit to gh-pages • d011b64…a0d5f46 • 
on Sep 17, 2023

Revert "Improve dead code elimination"

Wilfredpushed 1 commit to master • 5c9ff23…353a424 • 
on Sep 17, 2023

Add justfile to automate release

Wilfredpushed 1 commit to master • 9d6ca36…5c9ff23 • 
on Sep 17, 2023

Avoid unnecesary copies in annotate_known_zero

Wilfredpushed 1 commit to master • 4ce23d4…9d6ca36 • 
on Jun 18, 2023

Remove irrelevant badge

Wilfredpushed 1 commit to master • 24f93f1…4ce23d4 • 
on Jun 18, 2023

Add an example of MultiplyMove

Wilfredpushed 1 commit to master • eb1573d…24f93f1 • 
on Jun 18, 2023

Deploying to gh-pages from @ eb1573d 🚀

github-actions[bot]pushed 1 commit to gh-pages • eb42b0d…d011b64 • 
on Jun 17, 2023

Next release will be 1.12

Wilfredpushed 1 commit to master • d81c8c5…eb1573d • 
on Jun 17, 2023

Add a quickcheck test to ensure that positions do not affect optimisa…

Wilfredpushed 1 commit to master • b537bbd…d81c8c5 • 
on Jun 17, 2023

Deploying to gh-pages from @ b537bbd 🚀

github-actions[bot]pushed 1 commit to gh-pages • 00c78ff…eb42b0d • 
on Jun 17, 2023

Treat the website as the source of truth for the changelog

Wilfredpushed 1 commit to master • 19492f0…b537bbd • 
on Jun 17, 2023

Deploying to gh-pages from @ 19492f0 🚀

github-actions[bot]pushed 1 commit to gh-pages • 73e81f7…00c78ff • 
on Jun 17, 2023

Update changelog for website

Wilfredpushed 1 commit to master • 8709150…19492f0 • 
on Jun 17, 2023

Improve dead code elimination

Wilfredpushed 1 commit to master • c60c995…8709150 • 
on Jun 17, 2023

Clarify the meaning of offset in the IR

Wilfredpushed 2 commits to master • af1ec39…c60c995 • 
on Jun 17, 2023

Rename Cell to BfValue to avoid confusion with std

Wilfredpushed 1 commit to master • 9c5afe3…af1ec39 • 
on Jun 17, 2023

Add docs of IR values

Wilfredpushed 1 commit to master • 4b19c0d…9c5afe3 • 
on Jun 16, 2023

Use -s for stripping

Wilfredpushed 1 commit to master • db06364…4b19c0d • 
on Jun 16, 2023

Prefer matches! where it's more concise

Wilfredpushed 1 commit to master • 5d58aa3…db06364 • 
on Jun 16, 2023

Simplify shelling out helpers

Wilfredpushed 2 commits to master • eb12a66…5d58aa3 • 
on Jun 16, 2023