GUI Release Notes

4.3.0 (Apr 10, 2025)

Features

  • [feat] Rule Report - Navigating to report with completed state, will now mark this job as “opened” in the Dashboard job list.

  • [feat] Rule Report - State-Diff: introducing the option to compare the state of the storage between different snapshots within the call trace. This option will aid users in understanding counter examples and debugging problems.

  • [feat] Rule Report - Full-screen Notifications Tab: Added a new full-screen (expanded) tab state to the notification panel for improved readability and navigation. Users can now easily switch between collapsed, small, and full-screen views to better manage long notifications.

  • [feat] Dashboard - Jobs list will now highlight unopened jobs. Jobs will be marked as “opened” by opening a report in a completed state, or by marking this manually in the dashboard.

  • [feat] Dashboard - Job list will now present the run_source of a job and enable filtering by run_source

Fixed Bugs

  • [bug] Rule Report - Log out from Rule Report is now working as expected

  • [bug] Dashboard - Canceling a job from the Dashboard is now working as expected

4.0.2 (Mar 13, 2025)

Features

  • [feat] Rule Report - Added icons and highlighter for Solana reports.

  • [feat] Rule Report - Improved Call Trace and Variables readability by truncating long values

  • [feat] Dashboard - Added tooltips for column headers

4.0.0 (Feb 19, 2025)

Features

  • [feat] Rule Report - Improved call trace filtering & navigation, to provide more flexibility and ease of use. You can now toggle between search and filter modes. Additionally, you can navigate results via the up/down arrows, similar to CTRL+F in a browser, to move through matches efficiently.

  • [feat] Rule Report - Added click-to-copy variables in call trace and variables tab

3.1.1 (Jan 12, 2025)

Features

  • [feat] Support for displaying numeric values in string, decimal, or hexadecimal formats in Call Trace and Variables tabs, with a dropdown to switch formats.

  • [feat] Persist column configuration (display selection and width) across browser sessions on the Prover Dashboard, including between tabs and logins.

  • [feat] Added call traces and TAC dumps for sanity rules in Rule Report.

3.0.2 (Nov 18, 2024)

Features

  • [feat] Improved formatting of the call trace: The call trace highlights values of the counter examples as gray boxes and provides tooltips indicating the semantics of the value (e.g. if the value is a return value or a parameter of a function call).

  • [feat] The rule tree automatically opens a node if it only contains a single child element. This reduces the number of user interactions required to get to the call trace and find the counter example.

2.4.4 (Nov 6, 2024)

Features

  • [feat] Adding support for syntax highlighting of Rust files in the code editor

  • [feat] Flags in the config tab link to the flags in the documentation.

Fixed Bugs

  • [bug] The re-run button was reported to not function for non-Certora users. This has been fixed.

2.4.1 (Oct 6, 2024)

Features

  • [feat] Rule progress indicator: The progress of individual rules will be displayed in the tree view. Each node in the rule tree shows how many children have been completed already.

  • [feat] Re-run feature is available to all users. Upon a timeout of a rule, the user is able to re-run the particular rule with a portfolio of configurations aiming to solve the timeout.

2.3.2 (Sep 2, 2024)

Features

  • [feat] Global Notifications New UI

2.2.0 (Jul 24, 2024)

Features

  • [feat] Job execution status in browser tab

2.1.6 (Jul 8, 2024)

Features

  • [bugfix] Call trace performance improvements

  • [feat] Re-run feature: A rule that timed out can be re-submitted as individual job (experimental, for selected users only)

  • [feat] Allow the user to logout from rule report

2.0.1 (May 15, 2024)

Features

  • [feat] Support for jump to source from variables tab

  • [feat] Support for jump to source from live statistics tab

  • [feat] Allow the call trace to be expanded to full screen

Fixed Bugs

  • [fix] Expansion bug on the main UI grid

  • [fix] Fixes for the call trace tracking points

1.0.0 (Apr 11, 2024)

Features

  • [feat] Jump To Source: Animation to highlight already selected line on button click

  • [feat] New Job Configuration Tab that provides details on all arguments and inputs of a job that has been executed with (main contract, solidity version, all Prover flags and CLI options)

  • [feat] Browser tab title now indicates the main contract and the message of the job to simplify identification of a job

  • [feat] Files with extension .yul - Yul files - can be displayed in the editor

Fixed Bugs

  • [fix] When a job has been canceled or halted, only rules that were running are being displayed as killed

0.8.0 (Mar 11, 2024)

Features

  • [feat] Jump To Source Feature (works only in combination with Certora version later than 7.1.0)

  • [feat] New tooltips on labels for the call trace

Fixed Bugs

  • [fix] Fixed tracking points

  • [fix] Fixed sharing button

0.7.0 (Feb 12, 2024)

Fixed Bugs

  • [fix] Fixed bug when collapsing the left pane of the main grid

  • [fix] Fixed bug when collapsing entries in the call trace

0.6.0 (Jan 31, 2024)

Features

  • [feat] Live Difficulty Statistics

  • [feat] Adding tool tips to status

Fixed Bugs

  • [fix] Fixed file contents were shown to be loading for indefinite time

0.5.7 (Nov 26, 2023)

Features

  • [feat] Improvements on naming for global / rule notifications

0.5.62 (Feb 11, 2024)

Fixed Bugs

  • [fix] Fixed removed links to deprecated Certora Forum

0.5.6 (October 24, 2023)

Features

  • [feat] Shareable report button

  • [feat] Foldable call trace

  • [feat] Added view of .conf files in the source files tab

  • [feat] New Tracking Points feature in the call trace

  • [feat] Added support for Witness examples view

  • [feat] Added link to the unsat core page inside info tab

  • [feat] Added job status at the top level

  • [feat] Default first load of the report shows the spec file and rules tab only

  • [feat] Display the report version in the info tab

  • [feat] Added a floating column option for the main sidebar

  • [feat] Added animated icons for jobs status in progress

  • [feat] Files tab keeps expanded files state

  • [feat] Improved filter, filter highlight, and search highlight functionality inside call resolutions

  • [feat] Added code editor scroll position to state

  • [feat] Added columns width to local storage

  • [feat] Removed cancel job button from the report

  • [feat] Removed auto-scroll in call Trace

  • [feat] Improved drop filters

  • [feat] Improved component’s state handling

  • [feat] Added upload failed view

Fixed Bugs

  • [bugfix] Fixed the issue of selected file not being shown in the file tree

  • [bugfix] Fixed call resolution empty state issue

  • [bugfix] Fixed global problems empty state issue

  • [bugfix] Support for view of files with same name in different folders

  • [bugfix] Support file opening twice

  • [bugfix] Fixed handling collapse functionality when data is filtered

  • [bugfix] Fixed Firefox warnings on the source files tab

  • [bugfix] Fixed filter and collapse on contracts and global call resolution tabs to be consistent

  • [bugfix] Fixed contracts tab to show more/less and line breaks

  • [bugfix] Fixed UI breaking when selecting a new rule

  • [bugfix] Fixed issue of multi counter example shown without call trace

  • [bugfix] Fixed call resolution opening two items by default instead of one

  • [bugfix] Fixed view of job run time to excluded the time the job waited in the queue

  • [bugfix] Fixed variables sorting order