| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | DrNim (Nim compiler with Z3 integration) (#13743) | Andreas Rumpf | 2020-03-31 | 1 | -0/+2 |
| * | testament: add azure integration | Leorize | 2019-10-03 | 1 | -0/+1 |
| * | make testament a tool we ship with Nim; fixes #12084 (#12088) | Andreas Rumpf | 2019-08-30 | 1 | -0/+1 |