Chủ sở hữu
viperproject
Đã lập chỉ mục 13 kho mã nguồn · Xem trên GitHub
-
gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
Scala · 189 star
-
silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
Scala · 145 star
-
silver
Definition of the Viper intermediate verification language.
Scala · 100 star
-
carbon
Verification-condition-generation-based verifier for the Viper intermediate verification language.
Scala · 38 star
-
viperserver
HTTP server that manages verification requests to different tools from the Viper tool stack.
Scala · 16 star
-
viper-ide
This is the main repository for the Viper IDE extension for VS Code.
TypeScript · 14 star
-
VerifiedSCION
Verifying the SCION architecture using Gobra
Go · 12 star
-
gobra-ide
VSCode Plugin for Gobra
TypeScript · 11 star
-
vs-verification-toolbox
Useful component to build VS Code extensions for verifiers.
TypeScript · 6 star
-
JavaScript · 4 star
-
gobra-action
Github Action to verify Go code with Gobra directly in a CI workflow
Shell · 2 star
-
gobra-libs
Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects.
Python · 2 star
-
tutorial
This repo contains the sources of the official Viper tutorial. Feel free to submit your fixes and additions via pull requests. Please rep...
JavaScript · 0 star
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 68/100
viperproject/silicon#1006 ·
-
soundness termination-checking
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
viperproject/gobra#1106 ·
-
soundness termination-checking
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
viperproject/gobra#1105 ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
viperproject/silicon#1004 ·
-
Carbon can prove false Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
viperproject/carbon#591 ·
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
viperproject/gobra#1097 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
viperproject/silver#928 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
viperproject/gobra#1093 ·
-
bug termination plugin
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
viperproject/silver#925 · 1 bình luận ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
viperproject/silicon#997 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
viperproject/gobra#1060 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
viperproject/gobra#1059 ·
-
Cannot prove non-nil after make Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
viperproject/gobra#1052 · 2 bình luận ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
viperproject/gobra#1051 ·
-
Anonymous methods Đang mởenhancement
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
viperproject/silver#922 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
viperproject/silicon#991 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
viperproject/silicon#990 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 52/100
viperproject/carbon#588 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
viperproject/silicon#989 · 1 bình luận ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
viperproject/silver#918 ·
-
encoding enhancement syntax
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
viperproject/gobra#1037 · 9 bình luận ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
viperproject/silver#913 ·
-
Invalid Triggers via Subslicing Đang mởbug encoding invalid triggers
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 42/100
viperproject/gobra#1030 · 1 bình luận ·
-
magic-wands
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
viperproject/silicon#974 ·
-
bug encoding incompleteness
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 48/100
viperproject/gobra#1027 · 6 bình luận ·
-
documentation
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
viperproject/gobra#1025 · 5 bình luận ·
-
Question on Injectivity Đang mở
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 52/100
viperproject/gobra-book#50 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 38/100
viperproject/carbon#584 ·
-
Carbon does not "frame" trigger-matching heap-dependent functions which depend on QPs (without help) Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
viperproject/carbon#583 · 1 bình luận ·
-
viperproject/viper-ide#566 · 1 reaction · 2 người được giao ·
-
SIF
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
viperproject/silver#907 · 1 bình luận ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Incomplete Slice Allocation Spec Đang mởencoding enhancement
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 52/100
viperproject/gobra#1007 ·
-
enhancement parsing
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
viperproject/gobra#1005 ·
-
feature-request
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 38/100
viperproject/gobra#999 ·
-
Invalid SMT Encoding Đang mởbug encoding
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
viperproject/gobra#997 ·
-
documentation SIF
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
viperproject/gobra#996 · 10 bình luận ·
-
SIF
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 32/100
viperproject/gobra#994 · 2 bình luận ·
-
SIF
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
viperproject/gobra#993 · 3 bình luận ·
-
SIF
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
viperproject/gobra#992 · 2 bình luận ·
-
enhancement
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
viperproject/silver#902 · 2 bình luận ·
-
`rel` Expressions in Triggers Đang mởbug SIF
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
viperproject/silver#901 · 1 bình luận ·
-
SIF
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
viperproject/gobra#987 · 1 bình luận ·
-
bug incompleteness quantified-permissions
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 38/100
viperproject/silicon#959 · 2 bình luận ·
-
Floating Point Literals Đang mởencoding enhancement
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
viperproject/gobra#980 · 1 bình luận ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 38/100
viperproject/silicon#957 · 2 bình luận ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
viperproject/gobra#978 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
viperproject/gobra#977 ·
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100
viperproject/viper-ide#533 ·
-
incompleteness
viperproject/silicon#951 · 1 người được giao ·
Đang hiển thị 100 mục mới nhất
Trang này chỉ liệt kê những gì được lập chỉ mục gần đây. Bộ lọc nâng cao có toàn bộ kho, thu hẹp theo ngôn ngữ, độ khó và thời lượng.