microproofs 2f61f59b60 Closes #909

2024-05-06 11:35:05 -04:00

..

blueprint

Fix blueprint validator test snapshot.

2024-05-04 14:04:12 -04:00

deps

Throttle calls to package registry for version resolution

2023-09-13 17:17:32 -04:00

github

aiken new: Try to get the latest tag of stdlib

2023-08-16 22:30:15 -04:00

snapshots

Replace snapshot test for export recursive function

2024-05-04 14:04:12 -04:00

tests

Change prelude Map to AList

2024-05-04 14:04:12 -04:00

utils

Refactor creation of CodeGenerator and management of known data_types and functions.

2024-03-03 19:33:26 +01:00

config.rs

fix: aiken new github action version

2024-01-18 12:10:06 -05:00

deps.rs

Throttle calls to package registry for version resolution

2023-09-13 17:17:32 -04:00

docs.rs

Do not generate documentation for empty modules.

2024-03-15 21:40:57 +01:00

error.rs

feat(export): implement basic command functionality

2024-04-08 14:30:07 -04:00

export.rs

test: add some snapshot tests for export type

2024-04-08 14:30:07 -04:00

format.rs

chore: bow to the clippy

2023-03-14 17:03:28 -04:00

lib.rs

feat(export): allow trace levels to be controlled

2024-04-08 14:30:07 -04:00

module.rs

test: add some snapshot tests for export type

2024-04-08 14:30:07 -04:00

options.rs

feat(export): implement basic command functionality

2024-04-08 14:30:07 -04:00

package_name.rs

Auto-derive 'Debug' trait instance for types in deps

2023-09-13 17:17:32 -04:00

paths.rs

Throttle calls to package registry for version resolution

2023-09-13 17:17:32 -04:00

pretty.rs

cargo fmt --all

2024-03-03 21:05:43 +01:00

telemetry.rs

Handle fuzzer failing unexpected

2024-03-11 01:04:46 +01:00

test_framework.rs

Closes #909

2024-05-06 11:35:05 -04:00

watch.rs

Cargo fmt

2024-03-08 20:43:27 -05:00