Rules Report Release Notes
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[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
Bugs
[fix] Fixed tracking points
[fix] Fixed sharing button
0.7.0 (Feb 12, 2024)
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
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)
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
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