------------------------------------------------------------------------------ CHANGES Change history of the RISC ProgramExplorer. Author: Wolfgang Schreiner Copyright (C) 2008-, Research Institute for Symbolic Computation (RISC) Johannes Kepler University, Linz, Austria, http://www.risc.jku.at This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program. If not, see . ------------------------------------------------------------------------------ 2.29 (June 22, 2023) Bundled with eclipse-2023-06 packages, switch to Java 17. 2.28 (January 7, 2022) Bundled with eclipse-2022-06 packages. 2.27 (December 7, 2020) Bundled with eclipse-2020-09 packages. Fxed bug in formula simplification, fixed blocking after formula menu selection. 2.26 (July 21, 2020) Fixed spurious "message corrupt" in proof browser. 2.25 (July 20, 2020) Fixed new incompatability in proof representation (indentation removed). 2.24 (July 9, 2020) Bundled with eclipse-2020-06 packages. 2.23 (November 28, 2019) Fixed webkit compatibility bug. 2.22 (July 16, 2019) Bundled with eclipse-2019-06 packages. 2.21 (June 29, 2018) Packaged with SWT 4.8. 2.20 (June 28, 2018) Switch from Mozilla to WebKit browser. 2.19 (December 11, 2017) Fixed type checker weaknesses. 2.18 (October 24, 2017) Fixed tool tips, packaged with SWT 4.7.1a. 2.17 (July 4, 2017) Packaged with SWT 4.7. 2.16 (June 23, 2016) Packaged with SWT 4.6. 2.15 (October 9, 2015) Support for CVC4 (default still CVC3), packaged with SWT 4.5.1. 2.14 (July 13, 2015) Packaged with SWT 4.5, fixed small GUI glitch. 2.13 (December 3, 2014) Fixed bug in "measure is well-formed" tasks. Strengthened assumption in both "measure" tasks. 2.12 (December 3, 2014) Fixed display of error messages for method preconditions. 2.11 (September 29, 2014) Packaged with SWT 4.4.1. 2.10 (December 20, 2013) Fix bugs in parser and in simplification of let expressions. 2.09 (November 18, 2013) Improve the pushing of quantifiers in simplification. 2.08 (October 31, 2013) Packaged with SWT 4.3.1 Fixed missing simplification in scatter. 2.07 (September 9, 2013) Fixed weakness in pre/post-condition computation. 2.06 (June 27, 2013) Packaged with SWT 4.3 Fixed bug in picking statements within for loop bodies. Fixed bug in judgement for "continue" in for loops. 2.05 (April 8, 2013) Fixed major memory leak (KillThread threads not terminated, thus serving as additional gc roots) 2.04 (April 6, 2013) Various bug fixes: - correct dependency check when declaration has not been changed - insert parentheses in printing a-(b-c) - prettyprint logical constants as keywords - do not reset type table, since this makes atomic types non-unique - fix type checking of initialized value declarations - introduce covariant/contravariant type checking for arrays (again) 2.03 (January 23, 2013) Various bug fixes and performance improvements: - avoid simplification after scatter which changes formula labels - report error on double declarations in theories - fix unreliable timeout killing of CVC3 processes letting system hang - consider short-circuit evaluation for precondition computation - improve performance of simplification of quantified formulas - improve simplification for conditional expressions - fix crash on creating new files in editor 2.02 (December 13, 2012) Fix bug in calculation of reference parameter positions. 2.01 (December 10, 2012) Fix frame extension in postcondition verification. 2.0 (November 22, 2012) Integration of CVC3. 1.05 (October 15, 2012) Packaged with SWT 4.2.1 1.04 (August 1, 2012) Packaged with SWT 4.2. 1.03 (November 28, 2011) Minor bug fixes, keyboard shortcuts added for some menu items. 1.02 (November 3, 2011) Bug fixes (formula simplification, formula parsing, minor others). ProofNavigator directory renamed to ".ProofNavigator". 1.01 (October 7, 2011) Bug fix (verification condition for termination of loop bodies). 1.0 (October 3, 2011) First release. Internal reorganization (improved tree visitors). 0.9 (September 15, 2011) Third release candidate. Task directories reorganized. Manual updated. 0.8 (July 25, 2011) Second release candidate (manual not updated yet). 0.7 (July 5, 2011) Debugged version (release candidate, manual not updated yet). Optimized store management. Class invariants introduced. Packaged with SWT 3.7. 0.6 (April 28, 2011) First functional release (beta status, manual not updated yet). 0.3 (April 8, 2010) First sekeleton release with examples and manual included. ------------------------------------------------------------------------------ End of CHANGES. ------------------------------------------------------------------------------