--- Log opened Fri Nov 12 00:00:30 2021
04:10 -!- devrandom [~devrandom@2001:470:69fc:105::d4d] has quit [Quit: Bridge terminating on SIGTERM]
04:10 -!- ksedgwic [~ksedgwicm@2001:470:69fc:105::ce1] has quit [Quit: Bridge terminating on SIGTERM]
04:10 -!- rjected [~rjected@2001:470:69fc:105::949] has quit [Quit: Bridge terminating on SIGTERM]
04:27 -!- rjected [~rjected@2001:470:69fc:105::949] has joined #utreexo
04:35 -!- devrandom [~devrandom@2001:470:69fc:105::d4d] has joined #utreexo
04:35 -!- ksedgwic [~ksedgwicm@2001:470:69fc:105::ce1] has joined #utreexo
04:51 -!- rjected [~rjected@2001:470:69fc:105::949] has quit [Quit: Client limit exceeded: 20000]
04:51 -!- devrandom [~devrandom@2001:470:69fc:105::d4d] has quit [Quit: Client limit exceeded: 20000]
04:51 -!- ksedgwic [~ksedgwicm@2001:470:69fc:105::ce1] has quit [Quit: Client limit exceeded: 20000]
09:05 < adiabat> eh thinking out loud is fine :)
09:06 < adiabat> the code in proofpositions and general proof stuff is way messier than the modify / uno operation so I'd guess the problem is there
23:53 -!- kallewoof [~quassel@user/kallewoof] has quit [Ping timeout: 268 seconds]
--- Log closed Sat Nov 13 00:00:31 2021