Files

util

Jan 9, 2025

21f3ac5 · Jan 9, 2025

Name	Name	Last commit message	Last commit date
parent directory ..
.attributes	.attributes	Fixed git attributes for util/ directory so that lines end with just …	Jul 21, 2015
GRAB	GRAB	Bring up to date with Coq 8.17 and CompCert 8.12	Mar 8, 2023
GRABNEW	GRABNEW	/bin/bash -> /usr/bin/env bash	Mar 8, 2022
PACKAGE	PACKAGE	/bin/bash -> /usr/bin/env bash	Mar 8, 2022
RELEASE	RELEASE	Get 'make all' to work in VST 2.15, 32-bit mode (#806 )	Jan 9, 2025
calc_install_files	calc_install_files	Merge branch 'master' into env-bash	Mar 8, 2022
calibrate.ml	calibrate.ml	Forgot this file	Nov 30, 2017
check_assumptions.sh	check_assumptions.sh	Bring use of axioms in line with axiom-checker; clean up concurrency. (…	Jul 19, 2022
coqflags	coqflags	Do not rely on `Refine Instance Mode`	Jan 2, 2019
fix_clightgen.py	fix_clightgen.py	1. Improved the Makefile regarding the dependency on CompCert.	Jul 27, 2016
format-timings	format-timings	Minor modifications to the sha proofs.	Jan 5, 2016
get-travis-logs	get-travis-logs	/bin/bash -> /usr/bin/env bash	Mar 8, 2022
list-solver	list-solver	/bin/bash -> /usr/bin/env bash	Mar 8, 2022
make-touch	make-touch	Fix CI to avoid redoing "build" in "test" stage; update submodules (#588	Jun 20, 2022
make_version	make_version	Make `util/make_version` more POSIX-compliant	Aug 22, 2023
process-travis-logs.awk	process-travis-logs.awk	More tweaking get-travis-logs, add util/calibrate	Nov 30, 2017