davideps

Results 4 issues of davideps

I'm running a simulation that will build a graph over time. At times, the simulation branches and builds multiple versions of the graph. I'd like to query the result to...

Is planutils the only way to get SMTPlan running these days? I notice that the Piranha Algebra system is no longer supported and I've been unable to get it to...

Hi Olivia, In your setup, ggez passes mouse behavior to imgui to process or ignore as necessary. However, can you see any way for ggez to know whether the user...

help wanted

Olivia, thank you so much for putting this starter code together! Is there any interest in making it compatible with a more recent imgui API? I changed a few cargo...

help wanted
good first issue