12 Commits

Author	SHA1	Message	Date
Pranav Gaddamadugu	dc98e94d7f	errcov collects all error codes for errors generated by create_errors! macro	2021-09-15 15:23:26 -07:00
Pranav Gaddamadugu	02170e4201	Created errcov binary, lists error codes found in tests/exepectations	2021-09-15 15:23:26 -07:00
gluaxspeed	1576f776f3	resolve master conflicts	2021-08-24 03:00:08 -07:00
damirka	cb5a5eb0f4	Adds structopt	2021-08-09 21:55:03 -07:00
damirka	d329829908	remove gitignore	2021-08-09 21:55:03 -07:00
damirka	3278474899	adds bin target	2021-08-09 21:55:03 -07:00
damirka	595ae607f9	draft CI for acl2 -- without binaries	2021-08-09 21:51:54 -07:00
howardwu	c37d7bcd39	chore(leo): bump version for new release	2021-07-29 18:59:08 -07:00
howardwu	750c48ed3b	chore(leo): bump version for new release	2021-06-21 14:28:28 -07:00
howardwu	6f5c02ae6d	chore(leo): bump version for new release	2021-06-08 22:51:25 -07:00
howardwu	eaadb29448	chore(leo): bump version for new release	2021-05-31 19:53:31 -07:00
Protryon	d933a49eb0	extract test framework	2021-04-19 06:46:22 -07:00