Shape analysis (program analysis): Revision history

Jump to navigation Jump to search

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

6 May 2025

  • curprev 22:0122:01, 6 May 2025 imported>AndrewKeenanRichardson 8,768 bytes +8,768 Applications: I don't think shape analysis can be used to verify that a list is sorted