Kevin Quick

I found this a useful addition so that I could obtain just the dependencies of a package+version (for automated consumption elsewhere).

This may be somewhat incomplete relative to updated cabal format options, but it changed it from not-working to working for me. If you would prefer a more complete fix, please...

Consider adding SMT framing

2

Using `is_sat` in the body of a rule doesn't use any framing, so even if the solver has discharged the sat determination, it remains in memory within the solver and...

Use abstraction to handle chained subprocess operations.

2

The build-bom functionality largely consists of issuing a sequence of commands as sub-processes at key points in the processing. When running the sequence of operations, the output of one operation...

[NOTE: this PR is actually based on PR #48 and if that PR is updated, I will rebase this branch and update this PR] Fewer conditional tests, avoids re-computation of...

[NOTE: this PR is actually based on PR #49 and if that PR is updated, I will rebase this branch and update this PR] The `objcopy` tool is used by...

Please add a release tag for version 5.8.2.0. Thank you!

Add ability to determine Actor parent

1

_[Originally submitted by https://github.com/Scony to the GoDaddy fork]_ Well, thank you for explanations.I think you may consider adding such feature in the future. It may be very beneficial for the...

Control over failure retries

7

[Originally suggested by Daniel Mitterdorfer, restated with some modifications here:] Currently an actor failure when processing a message causes that message to get retried and on the second failure the...