From: Mark Wilson <markwilson@wilsonnet.technology>
Subject: Re: Postcondition on Strings.Maps.To_Sequence
Date: Fri, 3 Sep 2021 04:53:00 -0700 (PDT) [thread overview]
Message-ID: <1f2990ab-ee11-4f6e-8541-460e0b6bc6c8n@googlegroups.com> (raw)
In-Reply-To: <7df72bca-16f6-4aac-9f95-ef09cf0bbca3n@googlegroups.com>
You'll also need to prove that each character in the sequence is unique ...
next prev parent reply other threads:[~2021-09-03 11:53 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-08-29 9:38 Postcondition on Strings.Maps.To_Sequence mockturtle
2021-09-01 21:07 ` Stephen Leake
2021-09-02 19:17 ` mockturtle
2021-09-03 11:46 ` Mark Wilson
2021-09-03 11:53 ` Mark Wilson [this message]
2021-09-03 12:05 ` Mark Wilson
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox