Refactoring to allow for new verification back ends - #1329

Merged

fpoli merged 8 commits into

viperproject:masterfrom

JakuJ:backend-minimal

Feb 27, 2023

Commits on Feb 27, 2023

Add Backend enum

JakuJ
authored and
fpoli
committed
04b1a8a
Use the new Backend enum in prusti-server

JakuJ
authored and
fpoli
committed
23eb9b8
Make clippy happy

JakuJ
authored and
fpoli
committed
5ea4b30
Initialize Viper lazily

JakuJ
authored and
fpoli
committed
0eb10cb
Update prusti-server/src/backend.rs

JakuJ
and
fpoli
committed
1f07d88
Address change request

JakuJ
authored and
fpoli
committed
d396abb
Clarify log message
fpoli
committed
681cf1c
Fix measurement of verification time
fpoli
committed
f373f15