Published February 5, 2024
| Version nightly
Software
Open
KeYProject/key: Nightly Release
Creators
- danielgrahl
- unp1
- Alexander Weigl1
- Mattias Ulbrich2
- mi.ki3
- jwiesler
- Arne Keller
- lichtemo
- Wolfram Pfeifer1
- David Giessing
- alicia
- simongreiner
- rheimbach
- zhao-nan
- pschmitt27
- Florian Lanzinger3
- Christopher Beckmann4
- Mattias Ulbrich1
- PumpkinPieTroelf
- Lukas Grätz
- T. Lippert
- Wojciech Mostowski
- vladrich
- SeeVella
- Moritz v. Looz5
- Carsten Csiky
- Jonas Krämer
- SimonGreinerKIT
- Tobias Reinhold
- 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
Full Changelog: https://github.com/KeYProject/key/compare/KeY-2.4.0...nightly
Files
KeYProject/key-nightly.zip
Files
(37.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:0630ecbeba947b80c3b84dd879515a1c
|
37.2 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/KeYProject/key/tree/nightly (URL)