add loop-invariants and harnesses #16
Open
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
…#428) This is an automated PR to merge library subtree updates from 2025-07-14 (rust-lang/rust@e9182f1) to 2025-07-21 (rust-lang/rust@9982d64) (inclusive) into main. `git merge` resulted in conflicts, which require manual resolution. Files were commited with merge conflict markers. **Do not remove or edit the following annotations:** git-subtree-dir: library git-subtree-split: 62f8613 --------- Signed-off-by: Ayush Singh <ayush@beagleboard.org> Signed-off-by: xizheyin <xizheyin@smail.nju.edu.cn> Signed-off-by: Huang Qi <huangqi3@xiaomi.com> Co-authored-by: Marijn Schouten <mhkbst@gmail.com> Co-authored-by: Oli Scherer <github333195615777966@oli-obk.de> Co-authored-by: Ralf Jung <post@ralfj.de> Co-authored-by: Matthias Krüger <476013+matthiaskrgr@users.noreply.github.com> Co-authored-by: наб <nabijaczleweli@nabijaczleweli.xyz> Co-authored-by: bors <bors@rust-lang.org> Co-authored-by: klensy <klensy@users.noreply.github.com> Co-authored-by: Folkert de Vries <folkert@folkertdev.nl> Co-authored-by: clubby789 <jamie@hill-daniel.co.uk> Co-authored-by: Tsukasa OI <floss_rust@irq.a4lg.com> Co-authored-by: Jana Dönszelmann <jonathan@donsz.nl> Co-authored-by: Deadbeef <ent3rm4n@gmail.com> Co-authored-by: Guillaume Gomez <guillaume1.gomez@gmail.com> Co-authored-by: Daniel Paoliello <danpao@microsoft.com> Co-authored-by: Urgau <urgau@numericable.fr> Co-authored-by: Michael Goulet <michael@errs.io> Co-authored-by: Jacob Pratt <jacob@jhpratt.dev> Co-authored-by: The Miri Cronjob Bot <miri@cron.bot> Co-authored-by: Ayush Singh <ayush@beagleboard.org> Co-authored-by: Trevor Gross <tmgross@umich.edu> Co-authored-by: Kurt Heiritz (pseudo) <saarthkarkera@gmail.com> Co-authored-by: Jubilee <workingjubilee@gmail.com> Co-authored-by: Ben Kimock <kimockb@gmail.com> Co-authored-by: Joshua Gentry <pixel@deathbysoftware.com> Co-authored-by: dvdsk <noreply@davidsk.dev> Co-authored-by: Yotam Ofek <yotam.ofek@gmail.com> Co-authored-by: Simonas Kazlauskas <git@kazlauskas.me> Co-authored-by: xizheyin <xizheyin@smail.nju.edu.cn> Co-authored-by: 许杰友 Jieyou Xu (Joe) <39484203+jieyouxu@users.noreply.github.com> Co-authored-by: Chris Denton <chris@chrisdenton.dev> Co-authored-by: Md. Yeasin Arafat <yeasinarafat4389@gmail.com> Co-authored-by: mejrs <59372212+mejrs@users.noreply.github.com> Co-authored-by: Jakub Beránek <berykubik@gmail.com> Co-authored-by: Amanieu d'Antras <amanieu@gmail.com> Co-authored-by: ltdk <usr@ltdk.xyz> Co-authored-by: okaneco <47607823+okaneco@users.noreply.github.com> Co-authored-by: kilavvy <140459108+kilavvy@users.noreply.github.com> Co-authored-by: Pavel Grigorenko <GrigorenkoPV@ya.ru> Co-authored-by: Esteban Küber <esteban@kuber.com.ar> Co-authored-by: sayantn <sayantn05@gmail.com> Co-authored-by: George Tokmaji <tokmajigeorge@gmail.com> Co-authored-by: Moulins <arthur.heuillard@orange.fr> Co-authored-by: Josh Stone <jistone@redhat.com> Co-authored-by: Trevor Gross <t.gross35@gmail.com> Co-authored-by: B I Mohammed Abbas <bimohammadabbas@gmail.com> Co-authored-by: Benoît du Garreau <benoit@dugarreau.fr> Co-authored-by: Josh Triplett <josh@joshtriplett.org> Co-authored-by: yukang <moorekang@gmail.com> Co-authored-by: Roger Curley <rocurley@gmail.com> Co-authored-by: LevitatingBusinessMan (Rein Fernhout) <me@levitati.ng> Co-authored-by: Harvey Hunt <harveyhunt@fb.com> Co-authored-by: Colten <70793703+ColtenOuO@users.noreply.github.com> Co-authored-by: Huang Qi <huangqi3@xiaomi.com> Co-authored-by: nazo6 <git@nazo6.dev> Co-authored-by: León Orell Valerian Liehr <me@fmease.dev> Co-authored-by: Orson Peters <orsonpeters@gmail.com> Co-authored-by: René Kijewski <rene.kijewski@fu-berlin.de> Co-authored-by: Nik Revenco <pm@nikrev.com> Co-authored-by: Tim (Theemathas) Chirananthavat <theemathas@gmail.com> Co-authored-by: Samuel Tardieu <sam@rfc1149.net> Co-authored-by: Travis Cross <tc@traviscross.com> Co-authored-by: David Mládek <david.mladek.cz@gmail.com> Co-authored-by: Cameron Steffen <cam.steffen94@gmail.com> Co-authored-by: Martin Ombura Jr <8682597+martinomburajr@users.noreply.github.com> Co-authored-by: Luigi Sartor Piucco <luigipiucco@gmail.com> Co-authored-by: Rémy Rakic <remy.rakic+github@gmail.com> Co-authored-by: Nurzhan Sakén <nurzhan.sakenov@gmail.com> Co-authored-by: gitbot <git@bot> Co-authored-by: Michael Tautschnig <tautschn@amazon.com>
…#432) This is an automated PR to merge library subtree updates from 2025-07-21 (rust-lang/rust@9982d64) to 2025-07-30 (rust-lang/rust@ba7e63b) (inclusive) into main. `git merge` resulted in conflicts, which require manual resolution. Files were commited with merge conflict markers. **Do not remove or edit the following annotations:** git-subtree-dir: library git-subtree-split: 2f8dad2 --------- Signed-off-by: xizheyin <xizheyin@smail.nju.edu.cn> Signed-off-by: Ayush Singh <ayush@beagleboard.org> Co-authored-by: Marijn Schouten <mhkbst@gmail.com> Co-authored-by: Roger Curley <rocurley@gmail.com> Co-authored-by: Ralf Jung <post@ralfj.de> Co-authored-by: Josh Triplett <josh@joshtriplett.org> Co-authored-by: Matthias Krüger <476013+matthiaskrgr@users.noreply.github.com> Co-authored-by: Folkert de Vries <flokkievids@gmail.com> Co-authored-by: okaneco <47607823+okaneco@users.noreply.github.com> Co-authored-by: Folkert de Vries <folkert@folkertdev.nl> Co-authored-by: Sayantan Chakraborty <142906350+sayantn@users.noreply.github.com> Co-authored-by: nazo6 <git@nazo6.dev> Co-authored-by: bors <bors@rust-lang.org> Co-authored-by: Jakub Beránek <berykubik@gmail.com> Co-authored-by: Orson Peters <orsonpeters@gmail.com> Co-authored-by: León Orell Valerian Liehr <me@fmease.dev> Co-authored-by: xizheyin <xizheyin@smail.nju.edu.cn> Co-authored-by: Deadbeef <ent3rm4n@gmail.com> Co-authored-by: René Kijewski <rene.kijewski@fu-berlin.de> Co-authored-by: Nik Revenco <pm@nikrev.com> Co-authored-by: The Miri Cronjob Bot <miri@cron.bot> Co-authored-by: Tim (Theemathas) Chirananthavat <theemathas@gmail.com> Co-authored-by: Chris Denton <chris@chrisdenton.dev> Co-authored-by: Samuel Tardieu <sam@rfc1149.net> Co-authored-by: Travis Cross <tc@traviscross.com> Co-authored-by: Amanieu d'Antras <amanieu@gmail.com> Co-authored-by: Oli Scherer <github333195615777966@oli-obk.de> Co-authored-by: David Mládek <david.mladek.cz@gmail.com> Co-authored-by: SunkenPotato <3.14radius02@gmail.com> Co-authored-by: Cameron Steffen <cam.steffen94@gmail.com> Co-authored-by: Martin Ombura Jr <8682597+martinomburajr@users.noreply.github.com> Co-authored-by: Madhav Madhusoodanan <madhavmadhusoodanan@gmail.com> Co-authored-by: sayantn <sayantn05@gmail.com> Co-authored-by: Trevor Gross <tmgross@umich.edu> Co-authored-by: WANG Rui <wangrui@loongson.cn> Co-authored-by: Luigi Sartor Piucco <luigipiucco@gmail.com> Co-authored-by: Julien THILLARD <54775010+supersurviveur@users.noreply.github.com> Co-authored-by: The rustc-josh-sync Cronjob Bot <github-actions@github.com> Co-authored-by: usamoi <usamoi@outlook.com> Co-authored-by: Rémy Rakic <remy.rakic+github@gmail.com> Co-authored-by: Nurzhan Sakén <nurzhan.sakenov@gmail.com> Co-authored-by: ltdk <usr@ltdk.xyz> Co-authored-by: bjorn3 <17426603+bjorn3@users.noreply.github.com> Co-authored-by: Guillaume Gomez <guillaume1.gomez@gmail.com> Co-authored-by: Evgenii Zheltonozhskii <zheltonozhskiy@gmail.com> Co-authored-by: roblabla <unfiltered@roblab.la> Co-authored-by: 许杰友 Jieyou Xu (Joe) <39484203+jieyouxu@users.noreply.github.com> Co-authored-by: Ayush Singh <ayush@beagleboard.org> Co-authored-by: Kornel <kornel@geekhood.net> Co-authored-by: Jonas Platte <jplatte+git@posteo.de> Co-authored-by: Alex Crichton <alex@alexcrichton.com> Co-authored-by: Zachary S <zasample18+github@gmail.com> Co-authored-by: Jeremy Smart <jeremy3141592@gmail.com> Co-authored-by: Ivan Tadeu Ferreira Antunes Filho <itadeufa@gmail.com> Co-authored-by: Alisa Sireneva <me@purplesyringa.moe> Co-authored-by: Trevor Gross <t.gross35@gmail.com> Co-authored-by: Jacob Pratt <jacob@jhpratt.dev> Co-authored-by: Scott McMurray <scottmcm@users.noreply.github.com> Co-authored-by: xonx <119700621+xonx4l@users.noreply.github.com> Co-authored-by: Yosh <github@yosh.is> Co-authored-by: joboet <jonasboettiger@icloud.com> Co-authored-by: Stuart Cook <Zalathar@users.noreply.github.com> Co-authored-by: Connor Tsui <connor.tsui20@gmail.com> Co-authored-by: Aandreba <aandreba@gmail.com> Co-authored-by: Lucas Werkmeister <mail@lucaswerkmeister.de> Co-authored-by: gitbot <git@bot> Co-authored-by: Michael Tautschnig <tautschn@amazon.com>
…#437) This is an automated PR to merge library subtree updates from 2025-07-30 (rust-lang/rust@ba7e63b) to 2025-07-31 (rust-lang/rust@3048886), inclusive. This is a clean merge, no conflicts were detected. **Do not remove or edit the following annotations:** git-subtree-dir: library git-subtree-split: af745a4 --------- Signed-off-by: xizheyin <xizheyin@smail.nju.edu.cn> Signed-off-by: Ayush Singh <ayush@beagleboard.org> Co-authored-by: Roger Curley <rocurley@gmail.com> Co-authored-by: Ralf Jung <post@ralfj.de> Co-authored-by: Marijn Schouten <mhkbst@gmail.com> Co-authored-by: Josh Triplett <josh@joshtriplett.org> Co-authored-by: Matthias Krüger <476013+matthiaskrgr@users.noreply.github.com> Co-authored-by: Folkert de Vries <flokkievids@gmail.com> Co-authored-by: okaneco <47607823+okaneco@users.noreply.github.com> Co-authored-by: Folkert de Vries <folkert@folkertdev.nl> Co-authored-by: Sayantan Chakraborty <142906350+sayantn@users.noreply.github.com> Co-authored-by: nazo6 <git@nazo6.dev> Co-authored-by: bors <bors@rust-lang.org> Co-authored-by: Jakub Beránek <berykubik@gmail.com> Co-authored-by: Orson Peters <orsonpeters@gmail.com> Co-authored-by: León Orell Valerian Liehr <me@fmease.dev> Co-authored-by: xizheyin <xizheyin@smail.nju.edu.cn> Co-authored-by: Deadbeef <ent3rm4n@gmail.com> Co-authored-by: René Kijewski <rene.kijewski@fu-berlin.de> Co-authored-by: Nik Revenco <pm@nikrev.com> Co-authored-by: The Miri Cronjob Bot <miri@cron.bot> Co-authored-by: Tim (Theemathas) Chirananthavat <theemathas@gmail.com> Co-authored-by: Chris Denton <chris@chrisdenton.dev> Co-authored-by: Samuel Tardieu <sam@rfc1149.net> Co-authored-by: Travis Cross <tc@traviscross.com> Co-authored-by: Amanieu d'Antras <amanieu@gmail.com> Co-authored-by: Oli Scherer <github333195615777966@oli-obk.de> Co-authored-by: David Mládek <david.mladek.cz@gmail.com> Co-authored-by: SunkenPotato <3.14radius02@gmail.com> Co-authored-by: Cameron Steffen <cam.steffen94@gmail.com> Co-authored-by: Martin Ombura Jr <8682597+martinomburajr@users.noreply.github.com> Co-authored-by: Madhav Madhusoodanan <madhavmadhusoodanan@gmail.com> Co-authored-by: sayantn <sayantn05@gmail.com> Co-authored-by: Trevor Gross <tmgross@umich.edu> Co-authored-by: WANG Rui <wangrui@loongson.cn> Co-authored-by: Luigi Sartor Piucco <luigipiucco@gmail.com> Co-authored-by: Julien THILLARD <54775010+supersurviveur@users.noreply.github.com> Co-authored-by: The rustc-josh-sync Cronjob Bot <github-actions@github.com> Co-authored-by: usamoi <usamoi@outlook.com> Co-authored-by: Rémy Rakic <remy.rakic+github@gmail.com> Co-authored-by: Nurzhan Sakén <nurzhan.sakenov@gmail.com> Co-authored-by: ltdk <usr@ltdk.xyz> Co-authored-by: bjorn3 <17426603+bjorn3@users.noreply.github.com> Co-authored-by: Guillaume Gomez <guillaume1.gomez@gmail.com> Co-authored-by: Evgenii Zheltonozhskii <zheltonozhskiy@gmail.com> Co-authored-by: roblabla <unfiltered@roblab.la> Co-authored-by: 许杰友 Jieyou Xu (Joe) <39484203+jieyouxu@users.noreply.github.com> Co-authored-by: Ayush Singh <ayush@beagleboard.org> Co-authored-by: Kornel <kornel@geekhood.net> Co-authored-by: Jonas Platte <jplatte+git@posteo.de> Co-authored-by: Alex Crichton <alex@alexcrichton.com> Co-authored-by: Zachary S <zasample18+github@gmail.com> Co-authored-by: Jeremy Smart <jeremy3141592@gmail.com> Co-authored-by: Ivan Tadeu Ferreira Antunes Filho <itadeufa@gmail.com> Co-authored-by: Alisa Sireneva <me@purplesyringa.moe> Co-authored-by: Trevor Gross <t.gross35@gmail.com> Co-authored-by: Jacob Pratt <jacob@jhpratt.dev> Co-authored-by: Scott McMurray <scottmcm@users.noreply.github.com> Co-authored-by: xonx <119700621+xonx4l@users.noreply.github.com> Co-authored-by: Yosh <github@yosh.is> Co-authored-by: joboet <jonasboettiger@icloud.com> Co-authored-by: Stuart Cook <Zalathar@users.noreply.github.com> Co-authored-by: Connor Tsui <connor.tsui20@gmail.com> Co-authored-by: Aandreba <aandreba@gmail.com> Co-authored-by: Lucas Werkmeister <mail@lucaswerkmeister.de> Co-authored-by: gitbot <git@bot>
This is an automated PR to update Kani metrics. The metrics have been updated by running `./scripts/run-kani.sh --run metrics`. Co-authored-by: github-merge-queue <118344674+github-merge-queue@users.noreply.github.com>
…g#435) Preconditions generated by Claude for files containing `__iterator_get_unchecked`. By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses. --------- Co-authored-by: Fedor Ryabinin <rfedor@amazon.com> Co-authored-by: Michael Tautschnig <tautschn@amazon.com> Co-authored-by: Felipe R. Monteiro <rms.felipe@gmail.com>
…#441) This is an automated PR to merge library subtree updates from 2025-07-31 (rust-lang/rust@3048886) to 2025-08-01 (rust-lang/rust@adcb3d3), inclusive. This is a clean merge, no conflicts were detected. **Do not remove or edit the following annotations:** git-subtree-dir: library git-subtree-split: 158ca24 --------- Signed-off-by: xizheyin <xizheyin@smail.nju.edu.cn> Signed-off-by: Ayush Singh <ayush@beagleboard.org> Co-authored-by: Ralf Jung <post@ralfj.de> Co-authored-by: Marijn Schouten <mhkbst@gmail.com> Co-authored-by: Josh Triplett <josh@joshtriplett.org> Co-authored-by: Matthias Krüger <476013+matthiaskrgr@users.noreply.github.com> Co-authored-by: Folkert de Vries <flokkievids@gmail.com> Co-authored-by: okaneco <47607823+okaneco@users.noreply.github.com> Co-authored-by: Folkert de Vries <folkert@folkertdev.nl> Co-authored-by: Sayantan Chakraborty <142906350+sayantn@users.noreply.github.com> Co-authored-by: nazo6 <git@nazo6.dev> Co-authored-by: bors <bors@rust-lang.org> Co-authored-by: Jakub Beránek <berykubik@gmail.com> Co-authored-by: Orson Peters <orsonpeters@gmail.com> Co-authored-by: León Orell Valerian Liehr <me@fmease.dev> Co-authored-by: xizheyin <xizheyin@smail.nju.edu.cn> Co-authored-by: Deadbeef <ent3rm4n@gmail.com> Co-authored-by: René Kijewski <rene.kijewski@fu-berlin.de> Co-authored-by: Nik Revenco <pm@nikrev.com> Co-authored-by: The Miri Cronjob Bot <miri@cron.bot> Co-authored-by: Tim (Theemathas) Chirananthavat <theemathas@gmail.com> Co-authored-by: Chris Denton <chris@chrisdenton.dev> Co-authored-by: Samuel Tardieu <sam@rfc1149.net> Co-authored-by: Travis Cross <tc@traviscross.com> Co-authored-by: Amanieu d'Antras <amanieu@gmail.com> Co-authored-by: Oli Scherer <github333195615777966@oli-obk.de> Co-authored-by: David Mládek <david.mladek.cz@gmail.com> Co-authored-by: SunkenPotato <3.14radius02@gmail.com> Co-authored-by: Cameron Steffen <cam.steffen94@gmail.com> Co-authored-by: Martin Ombura Jr <8682597+martinomburajr@users.noreply.github.com> Co-authored-by: Madhav Madhusoodanan <madhavmadhusoodanan@gmail.com> Co-authored-by: sayantn <sayantn05@gmail.com> Co-authored-by: Trevor Gross <tmgross@umich.edu> Co-authored-by: WANG Rui <wangrui@loongson.cn> Co-authored-by: Luigi Sartor Piucco <luigipiucco@gmail.com> Co-authored-by: Julien THILLARD <54775010+supersurviveur@users.noreply.github.com> Co-authored-by: The rustc-josh-sync Cronjob Bot <github-actions@github.com> Co-authored-by: usamoi <usamoi@outlook.com> Co-authored-by: Rémy Rakic <remy.rakic+github@gmail.com> Co-authored-by: Nurzhan Sakén <nurzhan.sakenov@gmail.com> Co-authored-by: ltdk <usr@ltdk.xyz> Co-authored-by: bjorn3 <17426603+bjorn3@users.noreply.github.com> Co-authored-by: Guillaume Gomez <guillaume1.gomez@gmail.com> Co-authored-by: Evgenii Zheltonozhskii <zheltonozhskiy@gmail.com> Co-authored-by: roblabla <unfiltered@roblab.la> Co-authored-by: 许杰友 Jieyou Xu (Joe) <39484203+jieyouxu@users.noreply.github.com> Co-authored-by: Ayush Singh <ayush@beagleboard.org> Co-authored-by: Kornel <kornel@geekhood.net> Co-authored-by: Jonas Platte <jplatte+git@posteo.de> Co-authored-by: Alex Crichton <alex@alexcrichton.com> Co-authored-by: Zachary S <zasample18+github@gmail.com> Co-authored-by: Jeremy Smart <jeremy3141592@gmail.com> Co-authored-by: Ivan Tadeu Ferreira Antunes Filho <itadeufa@gmail.com> Co-authored-by: Alisa Sireneva <me@purplesyringa.moe> Co-authored-by: Trevor Gross <t.gross35@gmail.com> Co-authored-by: Jacob Pratt <jacob@jhpratt.dev> Co-authored-by: Scott McMurray <scottmcm@users.noreply.github.com> Co-authored-by: xonx <119700621+xonx4l@users.noreply.github.com> Co-authored-by: Yosh <github@yosh.is> Co-authored-by: joboet <jonasboettiger@icloud.com> Co-authored-by: Stuart Cook <Zalathar@users.noreply.github.com> Co-authored-by: Connor Tsui <connor.tsui20@gmail.com> Co-authored-by: Aandreba <aandreba@gmail.com> Co-authored-by: Lucas Werkmeister <mail@lucaswerkmeister.de> Co-authored-by: Balt <59123926+balt-dev@users.noreply.github.com> Co-authored-by: Tsukasa OI <floss_rust@irq.a4lg.com> Co-authored-by: gitbot <git@bot> Co-authored-by: Michael Tautschnig <tautschn@amazon.com> Co-authored-by: Felipe R. Monteiro <rms.felipe@gmail.com>
The previous link for ESBMC is now dead, breaking the CI. This updates goto transcoder to use the latest version of ESBMC.
…#447) This is an automated PR to merge library subtree updates from 2025-08-01 (rust-lang/rust@adcb3d3) to 2025-08-06 (rust-lang/rust@ec7c026) (inclusive) into main. `git merge` resulted in conflicts, which require manual resolution. Files were commited with merge conflict markers. **Do not remove or edit the following annotations:** git-subtree-dir: library git-subtree-split: 7112d06 --------- Signed-off-by: Ayush Singh <ayush@beagleboard.org> Co-authored-by: Folkert de Vries <folkert@folkertdev.nl> Co-authored-by: Matthias Krüger <476013+matthiaskrgr@users.noreply.github.com> Co-authored-by: Deadbeef <ent3rm4n@gmail.com> Co-authored-by: bors <bors@rust-lang.org> Co-authored-by: René Kijewski <rene.kijewski@fu-berlin.de> Co-authored-by: Nik Revenco <pm@nikrev.com> Co-authored-by: The Miri Cronjob Bot <miri@cron.bot> Co-authored-by: Tim (Theemathas) Chirananthavat <theemathas@gmail.com> Co-authored-by: Jakub Beránek <berykubik@gmail.com> Co-authored-by: Chris Denton <chris@chrisdenton.dev> Co-authored-by: Samuel Tardieu <sam@rfc1149.net> Co-authored-by: Travis Cross <tc@traviscross.com> Co-authored-by: Amanieu d'Antras <amanieu@gmail.com> Co-authored-by: Oli Scherer <github333195615777966@oli-obk.de> Co-authored-by: David Mládek <david.mladek.cz@gmail.com> Co-authored-by: SunkenPotato <3.14radius02@gmail.com> Co-authored-by: Ralf Jung <post@ralfj.de> Co-authored-by: Cameron Steffen <cam.steffen94@gmail.com> Co-authored-by: Martin Ombura Jr <8682597+martinomburajr@users.noreply.github.com> Co-authored-by: Madhav Madhusoodanan <madhavmadhusoodanan@gmail.com> Co-authored-by: sayantn <sayantn05@gmail.com> Co-authored-by: León Orell Valerian Liehr <me@fmease.dev> Co-authored-by: Trevor Gross <tmgross@umich.edu> Co-authored-by: WANG Rui <wangrui@loongson.cn> Co-authored-by: Folkert de Vries <flokkievids@gmail.com> Co-authored-by: Luigi Sartor Piucco <luigipiucco@gmail.com> Co-authored-by: Julien THILLARD <54775010+supersurviveur@users.noreply.github.com> Co-authored-by: The rustc-josh-sync Cronjob Bot <github-actions@github.com> Co-authored-by: Marijn Schouten <mhkbst@gmail.com> Co-authored-by: usamoi <usamoi@outlook.com> Co-authored-by: Rémy Rakic <remy.rakic+github@gmail.com> Co-authored-by: Alisa Sireneva <me@purplesyringa.moe> Co-authored-by: Josh Triplett <josh@joshtriplett.org> Co-authored-by: Nurzhan Sakén <nurzhan.sakenov@gmail.com> Co-authored-by: ltdk <usr@ltdk.xyz> Co-authored-by: bjorn3 <17426603+bjorn3@users.noreply.github.com> Co-authored-by: Guillaume Gomez <guillaume1.gomez@gmail.com> Co-authored-by: Evgenii Zheltonozhskii <zheltonozhskiy@gmail.com> Co-authored-by: roblabla <unfiltered@roblab.la> Co-authored-by: 许杰友 Jieyou Xu (Joe) <39484203+jieyouxu@users.noreply.github.com> Co-authored-by: Ayush Singh <ayush@beagleboard.org> Co-authored-by: Kornel <kornel@geekhood.net> Co-authored-by: Jonas Platte <jplatte+git@posteo.de> Co-authored-by: Alex Crichton <alex@alexcrichton.com> Co-authored-by: Zachary S <zasample18+github@gmail.com> Co-authored-by: Jeremy Smart <jeremy3141592@gmail.com> Co-authored-by: Ivan Tadeu Ferreira Antunes Filho <itadeufa@gmail.com> Co-authored-by: okaneco <47607823+okaneco@users.noreply.github.com> Co-authored-by: Trevor Gross <t.gross35@gmail.com> Co-authored-by: Jacob Pratt <jacob@jhpratt.dev> Co-authored-by: Scott McMurray <scottmcm@users.noreply.github.com> Co-authored-by: xonx <119700621+xonx4l@users.noreply.github.com> Co-authored-by: Yosh <github@yosh.is> Co-authored-by: joboet <jonasboettiger@icloud.com> Co-authored-by: Stuart Cook <Zalathar@users.noreply.github.com> Co-authored-by: Connor Tsui <connor.tsui20@gmail.com> Co-authored-by: Aandreba <aandreba@gmail.com> Co-authored-by: Lucas Werkmeister <mail@lucaswerkmeister.de> Co-authored-by: Orson Peters <orsonpeters@gmail.com> Co-authored-by: Balt <59123926+balt-dev@users.noreply.github.com> Co-authored-by: Tsukasa OI <floss_rust@irq.a4lg.com> Co-authored-by: Nico Lehmann <nico.lehmannm@gmail.com> Co-authored-by: stifskere <esteve@memw.es> Co-authored-by: Kivooeo <Kivooeo123@gmail.com> Co-authored-by: gitbot <git@bot> Co-authored-by: Michael Tautschnig <tautschn@amazon.com> Co-authored-by: Felipe R. Monteiro <rms.felipe@gmail.com>
This is an automated PR to update Kani metrics. The metrics have been updated by running `./scripts/run-kani.sh --run metrics`. Co-authored-by: github-merge-queue <118344674+github-merge-queue@users.noreply.github.com>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Resolves #ISSUE-NUMBER
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.