Unreachable code detection#1385

Open

simon-hrabec wants to merge 42 commits into

viperproject:masterfrom

simon-hrabec:feature/unreachable-code-detection

Commits on Feb 6, 2023

Add prusti_refute! macro
Simon Hrabec
committed

Commits on Feb 15, 2023

Merge branch 'master' of github.com:simon-hrabec/prusti-dev into feature/refute_macro
Simon Hrabec
committed

Commits on Feb 21, 2023

Add macro to generate getters/setters for fields via JNI
Simon Hrabec
committed
Resolve fmt-check and clippy errors, simplify naming, small refactoring
Simon Hrabec
committed
Merge branch 'master' of github.com:viperproject/prusti-dev into feature/jni-field-getter-setter
Simon Hrabec
committed

Commits on Feb 26, 2023

Add test for field! macro
Simon Hrabec
committed
Update field! macro to not ask for signature (WIP)
Simon Hrabec
committed

Commits on Feb 27, 2023

Commits on Mar 6, 2023

current code, just a snapshot of my working dir
simon-hrabec
committed

Commits on Mar 13, 2023

Commits on Mar 17, 2023

add frotend support also for carbon
simon-hrabec
committed

Commits on Mar 19, 2023

add assert.failed:assertion.false-PanicCause::Refute entry to the error manager
simon-hrabec
committed

Commits on Mar 20, 2023

Commits on Mar 21, 2023

Commits on Mar 27, 2023

trying to figure out positions for added refutes
simon-hrabec
committed

Commits on Mar 28, 2023

use terminator span
simon-hrabec
committed

Commits on Mar 29, 2023

Commits on Apr 3, 2023

Commits on Apr 4, 2023

Commits on Apr 5, 2023

make position manager return positions with unique line/column
simon-hrabec
committed

Commits on Apr 6, 2023

rely on the change in position manager for unique line/column numbers in positions
simon-hrabec
committed