#!/bin/bash
git clone https://github.com/us-irs/libcsp.git
cd libcsp
git checkout const-correctness