Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2022-11-05 | Property-based testing can now log/print successful seeds from run. | Eduardo Julian | 1 | -0/+1 |
2022-10-28 | Eliminated the .alias# extension. Now detecting aliases in .def#. | Eduardo Julian | 1 | -0/+1 |
2022-08-22 | Added support for the agent model. | Eduardo Julian | 1 | -0/+1 |
2022-06-29 | Better syntax for getting/setting fields when defining JVM classes. | Eduardo Julian | 1 | -0/+2 |
2022-06-12 | De-sigil-ification: suffix : [Part 3] | Eduardo Julian | 1 | -0/+24 |