33 Commits

Author	SHA1	Message	Date
Eric McCarthy	2d365c49b5	tgc parsing for testnet3	2022-05-23 01:22:23 -07:00
Eric McCarthy	7f1277940b	[tgc CI] make log more readable; allow tgc type inference to run even if there is a tgc canonicalization failure	2021-09-16 12:35:22 -07:00
Damir S	0bc843f8f6	Update acl2.yml	2021-08-31 20:41:04 +03:00
damirka	ab01d45bfc	enable ti	2021-08-31 20:29:50 +03:00
damirka	3a60404038	remove output	2021-08-31 20:23:40 +03:00
damirka	2c66f5589b	workflow dispatch	2021-08-31 20:23:11 +03:00
damirka	9579a430d7	attach theorem.lisp file	2021-08-24 22:34:00 +03:00
damirka	e0c2f6470f	Revert "try acl2 version v0.1.1" ... This reverts commit 31786a9180.	2021-08-24 22:09:32 +03:00
damirka	31786a9180	try acl2 version v0.1.1	2021-08-24 21:57:50 +03:00
damirka	63ac4b79a3	update implementation, follow recent changes in imports	2021-08-21 21:04:58 +03:00
damirka	05d04e2a43	disable type inference checks	2021-08-21 20:56:08 +03:00
damirka	5453225b5d	fix bash variables	2021-08-19 20:28:43 +03:00
damirka	529c06623b	fix logging, print list of failures first	2021-08-19 20:21:59 +03:00
damirka	cddc0d62b1	skip access_all test	2021-08-19 20:10:15 +03:00
damirka	060513bffa	cleanup and remove panic	2021-08-19 13:28:22 +03:00
damirka	35f56cd648	more intelligent system for printing out failures	2021-08-19 11:14:13 +03:00
damirka	2c7a2b804d	adds type inference stage	2021-08-19 10:46:28 +03:00
damirka	52b2a4a3cb	final cleanup	2021-08-18 17:51:50 +03:00
damirka	bc6ad13930	adds exit code and error printing	2021-08-18 14:53:18 +03:00
damirka	a511638021	try to run it all together	2021-08-17 13:27:23 +03:00
damirka	2ec1065c18	fix pipes, make oneliner	2021-08-17 13:16:05 +03:00
damirka	5a1bf7e26e	adds mkdir tmp	2021-08-17 13:15:00 +03:00
damirka	a1cc026c58	use curl to fetch	2021-08-17 13:14:00 +03:00
damirka	7e8da8cc80	add echo outputs	2021-08-17 13:10:02 +03:00
damirka	775109f40c	yet another change of version	2021-08-17 13:07:23 +03:00
damirka	b1cf6024d7	add v2 to action	2021-08-17 13:06:07 +03:00
damirka	e05cca47ff	remove version from fetch-latest-release	2021-08-17 13:04:38 +03:00
damirka	56ce8558df	change action to a different one	2021-08-17 13:03:10 +03:00
damirka	031cc98077	test release fetcher	2021-08-17 10:44:44 +03:00
damirka	97645eb443	remove comments, update circleci to rust 1.54	2021-08-09 21:57:15 -07:00
damirka	98ee5af387	collect failures	2021-08-09 21:55:03 -07:00
damirka	64e3432985	change to stable toolchain	2021-08-09 21:55:03 -07:00
damirka	595ae607f9	draft CI for acl2 -- without binaries	2021-08-09 21:51:54 -07:00