code-lenses #32

Merged

michael merged 7 commits from code-lenses into main 2026-04-08 14:53:48 +02:00

Conversation 0 Commits 7 Files changed 6 +182 -43

michael commented 2026-04-08 14:53:33 +02:00

Owner

• Copy link

No description provided.

michael added 7 commits 2026-04-08 14:53:33 +02:00

Added a code-lens which for now is in a static position and sends the user to a static spot 93f8249a1a

Removed code to automatically register commands via the extention as that is already supported in the language server 3361c36b50

Removed template code lens 9b7576a4d5

Added auto generated id when creating new contracts 481373057c

Made go to proof not go to a static file, but to <current_file>_proofs.v, position in file is still temporarily static e8980445fc

Made completion of the keyword "id" inside contracts also generate a uuid f9c43d1a46

Merge remote-tracking branch 'origin/main' into code-lenses 5a07d48bb7

michael merged commit d316c77601 into main 2026-04-08 14:53:48 +02:00

michael referenced this pull request from a commit 2026-04-08 14:53:49 +02:00

code-lenses (#32)

Commenting is not possible because the repository is archived.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

code2rocq/imp2rocq!32

No description provided.