Skip to content

Activity

Showing most recent first

Merge pull request #411 from ethanuppal/add-inv-sqrt-benchmark

Pull request merge
sampsyopushed 3 commits to main • 9376051…175580e • 
11 days ago

Merge pull request #413 from Pat-Lafon/brilirs_ssu_reg

Pull request merge
sampsyopushed 4 commits to main • 6a6911a…9376051 • 
11 days ago

Merge pull request #412 from InnovativeInventor/ssa-ssu-bug-fix

Pull request merge
sampsyopushed 2 commits to main • a295fcc…6a6911a • 
11 days ago

CI: Switch to Python 3.13

sampsyopushed 2 commits to main • bc60765…a295fcc • 
11 days ago

Deleted branch

sampsyodeleted ssa2-fix-from • 
22 days ago

Merge pull request #410 from sampsyo/ssa2-fix-from

Pull request merge
sampsyopushed 3 commits to main • c5940df…bc60765 • 
22 days ago

Use separate shadow variables in from_ssa

sampsyocreated ssa2-fix-from • a0dab98 • 
22 days ago

Merge pull request #406 from Pat-Lafon/dynamic_bril

Pull request merge
sampsyopushed 14 commits to main • bc6f31c…c5940df • 
23 days ago

Recommend uv in README again

sampsyopushed 1 commit to main • 68057ec…bc6f31c • 
25 days ago

Deleted branch

sampsyodeleted ssa2-convert-opt • 
26 days ago

Merge pull request #409 from sampsyo/ssa2-convert-opt

Pull request merge
sampsyopushed 11 commits to main • 88df287…68057ec • 
26 days ago

Move undefs to the entry block

sampsyopushed 1 commit to ssa2-convert-opt • 5487fe2…dbd6c1d • 
26 days ago

Benchmark both SSA transformations

sampsyopushed 1 commit to ssa2-convert-opt • 26a7e48…5487fe2 • 
26 days ago

Disable the double-SSA test

sampsyopushed 3 commits to ssa2-convert-opt • 171bc09…26a7e48 • 
26 days ago

Enable round-trip SSA tests for both styles

sampsyopushed 1 commit to ssa2-convert-opt • 0cc375d…171bc09 • 
26 days ago

One approach to undefinedness

sampsyocreated ssa2-convert-opt • 0cc375d • 
26 days ago

Deleted branch

sampsyodeleted ssa2-docs • 
27 days ago

Merge pull request #408 from sampsyo/ssa2-docs

Pull request merge
sampsyopushed 3 commits to main • 4da5e27…88df287 • 
27 days ago

Expand/reorganize ssa2 docs

sampsyocreated ssa2-docs • edd6c5a • 
27 days ago

Deleted branch

sampsyodeleted ssa2-rename • 
27 days ago

Merge pull request #407 from sampsyo/ssa2-rename

Pull request merge
sampsyopushed 8 commits to main • 8287d7b…4da5e27 • 
27 days ago

Reformat

sampsyopushed 1 commit to ssa2-rename • bab09fe…162f184 • 
27 days ago

Rename an SSA test

sampsyopushed 3 commits to ssa2-rename • 2d0d413…bab09fe • 
27 days ago

Undo SSA changes to OCaml library

sampsyopushed 2 commits to ssa2-rename • 33d37f4…2d0d413 • 
27 days ago

Brute-force ssa2 rename

sampsyocreated ssa2-rename • 33d37f4 • 
27 days ago

Merge pull request #352 from ethanuppal/int-float-bitcast

Pull request merge
sampsyopushed 26 commits to main • 971a8bb…8287d7b • 
28 days ago

Merge pull request #404 from Pat-Lafon/rust_ssa2

Pull request merge
sampsyopushed 10 commits to main • d83c726…971a8bb • 
28 days ago

Deleted branch

sampsyodeleted ssa2-test • 
29 days ago

Merge pull request #405 from sampsyo/ssa2-test

Pull request merge
sampsyopushed 6 commits to main • 4837d1c…d83c726 • 
29 days ago

Add tests for undef; print on undef is an error

sampsyopushed 2 commits to ssa2-test • cf76a3b…f1f82ad • 
on Feb 21