Alexander Stekelenburg comments

Results 56 comments of


                                            Alexander Stekelenburg

About Menu Item

But what is the real point of it?

Code Folding

That'd be nice

[Feature] Quit Without Saving

It does

Command palete

Nothing just like in st2 just faster access

Command palete

That's what i meant

Multiple Open Documents (Tabs)

Or maybe just like in vim(maybe in vi too) that when you close a document the other one shows up and you can also switch with a keybind

Performance improvement qpt.cpp

Yeah this could work (I did a quick test and it seemed to work on random games, not that that makes me super sure because we've seen 1 in a...

Optionally skip re-verification of well-definedness

I would be interested in using this flag. I tried it out and for my file it makes the difference between it (nondeterministically) failing to verify and verifying. I think...

Update VCLLVM (now Pallas) to LLVM 17, update to newest VerCors version, and convert more instructions to COL

> Hey nice work, just a quick general comment while you work on this: I've realized that we're starting to do too much logic in the `Lang{_}ToCol` passes (i.e. the...

Update VCLLVM (now Pallas) to LLVM 17, update to newest VerCors version, and convert more instructions to COL

My current plan is to remove the changes from #1172 such that this can be merged without affecting any other parts of the code. I had some issues with the...