P

Proving Ground

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed about 15 hours ago. based on code collected about 18 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 27, 2023 — Apr 27, 2024 Showing page 7 of 144 Search / Filter on:
logs updated	Siddhartha Gadgil	More...				about 3 years ago
logs updated	Siddhartha Gadgil	More...				about 3 years ago
logs updated	Siddhartha Gadgil	More...				about 3 years ago
more logging for goal-in-context	Siddhartha Gadgil	More...				about 3 years ago
logs updated	Siddhartha Gadgil	More...				about 3 years ago
using parallel attempts in induction	Siddhartha Gadgil	More...				about 3 years ago
logs updated	Siddhartha Gadgil	More...				about 3 years ago
setting up for wilder induction	Siddhartha Gadgil	More...				about 3 years ago
induction after disabling negation should figure out cause of excess branching	Siddhartha Gadgil	More...				about 3 years ago
a couple of bugs fixed	Siddhartha Gadgil	More...				about 3 years ago
better logging, negation bug	Siddhartha Gadgil	More...				about 3 years ago
chomp halts optionally	Siddhartha Gadgil	More...				over 3 years ago
always reposting	Siddhartha Gadgil	More...				over 3 years ago
logs updated	Siddhartha Gadgil	More...				over 3 years ago
Merge branch 'master' of https://github.com/siddhartha-gadgil/ProvingGround	Siddhartha Gadgil	More...				over 3 years ago
halting if no failures in chomp	Siddhartha Gadgil	More...				over 3 years ago
logs updated	Siddhartha Gadgil	More...				over 3 years ago
reposting only for failures	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
chomping with higher cutoff first	Siddhartha Gadgil	More...				over 3 years ago
logs updated	Siddhartha Gadgil	More...				over 3 years ago
reporting earlier proofs in parallel chomper	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
additional bots in parallel chomp	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
avoiding duplicate proofs	Siddhartha Gadgil	More...				over 3 years ago
logs updated	Siddhartha Gadgil	More...				over 3 years ago

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