move paper-examples folder

3cec02c3 · Lennard Gäher · eb3e96de · 3cec02c3 · 3cec02c3 · 3cec02c3
Unverified Commit 3cec02c3 authored 1 year ago by Lennard Gäher
--- a/Makefile
+++ b/Makefile
@@ -2,7 +2,7 @@ COQ_PATH =	_build/lib/coq/user-contrib
 RUST_TARGET = $(shell rustc -vV | sed -n 's|host: ||p')
 RUST_PATH =	target/$(RUST_TARGET)/release

-CASE_STUDIES = case_studies/paper-examples case_studies/tests case_studies/minivec
+CASE_STUDIES = case_studies/paper_examples case_studies/tests case_studies/minivec

 ### Project setup
 setup-nix:

--- a/case_studies/paper-examples/Cargo.toml
+++ b/case_studies/paper-examples/Cargo.toml
--- a/case_studies/paper-examples/RefinedRust.toml
+++ b/case_studies/paper-examples/RefinedRust.toml
--- a/case_studies/paper-examples/dune
+++ b/case_studies/paper-examples/dune
--- a/case_studies/paper-examples/src/main.rs
+++ b/case_studies/paper-examples/src/main.rs