descriptionnone
ownergit repository hosting
last changeFri, 12 Aug 2022 07:44:08 +0000 (00:44 -0700)
shortlog
2 days ago Jacob Lifshayconvert rest of dataclass uses to plain_data master
2 days ago Jacob Lifshayfix prefix_sum.py after 63ffb1aa and d7288021
2 days ago Jacob Lifshayfinish implementing @plain_data()
3 days ago Jacob Lifshaystart adding @plain_data() decorator
8 days ago Luke Kenneth... remove all asserts restricting types.
9 days ago Luke Kenneth... remove dataclass and use of types
9 days ago Jacob Lifshayadd partial_prefix_sum_ops
9 days ago Jacob Lifshayadd tree_reduction and pop_count based off of dead...
9 days ago Jacob Lifshayadd Queue formal proof
9 days ago Jacob Lifshayfix bad escape sequences from forgetting to make the...
10 days ago Jacob Lifshayremove unneeded imports
10 days ago Jacob Lifshayadd byte_reverse formal proof
10 days ago Jacob Lifshayadd important note to byte_reverse's docs
10 days ago Jacob Lifshaywrite output directory for formal test failures
10 days ago Jacob Lifshayadd BetterMultiPriorityPicker and formal proof
10 days ago Jacob Lifshaysplit out sim_util.write_il from sim_util.do_sim
...
tags
20 months ago 24jan2021_ls180
heads
2 days ago master