4 Commits

Author SHA1 Message Date
Martin-Molinero ef531e09bd Add Lean commands (#6513)
Regression Tests / build (push) Has been cancelled
Benchmarks / build (push) Has been cancelled
Build & Test Lean / build (push) Has been cancelled
Research Regression Tests / build (push) Has been cancelled
* Add Lean commands

- Add Lean commands to common project

* Address reviews

- Address reviews, refactor command interfaces and classes

* Rename FileCommandQueueHandler to FileCommandHandler
2022-07-28 16:44:40 -03:00
Andrew f7bd4f59b7 Remove commands from Lean 2017-07-14 12:40:53 -04:00
snugs ffd9d138cc Move try/catch to algo manager 2015-12-17 18:04:49 -05:00
snugs 91691d5fda Adds AddSecurityCommand 2015-12-09 13:32:38 -05:00