microproofs ae0b428658 update tests to account for new verbose tracing		2024-01-24 16:29:40 -05:00
..
aiken	Fix CLI docs for traces.	2024-01-19 14:30:16 +01:00
aiken-lang	fix condition to account for tail presence	2024-01-24 16:29:40 -05:00
aiken-lsp	Move line_numbers under 'aiken-lang'	2024-01-19 14:30:15 +01:00
aiken-project	update tests to account for new verbose tracing	2024-01-24 16:29:40 -05:00
uplc	Improve behavior and reporting of tests expected to fail	2024-01-19 18:20:58 +01:00