From f6f4903e483a62abd227663e11c5f316c4ae3ea5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=81ron=20Ricardo=20Perez-Lopez?= Date: Fri, 5 Jul 2024 14:55:59 +0200 Subject: [PATCH] Update Github links --- README.md | 4 ++-- contrib/setup-smt-switch.sh | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 746f0b88..b679b894 100644 --- a/README.md +++ b/README.md @@ -1,7 +1,7 @@ [![CI](https://github.com/upscale-project/pono/actions/workflows/ci.yml/badge.svg)](https://github.com/upscale-project/pono/actions/workflows/ci.yml) # Pono: A Flexible and Extensible SMT-Based Model Checker -Pono is a performant, adaptable, and extensible SMT-based model checker implemented in C++. It leverages [Smt-Switch](https://github.com/makaimann/smt-switch), a generic C++ API for SMT solving. Pono was developed as the next +Pono is a performant, adaptable, and extensible SMT-based model checker implemented in C++. It leverages [Smt-Switch](https://github.com/stanford-centaur/smt-switch), a generic C++ API for SMT solving. Pono was developed as the next generation of [CoSA](https://github.com/cristian-mattarei/CoSA) and thus was originally named _cosa2_. [Pono](http://wehewehe.org/gsdl2.85/cgi-bin/hdict?e=q-11000-00---off-0hdict--00-1----0-10-0---0---0direct-10-ED--4--textpukuielbert%2ctextmamaka-----0-1l--11-en-Zz-1---Zz-1-home-pono--00-3-1-00-0--4----0-0-11-10-0utfZz-8-00&a=d&d=D18537) is the Hawaiian word for proper, correct, or goodness. It is often used colloquially in the moral sense of "goodness" or "rightness," but also refers to "proper procedure" or "correctness." We use the word for multiple meanings. Our goal is that Pono can be a useful tool for people to verify the _correctness_ of systems, which is surely the _right_ thing to do. @@ -72,7 +72,7 @@ There are two Transition System interfaces: ### Smt-Switch [Smt-switch](https://github.com/stanford-centaur/smt-switch) is a C++ solver-agnostic API for SMT solvers. The main thing to remember is that everything is a pointer. Objects might be "typedef-ed" with `using` statements, but they're still `shared_ptr`s. Thus, when using a solver or a term, you need to use `->` accesses. -For more information, see the example usage in the [smt-switch tests](https://github.com/makaimann/smt-switch/tree/master/tests/btor). +For more information, see the example usage in the [smt-switch tests](https://github.com/stanford-centaur/smt-switch/tree/master/tests/btor). Other useful files to visit include: * `smt-switch/include/solver.h`: this is the main interface you will be using * `smt-switch/include/ops.h`: this contains all the ops you might need diff --git a/contrib/setup-smt-switch.sh b/contrib/setup-smt-switch.sh index ee38fe77..12c6fbb8 100755 --- a/contrib/setup-smt-switch.sh +++ b/contrib/setup-smt-switch.sh @@ -60,7 +60,7 @@ mkdir -p $DEPS if [ ! -d "$DEPS/smt-switch" ]; then cd $DEPS - git clone https://github.com/makaimann/smt-switch + git clone https://github.com/stanford-centaur/smt-switch cd smt-switch git checkout -f $SMT_SWITCH_VERSION ./contrib/setup-btor.sh @@ -84,6 +84,6 @@ if [ 0 -lt $(ls $DEPS/smt-switch/local/lib/libsmt-switch* 2>/dev/null | wc -w) ] else echo "Building smt-switch failed." echo "You might be missing some dependencies." - echo "Please see the github page for installation instructions: https://github.com/makaimann/smt-switch" + echo "Please see the github page for installation instructions: https://github.com/stanford-centaur/smt-switch" exit 1 fi