Published September 30, 2024
| Version nightly
Software
Open
KeYProject/key: Nightly Release
Authors/Creators
- danielgrahl
- unp1
- Alexander Weigl1
- Mattias Ulbrich2
- mi.ki3
- Arne Keller
- jwiesler
- Wolfram Pfeifer1
- lichtemo
- David Giessing
- alicia
- Florian Lanzinger3
- simongreiner
- Tobias Reinhold
- rheimbach
- Daniel Drodt
- zhao-nan
- pschmitt27
- Christopher Beckmann4
- Mattias Ulbrich1
- PumpkinPieTroelf
- Lukas Grätz
- T. Lippert
- Wojciech Mostowski
- vladrich
- SeeVella
- Moritz v. Looz5
- Carsten Csiky
- Jonas Krämer
- 1. Karlsruhe Institute of Technology
- 2. Karlsruhe Institute of Technology, Inst. of Theoretical Informatics
- 3. Karlsruhe Institute of Technology (KIT)
- 4. @SECUSO
- 5. @esa
Description
<!-- Release notes generated using configuration in .github/release.yml at main -->
Full Changelog: https://github.com/KeYProject/key/compare/KeY-2.4.0...nightly
Files
KeYProject/key-nightly.zip
Files
(38.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:ee4609d8407545f23705977075f2b868
|
38.1 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/KeYProject/key/tree/nightly (URL)