show a bit elss text on the index
authorRalf Jung <post@ralfj.de>
Mon, 28 Sep 2020 17:00:40 +0000 (19:00 +0200)
committerRalf Jung <post@ralfj.de>
Mon, 28 Sep 2020 17:00:40 +0000 (19:00 +0200)
ralf/_posts/2020-09-28-miri.md

index e0529ad43f39dbd7b534933f3396764cbd783841..8dc5e4c6b9ce756bc1e05d57d56ab5a1b354e0ce 100644 (file)
@@ -11,11 +11,11 @@ You can think of it a as very thorough (and very slow) version of valgrind: Miri
 As such, it is most helpful when writing unsafe code, as it aids in ensuring that you follow all the rules required for unsafe code to be correct and safe.
 Miri also detects memory leaks, i.e., it informs you at the end of program execution if there is any memory that was not deallocated properly.
 
 As such, it is most helpful when writing unsafe code, as it aids in ensuring that you follow all the rules required for unsafe code to be correct and safe.
 Miri also detects memory leaks, i.e., it informs you at the end of program execution if there is any memory that was not deallocated properly.
 
+<!-- MORE -->
+
 However, being an interpreter, Miri is limited in the kinds of code it can execute -- everything that would usually involve interacting with C libraries or the operating system needs to be specifically supported, as C code cannot be interpreted by Miri.
 Miri also lacks support for some Rust features that are hard to interpret, but we are slowly closing these gaps.
 
 However, being an interpreter, Miri is limited in the kinds of code it can execute -- everything that would usually involve interacting with C libraries or the operating system needs to be specifically supported, as C code cannot be interpreted by Miri.
 Miri also lacks support for some Rust features that are hard to interpret, but we are slowly closing these gaps.
 
-<!-- MORE -->
-
 ## Recent and past progress in Miri
 
 During the last 1.5 years, thanks to a series of excellent contributors, we made a lot of progress towards supporting more and more Rust code to run in Miri.
 ## Recent and past progress in Miri
 
 During the last 1.5 years, thanks to a series of excellent contributors, we made a lot of progress towards supporting more and more Rust code to run in Miri.