Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
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-08-17 | Proper testing for debug.log! | Eduardo Julian | 2 | -0/+2 |
2022-08-12 | Fixed test suite. | Eduardo Julian | 3 | -0/+8 |
2022-08-10 | Extracted property-based testing machinery into its own module. | Eduardo Julian | 1 | -0/+1 |
2022-07-30 | Extracted test-tallying machinery into its own module. | Eduardo Julian | 2 | -5/+11 |
2022-07-26 | Made inlined functions into first-class macros. | Eduardo Julian | 18 | -5/+368 |
2022-06-30 | Better naming for measure/quantity types. | Eduardo Julian | 1 | -0/+5 |
2022-06-29 | Better syntax for getting/setting fields when defining JVM classes. | Eduardo Julian | 5 | -0/+25 |