Commit Graph

190 Commits

Author SHA1 Message Date
collin
1e5142a8a2 prepare for testnet3 as repo branch 2022-07-18 18:28:23 -07:00
Eric McCarthy
2d365c49b5 tgc parsing for testnet3 2022-05-23 01:22:23 -07:00
collin
175e534731 Remove cd dir 2022-03-14 13:34:01 -07:00
collin
aceee46534 Replace broken scoop windows ci 2022-03-14 13:14:19 -07:00
collin
9799520f43 delete unused wasm ci 2022-02-22 15:13:50 -08:00
collin
cff31eeece update dependabot branch target and dependencies 2022-02-17 14:21:39 -08:00
collin
8241d670a5 set dependabot target branch to testnet2 2022-02-16 10:12:43 -08:00
collin
9cd774d38f comment out unused wasm ci 2022-02-07 17:16:52 -05:00
collin
31f90a9032 deprecate blake2s 2022-01-25 13:31:02 -08:00
collin
a5368fb12a comment out wasm ci 2022-01-24 16:15:17 -08:00
gluax
64075cfd31 fix spelling mistake, re-add codecov 2022-01-21 13:13:15 -08:00
gluax
a367bfebe3 forgot we needed to update the ci's as well. 2022-01-21 12:15:10 -08:00
damirka
bce957e8f6 updates dependabot on master 2021-12-08 20:38:17 +03:00
damirka
85059a682d Merge branch 'master' into leo-wasm 2021-09-25 12:14:46 +03:00
damirka
0aa6eabb0c adds README, extends error object 2021-09-25 12:13:59 +03:00
damirka
aadd998665 fix matrix, remove sscache 2021-09-23 19:27:09 +03:00
damirka
e33b41ea1c install wasm-pack with cargo 2021-09-23 19:24:43 +03:00
damirka
dbf40f9d23 add Rust to CI 2021-09-23 19:14:38 +03:00
damirka
6ffd8a5e49 fix name of the CI 2021-09-23 19:06:27 +03:00
damirka
5d7fea6215 adds a CI 2021-09-23 18:59:36 +03: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
gluaxspeed
a4652829df update conflicting tests 2021-08-27 04:50:42 -07: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
gluaxspeed
1576f776f3 resolve master conflicts 2021-08-24 03:00:08 -07: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
gluaxspeed
3f3d84dcdd accidentally copied half a block in ci.yml 2021-08-19 06:09:19 -07:00
gluaxspeed
e90228b295 type aliases 2021-08-19 06:04:44 -07: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
a8cf416a77 Merge branch 'master' into feature-tgc-ci 2021-08-19 10:58:22 +03:00
damirka
2c7a2b804d adds type inference stage 2021-08-19 10:46:28 +03:00
gluaxspeed
0feccf6353 m1 test was infinitely looping 2021-08-18 15:37:42 -07: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