4 Commits

Author SHA1 Message Date
Martin-Molinero 615a613a82 Add Lean commands
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 to common project
2022-07-27 16:49:04 -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