From 5dbf6147768587aa6909cbdc83feabe1983e230c Mon Sep 17 00:00:00 2001
From: "Brady J. Garvin" <bgarvin@cse.unl.edu>
Date: Tue, 9 Aug 2022 13:06:29 -0500
Subject: [PATCH] Recased filenames per the current draft of the Dafny style
guide.
---
demonstration/{aMinimumOfThree.dfy => AMinimumOfThree.dfy} | 0
demonstration/{bCountLeadingZeros.dfy => BCountLeadingZeros.dfy} | 0
demonstration/{cListToSet.dfy => CListToSet.dfy} | 0
demonstration/{dSetToList.dfy => DSetToList.dfy} | 0
demonstration/{eCopyValues.dfy => ECopyValues.dfy} | 0
practice/{cMapOverSequence.dfy => CMapOverSequence.dfy} | 0
practice/{dReverse.dfy => DReverse.dfy} | 0
7 files changed, 0 insertions(+), 0 deletions(-)
rename demonstration/{aMinimumOfThree.dfy => AMinimumOfThree.dfy} (100%)
rename demonstration/{bCountLeadingZeros.dfy => BCountLeadingZeros.dfy} (100%)
rename demonstration/{cListToSet.dfy => CListToSet.dfy} (100%)
rename demonstration/{dSetToList.dfy => DSetToList.dfy} (100%)
rename demonstration/{eCopyValues.dfy => ECopyValues.dfy} (100%)
rename practice/{cMapOverSequence.dfy => CMapOverSequence.dfy} (100%)
rename practice/{dReverse.dfy => DReverse.dfy} (100%)
diff --git a/demonstration/aMinimumOfThree.dfy b/demonstration/AMinimumOfThree.dfy
similarity index 100%
rename from demonstration/aMinimumOfThree.dfy
rename to demonstration/AMinimumOfThree.dfy
diff --git a/demonstration/bCountLeadingZeros.dfy b/demonstration/BCountLeadingZeros.dfy
similarity index 100%
rename from demonstration/bCountLeadingZeros.dfy
rename to demonstration/BCountLeadingZeros.dfy
diff --git a/demonstration/cListToSet.dfy b/demonstration/CListToSet.dfy
similarity index 100%
rename from demonstration/cListToSet.dfy
rename to demonstration/CListToSet.dfy
diff --git a/demonstration/dSetToList.dfy b/demonstration/DSetToList.dfy
similarity index 100%
rename from demonstration/dSetToList.dfy
rename to demonstration/DSetToList.dfy
diff --git a/demonstration/eCopyValues.dfy b/demonstration/ECopyValues.dfy
similarity index 100%
rename from demonstration/eCopyValues.dfy
rename to demonstration/ECopyValues.dfy
diff --git a/practice/cMapOverSequence.dfy b/practice/CMapOverSequence.dfy
similarity index 100%
rename from practice/cMapOverSequence.dfy
rename to practice/CMapOverSequence.dfy
diff --git a/practice/dReverse.dfy b/practice/DReverse.dfy
similarity index 100%
rename from practice/dReverse.dfy
rename to practice/DReverse.dfy
--
GitLab