-
Notifications
You must be signed in to change notification settings - Fork 10
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add block granularity progress indication #262
base: master
Are you sure you want to change the base?
Commits on Oct 23, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 8c56c94 - Browse repository at this point
Copy the full SHA 8c56c94View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9fa5ae6 - Browse repository at this point
Copy the full SHA 9fa5ae6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6141e56 - Browse repository at this point
Copy the full SHA 6141e56View commit details
Commits on Nov 8, 2022
-
Configuration menu - View commit details
-
Copy full SHA for ef1402b - Browse repository at this point
Copy the full SHA ef1402bView commit details
Commits on Nov 11, 2022
-
parsing IDE Info and passing the flag, for some reason just passing a…
… flag is f*ing hard
Configuration menu - View commit details
-
Copy full SHA for 4ebe83c - Browse repository at this point
Copy the full SHA 4ebe83cView commit details
Commits on Nov 21, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 51adf3d - Browse repository at this point
Copy the full SHA 51adf3dView commit details
Commits on Dec 4, 2022
-
Configuration menu - View commit details
-
Copy full SHA for d0615eb - Browse repository at this point
Copy the full SHA d0615ebView commit details
Commits on Dec 5, 2022
-
Fixing problems such as IdeInfo only saving information for one file …
…or crate and codelenses only updating after reloading a file or editing it.
Configuration menu - View commit details
-
Copy full SHA for cfc86b5 - Browse repository at this point
Copy the full SHA cfc86b5View commit details
Commits on Dec 7, 2022
-
IDE info is now persistent across files, i.e. when
verifying different files or crates, not just the info of the most recent one is stored.
Configuration menu - View commit details
-
Copy full SHA for 3984ed3 - Browse repository at this point
Copy the full SHA 3984ed3View commit details
Commits on Dec 10, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 9dc4347 - Browse repository at this point
Copy the full SHA 9dc4347View commit details
Commits on Dec 19, 2022
-
adjusted what happens on save, on open, etc, better behavior when col…
…lecting information but not verifying
Configuration menu - View commit details
-
Copy full SHA for 0d69e03 - Browse repository at this point
Copy the full SHA 0d69e03View commit details
Commits on Jan 3, 2023
-
initial quantifier inlays working
Joseph Thommes committedJan 3, 2023 Configuration menu - View commit details
-
Copy full SHA for 9dc3a83 - Browse repository at this point
Copy the full SHA 9dc3a83View commit details
Commits on Jan 5, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 9b3125d - Browse repository at this point
Copy the full SHA 9b3125dView commit details
Commits on Jan 9, 2023
-
Configuration menu - View commit details
-
Copy full SHA for d86e81c - Browse repository at this point
Copy the full SHA d86e81cView commit details
Commits on Jan 31, 2023
-
Add hovering and splitting by function that caused the quantifier ins…
…tantiations
Joseph Thommes committedJan 31, 2023 Configuration menu - View commit details
-
Copy full SHA for 5e7011f - Browse repository at this point
Copy the full SHA 5e7011fView commit details
Commits on Feb 5, 2023
-
Configuration menu - View commit details
-
Copy full SHA for eca362e - Browse repository at this point
Copy the full SHA eca362eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4dda223 - Browse repository at this point
Copy the full SHA 4dda223View commit details
Commits on Feb 8, 2023
-
Displaying checkmarks next to methods.
Not yet actually depending on the verification's result.
Configuration menu - View commit details
-
Copy full SHA for dde8a60 - Browse repository at this point
Copy the full SHA dde8a60View commit details -
Merge remote-tracking branch 'cedric/proto' into quant
Joseph Thommes committedFeb 8, 2023 Configuration menu - View commit details
-
Copy full SHA for f7fe789 - Browse repository at this point
Copy the full SHA f7fe789View commit details
Commits on Feb 11, 2023
-
WIP: refactored large portions and parse verification info, some bug …
…with displaying it
Configuration menu - View commit details
-
Copy full SHA for 5f2aa6a - Browse repository at this point
Copy the full SHA 5f2aa6aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 805c450 - Browse repository at this point
Copy the full SHA 805c450View commit details
Commits on Feb 12, 2023
-
Displaying verification time and whether results were cached now work…
…s. However the textual decorators just stack in subsequent verifications so they will have to be removed at some point
Configuration menu - View commit details
-
Copy full SHA for 707bd46 - Browse repository at this point
Copy the full SHA 707bd46View commit details -
Configuration menu - View commit details
-
Copy full SHA for e71bd1a - Browse repository at this point
Copy the full SHA e71bd1aView commit details -
Add compilation and verification error differentiation. Do not show a…
… crash message upon kill.
Joseph Thommes committedFeb 12, 2023 Configuration menu - View commit details
-
Copy full SHA for e9b63d9 - Browse repository at this point
Copy the full SHA e9b63d9View commit details -
Merge remote-tracking branch 'cedric/proto' into quant
Joseph Thommes committedFeb 12, 2023 Configuration menu - View commit details
-
Copy full SHA for 3f707d6 - Browse repository at this point
Copy the full SHA 3f707d6View commit details
Commits on Feb 13, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 75fac62 - Browse repository at this point
Copy the full SHA 75fac62View commit details -
Reworked underlying data structure for many features, now they all se…
…em to be working
Configuration menu - View commit details
-
Copy full SHA for df461c8 - Browse repository at this point
Copy the full SHA df461c8View commit details -
Configuration menu - View commit details
-
Copy full SHA for ca999e0 - Browse repository at this point
Copy the full SHA ca999e0View commit details
Commits on Feb 15, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 3d37f65 - Browse repository at this point
Copy the full SHA 3d37f65View commit details -
Configuration menu - View commit details
-
Copy full SHA for b85e0c7 - Browse repository at this point
Copy the full SHA b85e0c7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 104e6e5 - Browse repository at this point
Copy the full SHA 104e6e5View commit details -
Show QuantifierChosenTriggersMessage. Needs refactoring.
Joseph Thommes committedFeb 15, 2023 Configuration menu - View commit details
-
Copy full SHA for 08a1b09 - Browse repository at this point
Copy the full SHA 08a1b09View commit details -
Merge remote-tracking branch 'cedric/proto' into quant
Joseph Thommes committedFeb 15, 2023 Configuration menu - View commit details
-
Copy full SHA for 2a85c05 - Browse repository at this point
Copy the full SHA 2a85c05View commit details
Commits on Feb 16, 2023
-
Now reading EncodingInfo from prusti-dev so peek feature can be used …
…to look at specification of calls.
Configuration menu - View commit details
-
Copy full SHA for aafe787 - Browse repository at this point
Copy the full SHA aafe787View commit details -
The gotoDefinition to view contracts feature is now optional
(configurable)
Configuration menu - View commit details
-
Copy full SHA for 8963526 - Browse repository at this point
Copy the full SHA 8963526View commit details -
WIP: refactor everything, not much done yet
Joseph Thommes committedFeb 16, 2023 Configuration menu - View commit details
-
Copy full SHA for 08b5530 - Browse repository at this point
Copy the full SHA 08b5530View commit details
Commits on Feb 19, 2023
-
WIP: Refactoring, async reporting of results. Compiles but not at all…
… tested.
Joseph Thommes committedFeb 19, 2023 Configuration menu - View commit details
-
Copy full SHA for 3240872 - Browse repository at this point
Copy the full SHA 3240872View commit details
Commits on Feb 20, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 5eabb63 - Browse repository at this point
Copy the full SHA 5eabb63View commit details
Commits on Feb 21, 2023
-
Joseph Thommes committed
Feb 21, 2023 Configuration menu - View commit details
-
Copy full SHA for a907de4 - Browse repository at this point
Copy the full SHA a907de4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5864411 - Browse repository at this point
Copy the full SHA 5864411View commit details -
Joseph Thommes committed
Feb 21, 2023 Configuration menu - View commit details
-
Copy full SHA for 3ee0009 - Browse repository at this point
Copy the full SHA 3ee0009View commit details -
Joseph Thommes committed
Feb 21, 2023 Configuration menu - View commit details
-
Copy full SHA for b22e313 - Browse repository at this point
Copy the full SHA b22e313View commit details -
Change the way the output is handled.
Joseph Thommes committedFeb 21, 2023 Configuration menu - View commit details
-
Copy full SHA for cdde172 - Browse repository at this point
Copy the full SHA cdde172View commit details -
Make viper message showing configurable.
Joseph Thommes committedFeb 21, 2023 Configuration menu - View commit details
-
Copy full SHA for eda6186 - Browse repository at this point
Copy the full SHA eda6186View commit details -
Configuration menu - View commit details
-
Copy full SHA for c397082 - Browse repository at this point
Copy the full SHA c397082View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7c28971 - Browse repository at this point
Copy the full SHA 7c28971View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5edac67 - Browse repository at this point
Copy the full SHA 5edac67View commit details -
Configuration menu - View commit details
-
Copy full SHA for 959110b - Browse repository at this point
Copy the full SHA 959110bView commit details
Commits on Feb 22, 2023
-
Changed casing. Untested, because my setup is not working
Joseph Thommes committedFeb 22, 2023 Configuration menu - View commit details
-
Copy full SHA for ddee515 - Browse repository at this point
Copy the full SHA ddee515View commit details -
Fixed path-problems for crates, so they are working again for
CodeLenses, Decorators and CodeActions.
Configuration menu - View commit details
-
Copy full SHA for 414ba6e - Browse repository at this point
Copy the full SHA 414ba6eView commit details -
Switch to camelCase everywhere. Refactor message stuff (is it better …
…like this?). Startup prusti-server with report_viper_messages set. Other small fixes. Quantifier stuff does not yet completely work for crates or when switching tabs.
Joseph Thommes committedFeb 22, 2023 Configuration menu - View commit details
-
Copy full SHA for bd6d3e5 - Browse repository at this point
Copy the full SHA bd6d3e5View commit details -
Joseph Thommes committed
Feb 22, 2023 Configuration menu - View commit details
-
Copy full SHA for 4b77270 - Browse repository at this point
Copy the full SHA 4b77270View commit details
Commits on Feb 24, 2023
-
WIP: Make quantifiers work for crates.
Joseph Thommes committedFeb 24, 2023 Configuration menu - View commit details
-
Copy full SHA for abbb155 - Browse repository at this point
Copy the full SHA abbb155View commit details
Commits on Feb 26, 2023
-
Make subprocess output separate, invalidate QI/QCT
Open a separate output window for subprocess messages to not spam the extension output window. Make quantifier information disappear when verifying again (but not when skipping) and when changing the document. Also, do not consume the output of a to-be-killed verification that is still taking place by checking the this.runCount variable.
Joseph Thommes committedFeb 26, 2023 Configuration menu - View commit details
-
Copy full SHA for 1e0123a - Browse repository at this point
Copy the full SHA 1e0123aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 2882480 - Browse repository at this point
Copy the full SHA 2882480View commit details
Commits on Feb 27, 2023
-
Merge remote-tracking branch 'cedric/proto' into quant
Joseph Thommes committedFeb 27, 2023 Configuration menu - View commit details
-
Copy full SHA for ee5e6ac - Browse repository at this point
Copy the full SHA ee5e6acView commit details
Commits on Feb 28, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 8739c07 - Browse repository at this point
Copy the full SHA 8739c07View commit details
Commits on Mar 1, 2023
-
Provide way to clear files affected by compilation
It is still a bit awkward, since now the infoCollection also has to call the verificationManager. Maybe this should change. Moreover, now the verification arguments are wrapped in a class to allow a cleaner passing on of them in case they are needed in a deeper method e.g. when maybe implementing a cleaner currentRun check or when it is needed to know whether to actually clean something provided in an earlier run. Also, the setting of the prusti semantic version was moved to also affect the server correctly. And lastly, the thresholding mechanism of the diagnostics was changed to be more predictable.
Joseph Thommes committedMar 1, 2023 Configuration menu - View commit details
-
Copy full SHA for d53fbe4 - Browse repository at this point
Copy the full SHA d53fbe4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 0258d4f - Browse repository at this point
Copy the full SHA 0258d4fView commit details -
Configuration menu - View commit details
-
Copy full SHA for f04c3bd - Browse repository at this point
Copy the full SHA f04c3bdView commit details -
Configuration menu - View commit details
-
Copy full SHA for 74fe0d9 - Browse repository at this point
Copy the full SHA 74fe0d9View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8b9365b - Browse repository at this point
Copy the full SHA 8b9365bView commit details
Commits on Mar 2, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 8de5d2c - Browse repository at this point
Copy the full SHA 8de5d2cView commit details -
Configuration menu - View commit details
-
Copy full SHA for ac9c2a6 - Browse repository at this point
Copy the full SHA ac9c2a6View commit details
Commits on Mar 4, 2023
-
Configuration menu - View commit details
-
Copy full SHA for e832a22 - Browse repository at this point
Copy the full SHA e832a22View commit details -
Joseph Thommes committed
Mar 4, 2023 Configuration menu - View commit details
-
Copy full SHA for 9cbc2ae - Browse repository at this point
Copy the full SHA 9cbc2aeView commit details -
Joseph Thommes committed
Mar 4, 2023 Configuration menu - View commit details
-
Copy full SHA for 07e263d - Browse repository at this point
Copy the full SHA 07e263dView commit details -
Joseph Thommes committed
Mar 4, 2023 Configuration menu - View commit details
-
Copy full SHA for 86b7f21 - Browse repository at this point
Copy the full SHA 86b7f21View commit details
Commits on Mar 5, 2023
-
Fix synchronization, explicitly add 2 env vars
Joseph Thommes committedMar 5, 2023 Configuration menu - View commit details
-
Copy full SHA for 367cb0d - Browse repository at this point
Copy the full SHA 367cb0dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 56350e0 - Browse repository at this point
Copy the full SHA 56350e0View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8ec2df6 - Browse repository at this point
Copy the full SHA 8ec2df6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 55fd637 - Browse repository at this point
Copy the full SHA 55fd637View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9bb29f4 - Browse repository at this point
Copy the full SHA 9bb29f4View commit details
Commits on Mar 6, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 5d338da - Browse repository at this point
Copy the full SHA 5d338daView commit details -
Configuration menu - View commit details
-
Copy full SHA for 265afbf - Browse repository at this point
Copy the full SHA 265afbfView commit details -
Add the newly needed env flags to the server
Joseph Thommes committedMar 6, 2023 Configuration menu - View commit details
-
Copy full SHA for 7fae6eb - Browse repository at this point
Copy the full SHA 7fae6ebView commit details -
Configuration menu - View commit details
-
Copy full SHA for 8e664a7 - Browse repository at this point
Copy the full SHA 8e664a7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9ff32e7 - Browse repository at this point
Copy the full SHA 9ff32e7View commit details -
Configuration menu - View commit details
-
Copy full SHA for aea6a5f - Browse repository at this point
Copy the full SHA aea6a5fView commit details -
Configuration menu - View commit details
-
Copy full SHA for bcbb897 - Browse repository at this point
Copy the full SHA bcbb897View commit details
Commits on Mar 7, 2023
-
Improve quantifier markdown strings
Joseph Thommes committedMar 7, 2023 Configuration menu - View commit details
-
Copy full SHA for 2daf308 - Browse repository at this point
Copy the full SHA 2daf308View commit details -
Adjust the quantifier reporting frequency
Joseph Thommes committedMar 7, 2023 Configuration menu - View commit details
-
Copy full SHA for 80ab5d7 - Browse repository at this point
Copy the full SHA 80ab5d7View commit details
Commits on Mar 8, 2023
-
Make the Z3 smt.qi.profile_freq configurable
Joseph Thommes committedMar 8, 2023 Configuration menu - View commit details
-
Copy full SHA for 4992db2 - Browse repository at this point
Copy the full SHA 4992db2View commit details
Commits on May 11, 2024
-
Add (incomplete) initial infrastructure for blockwise verification
Includes a draft of new icons.
Configuration menu - View commit details
-
Copy full SHA for 5107365 - Browse repository at this point
Copy the full SHA 5107365View commit details
Commits on Jul 26, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 51a2771 - Browse repository at this point
Copy the full SHA 51a2771View commit details
Commits on Jul 31, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 04eec45 - Browse repository at this point
Copy the full SHA 04eec45View commit details -
Configuration menu - View commit details
-
Copy full SHA for 798af9e - Browse repository at this point
Copy the full SHA 798af9eView commit details
Commits on Aug 7, 2024
-
This includes: - retaining information between selective runs - overhaul of the decorator related storage structure - processing of block messages - some bug fixes
Configuration menu - View commit details
-
Copy full SHA for cc66a15 - Browse repository at this point
Copy the full SHA cc66a15View commit details
Commits on Aug 12, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 7b0aa10 - Browse repository at this point
Copy the full SHA 7b0aa10View commit details -
Fix current block display bug, add silicon extra arg option
Before, the current block may have been misleading. In the case of all paths through all methods currently being verified being stuck on a block, and those last block messages not having triggered the UI update (i.e. if they all arrived within the update interval), the last displayed blocks are not actually the hanging ones. Now anothe configurable interval forces an update. A new option for passing extra silicon arguments is added. In particular, when reporting block messages, the `--numberOfErrorsToReport` option is set to 0 by default.
Configuration menu - View commit details
-
Copy full SHA for da37e3d - Browse repository at this point
Copy the full SHA da37e3dView commit details
Commits on Aug 13, 2024
-
Configuration menu - View commit details
-
Copy full SHA for e02e34e - Browse repository at this point
Copy the full SHA e02e34eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 5e50d46 - Browse repository at this point
Copy the full SHA 5e50d46View commit details
Commits on Aug 15, 2024
-
- extra silicon args is an array now - keep providing code lens if the file is not dirty (mainly for tab changes) - simplify verification result parsing (since the filename prefix seems to not be useful) - mark verification results of methods as stale if they were not selected for the last verification run - only force update when there has been data and take tab changes into account
Configuration menu - View commit details
-
Copy full SHA for 41a8a90 - Browse repository at this point
Copy the full SHA 41a8a90View commit details
Commits on Aug 16, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 22e2050 - Browse repository at this point
Copy the full SHA 22e2050View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8c38340 - Browse repository at this point
Copy the full SHA 8c38340View commit details
Commits on Aug 19, 2024
-
The ranges extracted from the line masks were off. Also some inputs to the extractor function were wrong. Path results that are "Unreachable" are treated as success for now.
Configuration menu - View commit details
-
Copy full SHA for cd46292 - Browse repository at this point
Copy the full SHA cd46292View commit details
Commits on Aug 29, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 4614459 - Browse repository at this point
Copy the full SHA 4614459View commit details
Commits on Aug 30, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 9525208 - Browse repository at this point
Copy the full SHA 9525208View commit details
Commits on Sep 16, 2024
-
- First range of a bitmasks was always interpreted as 0 - Information retention had some edge cases mishandled
Configuration menu - View commit details
-
Copy full SHA for 9c39423 - Browse repository at this point
Copy the full SHA 9c39423View commit details