sdc - A ridiculously overengineered flash cards app using C, SQLite, Fenwick trees, and PyQt

Age	Commit message (Expand)	Author
7 days	Link to Dafny-Rust docsHEAD master	Anthony Wang
7 days	TODO: nativeType only works for newtype	Anthony Wang
7 days	2x perf boost by restricting lsb_fast inputs	Anthony Wang
8 days	Add more Dafny TODOs	Anthony Wang
8 days	Add (super slow) Dafny-generated Python library too	Anthony Wang
8 days	6x speedup by using bitwise ops when i fits in 32 bits	Anthony Wang
9 days	fenwick.dfy is 1-indexed not 0-indexed	Anthony Wang
10 days	Rebuild fenwick.rs	Anthony Wang
10 days	Adjust loop invariant	Anthony Wang
10 days	Simplify search proof and remove unnecessary ghost var	Anthony Wang
10 days	More comments for search	Anthony Wang
10 days	Don't need to manually label where each lemma is used	Anthony Wang
10 days	Add more usage instructions of Dafny Fenwick library	Anthony Wang
10 days	Compile fenwick.dfy into a Rust library	Anthony Wang
10 days	Clean up proof some more	Anthony Wang
10 days	Make the binary search slightly less scuffed	Anthony Wang
10 days	Add some more comments yay	Anthony Wang
10 days	Very ugly proof of range_query	Anthony Wang
10 days	Really ugly and nasty proof of search operation	Anthony Wang
2025-03-17	A few more proof comments	Anthony Wang
2025-03-16	Bump up lsb_correct to bv16 to match blog post, link to stuff	Anthony Wang
2025-03-16	Merge query invariant into one line	Anthony Wang
2025-03-16	Some small style changes	Anthony Wang
2025-03-15	Use int instead of nat for perf reasons	Anthony Wang
2025-03-15	More helpful comments	Anthony Wang
2025-03-15	Delete unused code, add more helpful comments	Anthony Wang
2025-03-15	Should be correct but slow	Anthony Wang
2025-03-15	Yay it almost works	Anthony Wang
2025-03-14	This stuff doesn't work so gonna try a different approach	Anthony Wang
2025-03-14	Yeah something's fishy about this proof, weird	Anthony Wang
2025-03-14	weird (wrong?) proof???	Anthony Wang
2025-03-14	wait wtfffffffffffffffff	Anthony Wang
2025-03-14	Clean up Fenwick proof	Anthony Wang
2025-03-14	YaaYYAYAYAYYAY it works	Anthony Wang
2025-03-14	Almost done!	Anthony Wang
2025-03-14	yay almost done	Anthony Wang
2025-03-13	blah2	Anthony Wang
2025-03-13	ugghghhhhhhhh	Anthony Wang
2025-03-13	gitignore all files without extensions	Anthony Wang
2025-01-15	Remove debug stuff so the rurq code looks less awful	Anthony Wang
2025-01-15	Fenwick RURQ example	Anthony Wang
2025-01-15	Use line comments instead of block comments everywhere	Anthony Wang
2025-01-15	Remove unnecessary braces	Anthony Wang
2025-01-15	Perf tests for optimized range query	Anthony Wang
2025-01-14	Better comments for fenwick.c	Anthony Wang
2025-01-14	Fix comment typo	Anthony Wang
2025-01-14	Reword README to better describe this project	Anthony Wang
2025-01-13	Convenience function for Fenwick range queries	Anthony Wang
2025-01-13	Make stress test only 1 million cards	Anthony Wang
2025-01-13	SQLite actually starts autoincrement indexing at 1	Anthony Wang