Jens Petersen 2600e2dd52 add cvc5 for liquid-fixpoint tests (#7819)		2025-08-16 17:44:00 +08:00
..
01-build-server.sh	update 'stack' 3.5.1 -> 3.7.1	2025-06-29 12:07:44 -04:00
02-apt-get-install.sh	add cvc5 for liquid-fixpoint tests (#7819)	2025-08-16 17:44:00 +08:00
03-custom-install.sh	docker image: switch to ubuntu's erlang (kofigumbs/codec-beam#49)	2025-08-16 16:14:23 +08:00
04-cleanup.sh	Upgrade docker image to ubuntu 20.04	2022-06-06 20:03:34 +02:00