bakerk98

The scripts works fine, displays artists and songnames, but when I open up Spotify on my computer running the bar, and then start playing Spotify on a different computer while...

Fix for #338 ... Throwing a panic to let the user know they provided an invalid tactic name when trying to create a new tactic. Current behavior is to use...

Creating a tactic from an invalid tactic results in a SIGSEGV

1

Had a lot of trouble with memory faults from nullpointers and finally figured out that I was using tactics that exist in the Python bindings but not the Rust bindings,...

dape-ensure-command doesn't consider TRAMP

1

Hello, loving this package and I think its really awesome! Wanted to contribute if I could, so I looked into what's stopping TRAMP and debugpy working well, and I noticed...

Better error message when storing too large integer

5

I'm trying to store a big integer in the e-graph, and I've found that BigInt can't store it. Running on egglog-11.0.0, When running the code: ```python with EGraph() as egraph:...