2 Commits

Author SHA1 Message Date
Martin-Molinero 3fea14485f Address reviews
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
- Address reviews, refactor command interfaces and classes
2022-07-28 12:35:50 -03:00
Martin-Molinero c8cfbbefd9 Add Lean commands
- Add Lean commands to common project
2022-07-27 17:53:28 -03:00