ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-09-11 05:45:30 +03:00
Code Issues Packages Projects Releases Wiki Activity
6,228 Commits 44 Branches 42 Tags 359 MiB
all-contributors/add-Clasik32
Commit Graph

200 Commits

Author SHA1 Message Date
Pranav Gaddamadugu
da7fcdcf04 Reorder templates 2023-10-07 11:22:38 -04:00
Frank Chen
e80b5b6c20 add simplified template for leo badge 2023-10-02 15:14:15 -07:00
Collin Chin
3c3543f6c6
Update release.yml 
Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>
 2023-09-26 13:11:05 -07:00
Collin Chin
ac0e474f29
Update release.yml (#2602) 
Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>
 2023-09-21 15:12:51 -07:00
collin
4a07b20df5 replace failing xcode-select installer for macos ci 2023-09-05 16:20:23 -07:00
Collin Chin
013809c076
implement leo example command for lottery, tictactoe, token (#2514) 
* implement leo example command for lottery, tictactoe, token

* remove unused cli arg

* update github actions

* update github actions
 2023-08-08 09:42:30 -07:00
Collin Chin
fd162a403b
remove brew update command from ci (#2445) 2023-07-05 15:45:06 -07:00
Collin Chin
8575c34ac5
add github action for testnet3 branch (#2228) 2023-01-03 18:18:18 -08:00
Collin Chin
ba5c4cfa41
Update Codecov to v3 (#2224) 
* test 0 change to code coverage

* clippy: remove useless .into_iter()

* update codecov action v3

* remove unused codecov token

* remove space
 2023-01-03 15:34:31 -08:00
sptg
c67742e560
Build Linux musl is required for leo web playground. (#2183) 2022-11-30 11:13:35 -08:00
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