add WIP formal proof for queue()

add assert_formal helper for running formal proofs in rust tests
add formal subcommand
2024-09-25 01:58:09 -07:00 · 2024-09-25 01:58:09 -07:00 · 2024-09-25 01:52:41 -07:00 · 2024-09-25 01:47:48 -07:00 · 2024-09-25 01:39:05 -07:00
1 changed files with 0 additions and 2 deletions
--- a/crates/fayalite/src/util/streaming_read_utf8.rs
+++ b/crates/fayalite/src/util/streaming_read_utf8.rs
@ -1,5 +1,3 @@
 // SPDX-License-Identifier: LGPL-3.0-or-later
 // See Notices.txt for copyright information
 use std::{
    io::{self, BufRead},
    str,
Author	SHA1	Message	Date
Jacob Lifshay	57aa849615	add WIP formal proof for queue() Some checks failed / test (push) Failing after 18s Details	2024-09-25 01:58:09 -07:00
Jacob Lifshay	d477252bde	add assert_formal helper for running formal proofs in rust tests	2024-09-25 01:58:09 -07:00
Jacob Lifshay	37bc6eb639	add formal subcommand	2024-09-25 01:52:41 -07:00
Jacob Lifshay	e2de8c3d99	add command line options for selecting which transforms to apply when generating firrtl	2024-09-25 01:47:48 -07:00
Jacob Lifshay	42945b1f9c	support redirecting subprocesses' stdout/stderr to print!() so it gets captured for rust tests	2024-09-25 01:39:05 -07:00