Handle multiple args with varying bounds
Home /
aiken-lang /
aiken
Feb 04, 1-2 PM (0)
Feb 04, 2-3 PM (0)
Feb 04, 3-4 PM (0)
Feb 04, 4-5 PM (0)
Feb 04, 5-6 PM (0)
Feb 04, 6-7 PM (0)
Feb 04, 7-8 PM (1)
Feb 04, 8-9 PM (0)
Feb 04, 9-10 PM (3)
Feb 04, 10-11 PM (0)
Feb 04, 11-12 AM (0)
Feb 05, 12-1 AM (0)
Feb 05, 1-2 AM (0)
Feb 05, 2-3 AM (0)
Feb 05, 3-4 AM (0)
Feb 05, 4-5 AM (0)
Feb 05, 5-6 AM (0)
Feb 05, 6-7 AM (0)
Feb 05, 7-8 AM (0)
Feb 05, 8-9 AM (0)
Feb 05, 9-10 AM (0)
Feb 05, 10-11 AM (0)
Feb 05, 11-12 PM (0)
Feb 05, 12-1 PM (0)
Feb 05, 1-2 PM (0)
Feb 05, 2-3 PM (0)
Feb 05, 3-4 PM (0)
Feb 05, 4-5 PM (0)
Feb 05, 5-6 PM (0)
Feb 05, 6-7 PM (0)
Feb 05, 7-8 PM (0)
Feb 05, 8-9 PM (0)
Feb 05, 9-10 PM (0)
Feb 05, 10-11 PM (0)
Feb 05, 11-12 AM (0)
Feb 06, 12-1 AM (0)
Feb 06, 1-2 AM (0)
Feb 06, 2-3 AM (0)
Feb 06, 3-4 AM (0)
Feb 06, 4-5 AM (0)
Feb 06, 5-6 AM (0)
Feb 06, 6-7 AM (0)
Feb 06, 7-8 AM (0)
Feb 06, 8-9 AM (0)
Feb 06, 9-10 AM (0)
Feb 06, 10-11 AM (0)
Feb 06, 11-12 PM (0)
Feb 06, 12-1 PM (0)
Feb 06, 1-2 PM (0)
Feb 06, 2-3 PM (0)
Feb 06, 3-4 PM (0)
Feb 06, 4-5 PM (0)
Feb 06, 5-6 PM (0)
Feb 06, 6-7 PM (0)
Feb 06, 7-8 PM (0)
Feb 06, 8-9 PM (0)
Feb 06, 9-10 PM (0)
Feb 06, 10-11 PM (0)
Feb 06, 11-12 AM (0)
Feb 07, 12-1 AM (0)
Feb 07, 1-2 AM (0)
Feb 07, 2-3 AM (0)
Feb 07, 3-4 AM (0)
Feb 07, 4-5 AM (0)
Feb 07, 5-6 AM (0)
Feb 07, 6-7 AM (0)
Feb 07, 7-8 AM (0)
Feb 07, 8-9 AM (0)
Feb 07, 9-10 AM (0)
Feb 07, 10-11 AM (0)
Feb 07, 11-12 PM (0)
Feb 07, 12-1 PM (0)
Feb 07, 1-2 PM (0)
Feb 07, 2-3 PM (0)
Feb 07, 3-4 PM (0)
Feb 07, 4-5 PM (0)
Feb 07, 5-6 PM (0)
Feb 07, 6-7 PM (0)
Feb 07, 7-8 PM (0)
Feb 07, 8-9 PM (0)
Feb 07, 9-10 PM (0)
Feb 07, 10-11 PM (0)
Feb 07, 11-12 AM (0)
Feb 08, 12-1 AM (0)
Feb 08, 1-2 AM (0)
Feb 08, 2-3 AM (0)
Feb 08, 3-4 AM (0)
Feb 08, 4-5 AM (0)
Feb 08, 5-6 AM (0)
Feb 08, 6-7 AM (0)
Feb 08, 7-8 AM (0)
Feb 08, 8-9 AM (0)
Feb 08, 9-10 AM (0)
Feb 08, 10-11 AM (0)
Feb 08, 11-12 PM (0)
Feb 08, 12-1 PM (0)
Feb 08, 1-2 PM (0)
Feb 08, 2-3 PM (0)
Feb 08, 3-4 PM (0)
Feb 08, 4-5 PM (0)
Feb 08, 5-6 PM (0)
Feb 08, 6-7 PM (0)
Feb 08, 7-8 PM (0)
Feb 08, 8-9 PM (0)
Feb 08, 9-10 PM (0)
Feb 08, 10-11 PM (0)
Feb 08, 11-12 AM (0)
Feb 09, 12-1 AM (0)
Feb 09, 1-2 AM (0)
Feb 09, 2-3 AM (0)
Feb 09, 3-4 AM (0)
Feb 09, 4-5 AM (0)
Feb 09, 5-6 AM (0)
Feb 09, 6-7 AM (0)
Feb 09, 7-8 AM (0)
Feb 09, 8-9 AM (0)
Feb 09, 9-10 AM (0)
Feb 09, 10-11 AM (0)
Feb 09, 11-12 PM (0)
Feb 09, 12-1 PM (0)
Feb 09, 1-2 PM (0)
Feb 09, 2-3 PM (0)
Feb 09, 3-4 PM (0)
Feb 09, 4-5 PM (0)
Feb 09, 5-6 PM (0)
Feb 09, 6-7 PM (1)
Feb 09, 7-8 PM (0)
Feb 09, 8-9 PM (0)
Feb 09, 9-10 PM (0)
Feb 09, 10-11 PM (0)
Feb 09, 11-12 AM (0)
Feb 10, 12-1 AM (0)
Feb 10, 1-2 AM (0)
Feb 10, 2-3 AM (0)
Feb 10, 3-4 AM (0)
Feb 10, 4-5 AM (0)
Feb 10, 5-6 AM (0)
Feb 10, 6-7 AM (0)
Feb 10, 7-8 AM (0)
Feb 10, 8-9 AM (0)
Feb 10, 9-10 AM (0)
Feb 10, 10-11 AM (0)
Feb 10, 11-12 PM (0)
Feb 10, 12-1 PM (0)
Feb 10, 1-2 PM (0)
Feb 10, 2-3 PM (0)
Feb 10, 3-4 PM (0)
Feb 10, 4-5 PM (0)
Feb 10, 5-6 PM (1)
Feb 10, 6-7 PM (0)
Feb 10, 7-8 PM (0)
Feb 10, 8-9 PM (0)
Feb 10, 9-10 PM (0)
Feb 10, 10-11 PM (0)
Feb 10, 11-12 AM (0)
Feb 11, 12-1 AM (0)
Feb 11, 1-2 AM (0)
Feb 11, 2-3 AM (0)
Feb 11, 3-4 AM (0)
Feb 11, 4-5 AM (0)
Feb 11, 5-6 AM (0)
Feb 11, 6-7 AM (0)
Feb 11, 7-8 AM (0)
Feb 11, 8-9 AM (0)
Feb 11, 9-10 AM (0)
Feb 11, 10-11 AM (0)
Feb 11, 11-12 PM (0)
Feb 11, 12-1 PM (0)
Feb 11, 1-2 PM (0)
6 commits this week
Feb 04, 2026
-
Feb 11, 2026
Add export-tests CLI command
- Add export_tests.rs with Args struct and exec function - Register ExportTests command in mod.rs and main.rs - Support output to file (-o) or stdout - Include match_tests, exact_match, and include_flat_bytes flags - Add comprehensive help text with usage examples
Add export_tests and export_property_test methods to Project
- Add export_tests() public method to collect and export property tests - Add export_property_test() helper for converting PropertyTest to ExportedPropertyTest - Add DeBruijn and FlatEncode error variants with proper Diagnostic impl - Filter to property tests only (unit tests and benchmarks excluded)
Add export data structures for property tests
- Add ExportedProgram struct for UPLC programs with hex encoding - Add ExportedPropertyTest struct for property test metadata - Add ExportedTests container with PlutusVersion and property tests
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4&s=80)
chore(deps): bump git2 from 0.20.2 to 0.20.4
Bumps [git2](https://github.com/rust-lang/git2-rs) from 0.20.2 to 0.20.4. - [Changelog](https://github.com/rust-lang/git2-rs/blob/git2-0.20.4/CHANGELOG.md) - [Commits](https://github.com/rust-lang/git2-rs/compare/git2-0.20.2...git2-0.20.4) --- updated-dependencies: - dependency-name: git2 dependency-version: 0.20.4 dependency-type: indirect ... Signed-off-by: dependabot[bot] <[email protected]>