4 Commits

Author	SHA1	Message	Date
Adam Wick	1d182a150f	Checkpoint, or something.	2022-11-22 20:13:14 -08:00
Adam Wick	c8279cfc5f	Switch to basic tokio; will expand later to arbitrary backends.	2022-05-14 20:28:09 -07:00
Adam Wick	811580c64f	Just to have a chance to try it out: Switch to proptest.	2022-01-08 16:34:40 -08:00
Adam Wick	1bf6f62d4e	checkpoint	2021-06-24 19:18:16 -07:00