Florian Diebold baeb16e83f Improve Chalk debugging
- add panic context for the trait goal if CHALK_DEBUG is set
 - print the Chalk program even if we're panicking
 - log goal/solution while TLS is still set
2020-10-23 15:28:02 +02:00
..
2020-10-23 15:28:02 +02:00
2020-10-11 18:01:50 -04:00