-
Notifications
You must be signed in to change notification settings - Fork 107
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
[WIP] Various IDE improvements and new features #1334
base: master
Are you sure you want to change the base?
Commits on Nov 8, 2022
-
Configuration menu - View commit details
-
Copy full SHA for ddb4779 - Browse repository at this point
Copy the full SHA ddb4779View commit details
Commits on Nov 11, 2022
-
Configuration menu - View commit details
-
Copy full SHA for bbc07cc - Browse repository at this point
Copy the full SHA bbc07ccView commit details
Commits on Nov 22, 2022
-
Configuration menu - View commit details
-
Copy full SHA for dc4b1d5 - Browse repository at this point
Copy the full SHA dc4b1d5View commit details
Commits on Dec 4, 2022
-
Configuration menu - View commit details
-
Copy full SHA for dc079fa - Browse repository at this point
Copy the full SHA dc079faView commit details -
Fixed the issue of no_verify causing subsequent verifications to fail…
… by simply creating a fake error in the case that no_verify and show_ide_info are set.
Configuration menu - View commit details
-
Copy full SHA for c1d86d2 - Browse repository at this point
Copy the full SHA c1d86d2View commit details
Commits on Dec 10, 2022
-
now finding correct defpath for function calls and also handling bino…
…ps, even though they introduce some new problems
Configuration menu - View commit details
-
Copy full SHA for 207a4ad - Browse repository at this point
Copy the full SHA 207a4adView commit details
Commits on Dec 11, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 4636373 - Browse repository at this point
Copy the full SHA 4636373View commit details
Commits on Dec 12, 2022
-
Configuration menu - View commit details
-
Copy full SHA for e311df9 - Browse repository at this point
Copy the full SHA e311df9View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3780ce1 - Browse repository at this point
Copy the full SHA 3780ce1View commit details
Commits on Dec 19, 2022
-
Configuration menu - View commit details
-
Copy full SHA for e518ef4 - Browse repository at this point
Copy the full SHA e518ef4View commit details -
Joseph Thommes committed
Dec 19, 2022 Configuration menu - View commit details
-
Copy full SHA for 295040c - Browse repository at this point
Copy the full SHA 295040cView commit details
Commits on Dec 29, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 7adf64e - Browse repository at this point
Copy the full SHA 7adf64eView commit details
Commits on Jan 3, 2023
-
initial quantifier instantiations working
Joseph Thommes committedJan 3, 2023 Configuration menu - View commit details
-
Copy full SHA for 4943255 - Browse repository at this point
Copy the full SHA 4943255View commit details
Commits on Jan 5, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 0bd03b9 - Browse repository at this point
Copy the full SHA 0bd03b9View commit details -
Configuration menu - View commit details
-
Copy full SHA for fe577dc - Browse repository at this point
Copy the full SHA fe577dcView commit details
Commits on Jan 6, 2023
-
Configuration menu - View commit details
-
Copy full SHA for dedc17b - Browse repository at this point
Copy the full SHA dedc17bView commit details
Commits on Jan 8, 2023
-
WIP: stream messages from server to client
Joseph Thommes committedJan 8, 2023 Configuration menu - View commit details
-
Copy full SHA for 8812f3d - Browse repository at this point
Copy the full SHA 8812f3dView commit details
Commits on Jan 19, 2023
-
Configuration menu - View commit details
-
Copy full SHA for c1cbde9 - Browse repository at this point
Copy the full SHA c1cbde9View commit details -
Configuration menu - View commit details
-
Copy full SHA for b4f93ae - Browse repository at this point
Copy the full SHA b4f93aeView commit details -
Configuration menu - View commit details
-
Copy full SHA for 41e1964 - Browse repository at this point
Copy the full SHA 41e1964View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6facfce - Browse repository at this point
Copy the full SHA 6facfceView commit details
Commits on Jan 31, 2023
-
Asynchronously report messages from the server to the client via WebS…
…ocket. Report quantifier instantiations split by methods.
Joseph Thommes committedJan 31, 2023 Configuration menu - View commit details
-
Copy full SHA for 3ac17ee - Browse repository at this point
Copy the full SHA 3ac17eeView commit details
Commits on Feb 4, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 24ad838 - Browse repository at this point
Copy the full SHA 24ad838View commit details
Commits on Feb 7, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 5d141eb - Browse repository at this point
Copy the full SHA 5d141ebView commit details -
Configuration menu - View commit details
-
Copy full SHA for 95b78ca - Browse repository at this point
Copy the full SHA 95b78caView commit details -
Configuration menu - View commit details
-
Copy full SHA for 9b0b5ad - Browse repository at this point
Copy the full SHA 9b0b5adView commit details
Commits on Feb 8, 2023
-
Adjusted viper VerificationResult so we can passe times, and whether …
…is was cached to clients.
Configuration menu - View commit details
-
Copy full SHA for bb6ddb2 - Browse repository at this point
Copy the full SHA bb6ddb2View commit details -
WIP: restructure the process verification a bit
Joseph Thommes committedFeb 8, 2023 Configuration menu - View commit details
-
Copy full SHA for a4dce76 - Browse repository at this point
Copy the full SHA a4dce76View commit details -
Configuration menu - View commit details
-
Copy full SHA for f84219c - Browse repository at this point
Copy the full SHA f84219cView commit details
Commits on Feb 12, 2023
-
Configuration menu - View commit details
-
Copy full SHA for d9e067c - Browse repository at this point
Copy the full SHA d9e067cView commit details -
Finish process_verification restructuring. Add a parameter for qi.pro…
…file_freq. Encode the quantifier ID in the line of the position in order to not having to modify the silver way of encoding a quantifier.
Joseph Thommes committedFeb 12, 2023 Configuration menu - View commit details
-
Copy full SHA for a069cef - Browse repository at this point
Copy the full SHA a069cefView commit details -
Merge remote-tracking branch 'cedric/proto-extspec' into quant
Joseph Thommes committedFeb 12, 2023 Configuration menu - View commit details
-
Copy full SHA for 92c92c3 - Browse repository at this point
Copy the full SHA 92c92c3View commit details
Commits on Feb 13, 2023
-
Configuration menu - View commit details
-
Copy full SHA for ca86115 - Browse repository at this point
Copy the full SHA ca86115View commit details
Commits on Feb 15, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 4e1a547 - Browse repository at this point
Copy the full SHA 4e1a547View commit details -
Add QuantifierChosenTriggersMessage reporting
Joseph Thommes committedFeb 15, 2023 Configuration menu - View commit details
-
Copy full SHA for 26ea0af - Browse repository at this point
Copy the full SHA 26ea0afView commit details -
Merge remote-tracking branch 'cedric/proto-extspec' into quant
Joseph Thommes committedFeb 15, 2023 Configuration menu - View commit details
-
Copy full SHA for 872b3c1 - Browse repository at this point
Copy the full SHA 872b3c1View commit details
Commits on Feb 16, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 2cbc865 - Browse repository at this point
Copy the full SHA 2cbc865View commit details -
WIP: async processing of verification info
Joseph Thommes committedFeb 16, 2023 Configuration menu - View commit details
-
Copy full SHA for c3a2c6f - Browse repository at this point
Copy the full SHA c3a2c6fView commit details
Commits on Feb 19, 2023
-
(IDE) Contract Spans are now also collected for pedges and termatinat…
…ions (altough ranges are not always accurate)
Configuration menu - View commit details
-
Copy full SHA for 5ed232e - Browse repository at this point
Copy the full SHA 5ed232eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 91b91c4 - Browse repository at this point
Copy the full SHA 91b91c4View commit details
Commits on Feb 20, 2023
-
Joseph Thommes committed
Feb 20, 2023 Configuration menu - View commit details
-
Copy full SHA for ba54ed7 - Browse repository at this point
Copy the full SHA ba54ed7View commit details -
Joseph Thommes committed
Feb 20, 2023 Configuration menu - View commit details
-
Copy full SHA for e4810ec - Browse repository at this point
Copy the full SHA e4810ecView commit details -
Joseph Thommes committed
Feb 20, 2023 Configuration menu - View commit details
-
Copy full SHA for f886f8b - Browse repository at this point
Copy the full SHA f886f8bView commit details -
Merge remote-tracking branch 'upstream/master' into quant
Joseph Thommes committedFeb 20, 2023 Configuration menu - View commit details
-
Copy full SHA for 93a78c7 - Browse repository at this point
Copy the full SHA 93a78c7View commit details
Commits on Feb 21, 2023
-
give spans of pledges to IDE and filter out trusted methods and predi…
…cates from items offered for selective verification
Configuration menu - View commit details
-
Copy full SHA for 9ef451a - Browse repository at this point
Copy the full SHA 9ef451aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 5df2a04 - Browse repository at this point
Copy the full SHA 5df2a04View commit details -
Configuration menu - View commit details
-
Copy full SHA for b6ba6f6 - Browse repository at this point
Copy the full SHA b6ba6f6View commit details -
Emit everything in a compiler note/message
Joseph Thommes committedFeb 21, 2023 Configuration menu - View commit details
-
Copy full SHA for f27499c - Browse repository at this point
Copy the full SHA f27499cView commit details -
Joseph Thommes committed
Feb 21, 2023 Configuration menu - View commit details
-
Copy full SHA for cf53b8e - Browse repository at this point
Copy the full SHA cf53b8eView commit details -
Set config variable for viper message reporting to default false.
Joseph Thommes committedFeb 21, 2023 Configuration menu - View commit details
-
Copy full SHA for 158b9ad - Browse repository at this point
Copy the full SHA 158b9adView commit details
Commits on Feb 22, 2023
-
Joseph Thommes committed
Feb 22, 2023 Configuration menu - View commit details
-
Copy full SHA for 195af4d - Browse repository at this point
Copy the full SHA 195af4dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 91f4ff9 - Browse repository at this point
Copy the full SHA 91f4ff9View commit details -
Fix GlobalRef detaching warning. Add a few comments. Remove some debu…
…gging leftovers.
Joseph Thommes committedFeb 22, 2023 Configuration menu - View commit details
-
Copy full SHA for 82e6063 - Browse repository at this point
Copy the full SHA 82e6063View commit details -
Better comment for the VerificationRequestProcessing global variable.
Joseph Thommes committedFeb 22, 2023 Configuration menu - View commit details
-
Copy full SHA for 849b18d - Browse repository at this point
Copy the full SHA 849b18dView commit details -
Joseph Thommes committed
Feb 22, 2023 Configuration menu - View commit details
-
Copy full SHA for 33a2e63 - Browse repository at this point
Copy the full SHA 33a2e63View commit details -
Configuration menu - View commit details
-
Copy full SHA for ed8b1b6 - Browse repository at this point
Copy the full SHA ed8b1b6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1b1242d - Browse repository at this point
Copy the full SHA 1b1242dView commit details -
Joseph Thommes committed
Feb 22, 2023 Configuration menu - View commit details
-
Copy full SHA for ebfdd1b - Browse repository at this point
Copy the full SHA ebfdd1bView commit details -
Updated viper-toolchain, added various comments / documentation, addr…
…essed a few reviews
Configuration menu - View commit details
-
Copy full SHA for ca1d9d6 - Browse repository at this point
Copy the full SHA ca1d9d6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 137f9a2 - Browse repository at this point
Copy the full SHA 137f9a2View commit details
Commits on Feb 23, 2023
-
Configuration menu - View commit details
-
Copy full SHA for f79e966 - Browse repository at this point
Copy the full SHA f79e966View commit details -
Configuration menu - View commit details
-
Copy full SHA for f2fa93a - Browse repository at this point
Copy the full SHA f2fa93aView commit details -
made testcases compile at least, but one is hard to update to new str…
…ucture of verifier
Configuration menu - View commit details
-
Copy full SHA for 5600499 - Browse repository at this point
Copy the full SHA 5600499View commit details -
Fixed prusti-server test. Why do we get a 255 exit code on a successf…
…ul verification?
Joseph Thommes committedFeb 23, 2023 Configuration menu - View commit details
-
Copy full SHA for 7e6ceaf - Browse repository at this point
Copy the full SHA 7e6ceafView commit details -
Configuration menu - View commit details
-
Copy full SHA for e8bddf0 - Browse repository at this point
Copy the full SHA e8bddf0View commit details -
Configuration menu - View commit details
-
Copy full SHA for ede8451 - Browse repository at this point
Copy the full SHA ede8451View commit details
Commits on Feb 24, 2023
-
Joseph Thommes committed
Feb 24, 2023 Configuration menu - View commit details
-
Copy full SHA for 3572fea - Browse repository at this point
Copy the full SHA 3572feaView commit details -
Merge remote-tracking branch 'cedric/master' into quant
Joseph Thommes committedFeb 24, 2023 Configuration menu - View commit details
-
Copy full SHA for be04342 - Browse repository at this point
Copy the full SHA be04342View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7d434b5 - Browse repository at this point
Copy the full SHA 7d434b5View commit details
Commits on Feb 25, 2023
-
Make cache save when not using a server
Joseph Thommes committedFeb 25, 2023 Configuration menu - View commit details
-
Copy full SHA for bac27bf - Browse repository at this point
Copy the full SHA bac27bfView commit details -
Configuration menu - View commit details
-
Copy full SHA for 9ca7602 - Browse repository at this point
Copy the full SHA 9ca7602View commit details -
Gracefully close also the receiving end of the websocket.
Joseph Thommes committedFeb 25, 2023 Configuration menu - View commit details
-
Copy full SHA for b373c14 - Browse repository at this point
Copy the full SHA b373c14View commit details -
Close the websocket connection correctly
Joseph Thommes committedFeb 25, 2023 Configuration menu - View commit details
-
Copy full SHA for e84688f - Browse repository at this point
Copy the full SHA e84688fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 2cc9233 - Browse repository at this point
Copy the full SHA 2cc9233View commit details -
Fix bug where successful selective verification is still cached
In general, when skipping verification, we introduced a so called fake_error to make sure the compiler does not just cache this as successful verification and then skip later verifications even if that's not intended. Same issue occured for selective verification, when verifying a single method that is "correct", this would be cached. Now we throw a fake error in this case too, to avoid this.
Configuration menu - View commit details
-
Copy full SHA for c39ece5 - Browse repository at this point
Copy the full SHA c39ece5View commit details
Commits on Feb 27, 2023
-
Configuration menu - View commit details
-
Copy full SHA for f83a088 - Browse repository at this point
Copy the full SHA f83a088View commit details
Commits on Mar 1, 2023
-
Prusti Assistant offers a few new features, and it checks for this version for them to be available.
Configuration menu - View commit details
-
Copy full SHA for 8b4563f - Browse repository at this point
Copy the full SHA 8b4563fView commit details
Commits on Mar 4, 2023
-
Update viper-toolchain version
Joseph Thommes committedMar 4, 2023 Configuration menu - View commit details
-
Copy full SHA for eaeef45 - Browse repository at this point
Copy the full SHA eaeef45View commit details
Commits on Mar 5, 2023
-
Implement some comments (untested)
Joseph Thommes committedMar 5, 2023 Configuration menu - View commit details
-
Copy full SHA for 82b0eb8 - Browse repository at this point
Copy the full SHA 82b0eb8View commit details -
Joseph Thommes committed
Mar 5, 2023 Configuration menu - View commit details
-
Copy full SHA for a492472 - Browse repository at this point
Copy the full SHA a492472View commit details -
Joseph Thommes committed
Mar 5, 2023 Configuration menu - View commit details
-
Copy full SHA for f50a367 - Browse repository at this point
Copy the full SHA f50a367View commit details -
Configuration menu - View commit details
-
Copy full SHA for a1e6d9f - Browse repository at this point
Copy the full SHA a1e6d9fView commit details -
Configuration menu - View commit details
-
Copy full SHA for b144843 - Browse repository at this point
Copy the full SHA b144843View commit details -
Configuration menu - View commit details
-
Copy full SHA for aaa3ea5 - Browse repository at this point
Copy the full SHA aaa3ea5View commit details
Commits on Mar 6, 2023
-
Merge remote-tracking branch 'upstream/master'
Joseph Thommes committedMar 6, 2023 Configuration menu - View commit details
-
Copy full SHA for dc6ead0 - Browse repository at this point
Copy the full SHA dc6ead0View commit details
Commits on Mar 7, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 1f0ae07 - Browse repository at this point
Copy the full SHA 1f0ae07View commit details -
Fix some quantifier reporting weirdness
Also add some debug statements.
Joseph Thommes committedMar 7, 2023 Configuration menu - View commit details
-
Copy full SHA for e562bca - Browse repository at this point
Copy the full SHA e562bcaView commit details
Commits on Mar 8, 2023
-
Make QI etc. also work for existential quantifiers
Joseph Thommes committedMar 8, 2023 Configuration menu - View commit details
-
Copy full SHA for 65c99d9 - Browse repository at this point
Copy the full SHA 65c99d9View commit details
Commits on Mar 9, 2023
-
Check if current package is primary package before throwing fake_error
In 2 places we throw fake errors to avoid caching of successes when we should not. This lead to problems with local dependencies, since they are verified too and the fake_error ended up being thrown too early. This bug is resolved now.
Configuration menu - View commit details
-
Copy full SHA for a299c14 - Browse repository at this point
Copy the full SHA a299c14View commit details
Commits on Mar 13, 2023
-
Separate trait bounds from generic args and handle bad case
First of all we separated trait bounds from generic args, since for example for a function signature within an impl block, the trait bounds at the function level can still refer to the generic args defined in the impl block. Secondly, we had a problem if a generic had duplicate traitbounds, with different generics, e.g.: `T: Foo<u32> + Foo<String>`, this is now handled correctly, under the assumption that the predicates occurr in a certain order, i.e. projections come after their respective trait. So far this seems to be always the case, if it's not I don't see how this problem can be solved.
Configuration menu - View commit details
-
Copy full SHA for eb05efc - Browse repository at this point
Copy the full SHA eb05efcView commit details