Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2022-11-15 | Added LineNumberTable annotations to functions when compiling for the JVM. | Eduardo Julian | 1 | -1/+2 | |
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 | |