Update proof session files

Ref. #557
AdaCore · Jan 22, 2021 · 5a61f81 · 5a61f81
1 parent ffc83f2
commit 5a61f81
Show file tree

Hide file tree

Showing 485 changed files with 28,679 additions and 2,121 deletions.
diff --git a/.../sessions/ada___ada___rflx__arrays__av_enumeration_vector__append_element/why3session.xml b/.../sessions/ada___ada___rflx__arrays__av_enumeration_vector__append_element/why3session.xml
diff --git a/...s/ada___ada___rflx__arrays__av_enumeration_vector__append_element__insert/why3session.xml b/...s/ada___ada___rflx__arrays__av_enumeration_vector__append_element__insert/why3session.xml
diff --git a/...sessions/ada___ada___rflx__arrays__av_enumeration_vector__available_space/why3session.xml b/...sessions/ada___ada___rflx__arrays__av_enumeration_vector__available_space/why3session.xml
diff --git a/...proof/sessions/ada___ada___rflx__arrays__av_enumeration_vector__byte_size/why3session.xml b/...proof/sessions/ada___ada___rflx__arrays__av_enumeration_vector__byte_size/why3session.xml
diff --git a/...k/proof/sessions/ada___ada___rflx__arrays__av_enumeration_vector__context/why3session.xml b/...k/proof/sessions/ada___ada___rflx__arrays__av_enumeration_vector__context/why3session.xml