P

Proving Ground

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed about 1 hour ago. based on code collected about 7 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 28, 2023 — Apr 28, 2024 Showing page 8 of 144 Search / Filter on:
logs updated	Siddhartha Gadgil	More...				over 3 years ago
logs updated	Siddhartha Gadgil	More...				over 3 years ago
logs updated	Siddhartha Gadgil	More...				over 3 years ago
exporting proofs while chomping	Siddhartha Gadgil	More...				over 3 years ago
logs updated	Siddhartha Gadgil	More...				over 3 years ago
corrected - seeking also reports lookup	Siddhartha Gadgil	More...				over 3 years ago
seeking also reports lookup	Siddhartha Gadgil	More...				over 3 years ago
lookup also reported	Siddhartha Gadgil	More...				over 3 years ago
logging correction	Siddhartha Gadgil	More...				over 3 years ago
logs updated	Siddhartha Gadgil	More...				over 3 years ago
correction: goals after chomp as bot	Siddhartha Gadgil	More...				over 3 years ago
Merge branch 'master' of https://github.com/siddhartha-gadgil/ProvingGround	Siddhartha Gadgil	More...				over 3 years ago
logs updated	Siddhartha Gadgil	More...				over 3 years ago
correction: parallel chomping negated types too	Siddhartha Gadgil	More...				over 3 years ago
logs updated	Siddhartha Gadgil	More...				over 3 years ago
correction to buffer use	Siddhartha Gadgil	More...				over 3 years ago
logs updated	Siddhartha Gadgil	More...				over 3 years ago
main optimization corrected	Siddhartha Gadgil	More...				over 3 years ago
main optimization	Siddhartha Gadgil	More...				over 3 years ago
Merge branch 'master' of https://github.com/siddhartha-gadgil/ProvingGround	Siddhartha Gadgil	More...				over 3 years ago
first run with newer methods	Siddhartha Gadgil	More...				over 3 years ago
first run with newer methods	Siddhartha Gadgil	More...				over 3 years ago
attempted query optimizations	Siddhartha Gadgil	More...				over 3 years ago
making dead code compile	Siddhartha Gadgil	More...				over 3 years ago
attempting faster history (helpers)	Siddhartha Gadgil	More...				over 3 years ago
parallel chomp sessions	Siddhartha Gadgil	More...				over 3 years ago
repost logs v 2	Siddhartha Gadgil	More...				over 3 years ago
Merge branch 'master' of https://github.com/siddhartha-gadgil/ProvingGround	Siddhartha Gadgil	More...				over 3 years ago
repost logs	Siddhartha Gadgil	More...				over 3 years ago
testing parallel lookup solver	Siddhartha Gadgil	More...				over 3 years ago

←
1
2
3
4
5
6
7
8
9
10
11
12
…
143
144
→