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