Releases: viperproject/viper-ide
Releases · viperproject/viper-ide
Nightly Release v-2022-02-07-0733
Based on
- ViperServer release
v-2022-02-07-0713
- Z3
4.8.6
- Boogie release
latest
Nightly Release v-2022-02-06-1142
Based on
- ViperServer release
v-2022-02-06-1004
- Z3
4.8.6
- Boogie release
latest
Nightly Release v-2022-02-05-0731
Based on
- ViperServer release
v-2022-02-05-0712
- Z3
4.8.6
- Boogie release
latest
Nightly Release v-2022-01-29-0732
Based on
- ViperServer release
v-2022-01-29-0712
- Z3
4.8.6
- Boogie release
latest
Nightly Release v-2022-01-22-0738
Based on
- ViperServer release
v-2022-01-22-0712
- Z3
4.8.6
- Boogie release
latest
Nightly Release v-2022-01-21-0734
Based on
- ViperServer release
v-2022-01-21-0711
- Z3
4.8.6
- Boogie release
latest
Nightly Release v-2022-01-17-1658
Based on
- ViperServer release
v-2022-01-05-0838
- Z3
4.8.6
- Boogie release
latest
Viper-IDE v2.3.1
Identical ViperTools as in v.21.07-release
. Bumps version number of Viper-IDE to clearly distinguish it from release candidates.
Based on
- ViperServer release
v.21.07-release
- Z3
4.8.6
- Boogie release
bae82d3a7b383161
Nightly Release v-2021-08-04-0739
Based on
- ViperServer release
v-2021-08-04-0721
- Z3
4.8.6
- Boogie release
latest
Nightly Release v-2021-08-03-0738
Based on
- ViperServer release
v-2021-08-03-0720
- Z3
4.8.6
- Boogie release
latest