Faez Shakil
Faez Shakil
Hi @dustinvtran, I've been going through the codebase to figure out how to best implement SMC, and was looking for a little validation. Would subclassing from MonteCarlo and drawing inspiration...
That's my understanding from perusing related issues too. The build failure appears to be unrelated to the changes though
what structural requirements preclude using lists of parameters?
I'd like this, same workflow as you and similar solution but having it be built in would be great. maybe having it be compatible with overwrite_index for cache invalidation would...
> Would you be willing to commit to maintaining this if it's merged? Yeah don't forsee not needing this any time soon :) > Could you add a CI job...
The fun part now is getting marabou into the flake as well. We should also embed programs that other backends might need.
@wenkokke could you please sign up for https://garnix.io and install its github app for this repo? It should automatically pick up the flake.nix on this branch and start the ci...
Is there a particular reason you prefer GHA? The problem with a GHA based setup in my experience is usually that nix caching is a pain to configure. Garnix has...
> Primarily the introduction of another technology that I'd have to manage and understand. I prefer GHA, since I could at least partially understand what the CI scripts are doing....
I did find this though so if you're not convinced about garnix I'll integrate this https://github.com/nix-community/nix-github-actions