1024 Commits

Author SHA1 Message Date
Sam Tay
c6c7762af0 Merge pull request #299 from Sunscreen-tech/debugger-merge
Debugger merge
2023-08-14 16:18:27 -04:00
Bryan Li
52ca7d2bcf fixed zkp exampple 2023-08-11 13:36:05 -07:00
Bryan Li
2dbd5e3ffa fixed style and linting 2023-08-11 13:21:59 -07:00
Bryan Li
4b56a178ab merged 2023-08-11 13:15:11 -07:00
Bryan Li
f5b62b4192 merge 1/2 2023-08-11 12:26:55 -07:00
Bryan Li
ec104be368 Merge pull request #292 from Sunscreen-tech/debugger-macros
grouping proc macro
2023-08-11 11:40:45 -07:00
Bryan Li
677d659840 cargo fmt 2023-08-11 11:24:47 -07:00
Bryan Li
257918e182 removed braces 2023-08-11 11:07:27 -07:00
Bryan Li
5b26510b6d fixed unused import 2023-08-11 11:04:00 -07:00
Bryan Li
2444d609f8 reverted examples 2023-08-11 10:55:54 -07:00
Bryan Li
4464ab715c tidied up frontend 2023-08-11 10:47:35 -07:00
Matthew Liu
0ddc86773b fmt 2023-08-11 02:05:19 -07:00
Matthew Liu
cf03afb310 wait for debugger 2023-08-11 02:04:35 -07:00
Matthew Liu
a96f36b6f1 update proc macro to include formatted function signature 2023-08-11 01:32:54 -07:00
Matthew Liu
fc4404a54d pull bryan's changes
Merge branch 'debugger-macros' of https://github.com/Sunscreen-tech/Sunscreen into debugger-macros
2023-08-11 00:54:57 -07:00
Matthew Liu
c6507e5067 remove infinite loop from sudoku zkp example 2023-08-11 00:40:37 -07:00
Matthew Liu
d64da6b10a remove debugger feature from sudoku zkp 2023-08-11 00:39:53 -07:00
Matthew Liu
970cb3d902 remove debugger feature from launch configuration 2023-08-11 00:39:05 -07:00
Bryan Li
78dc92e7c1 added display of code for groups 2023-08-10 17:33:45 -07:00
Matthew Liu
db90b5f0cf resolve merge conflict
Merge branch 'debugger-macros' of https://github.com/Sunscreen-tech/Sunscreen into debugger-macros
2023-08-10 16:46:27 -07:00
Matthew Liu
563684e12f fmt 2023-08-10 16:46:01 -07:00
mliu24
9516730795 Merge branch 'debugger' into debugger-macros 2023-08-10 16:44:07 -07:00
Matthew Liu
dd21cd7d7a clippy 2023-08-10 12:14:12 -07:00
Matthew Liu
9b457db68b fmt 2023-08-10 12:12:44 -07:00
Matthew Liu
058be13dcc remove source code from bfv session 2023-08-10 12:12:37 -07:00
Matthew Liu
687afe883d fmt 2023-08-10 12:07:44 -07:00
Matthew Liu
f26e7f4334 modify endpoints to no longer need a .source() method in debug_program, instead is retrieved during api call 2023-08-10 12:07:38 -07:00
Bryan Li
f56bd95840 Merge pull request #298 from Sunscreen-tech/bryan/add-frontend
Fixed overflow function and added tests
2023-08-10 11:53:30 -07:00
Ryan Orendorff
c0ef426ca0 Export components used in BFV, prove BFV is valid in SDLP (#285) 2023-08-10 12:13:29 -06:00
Bryan Li
df73a0e7c8 added doctests 2023-08-10 10:28:54 -07:00
Bryan Li
1d44165c12 removed print statements 2023-08-10 09:53:42 -07:00
Bryan Li
682a1bd653 added ability to step out of group 2023-08-10 09:51:33 -07:00
Ryan Orendorff
9af787075a Add restore-keys to github actions (#297) 2023-08-10 10:17:37 -06:00
Matthew Liu
a1315d4a34 fmt 2023-08-09 14:47:29 -07:00
mliu24
6d02670f94 Merge branch 'debugger' into bryan/add-frontend 2023-08-09 14:27:54 -07:00
Matthew Liu
174f403c64 format 2023-08-09 11:26:09 -07:00
Matthew Liu
65828df0a2 pull bryan's changes
Merge branch 'debugger-macros' of https://github.com/Sunscreen-tech/Sunscreen into debugger-macros
2023-08-09 11:08:08 -07:00
Matthew Liu
905ea1b203 more clippy 2023-08-09 11:07:37 -07:00
Bryan Li
01159e51ed rolled back some mistaken renaming 2023-08-09 10:57:07 -07:00
Bryan Li
5e44cc12f7 misc fixes 2023-08-09 10:34:38 -07:00
Matthew Liu
b7cc418d24 clippy 2023-08-07 17:49:49 -07:00
Matthew Liu
2e111d73c4 fixed weird ambiguious name issue 2023-08-07 17:48:49 -07:00
Matthew Liu
413bf008db dependency updates and inserted a group in relinearization test 2023-08-07 17:21:30 -07:00
Matthew Liu
f86955ed8e remove dead code + collapse some logic 2023-08-07 11:38:51 -07:00
Bryan Li
b5b8744900 fixed linting 2023-08-07 09:42:00 -07:00
Bryan Li
6cf6c88f6f added grouping functionality 2023-08-07 09:38:34 -07:00
rickwebiii
480453fe13 Update dependencies (#296)
Update dependencies
2023-08-04 22:44:23 -07:00
rickwebiii
641bf96bd4 Rweber/deps (#295)
Move all deps to [workspace.dependencies]
2023-08-04 17:23:06 -07:00
rickwebiii
7049199a29 Rweber/zq (#293)
Add Barret reduction for Ring type
2023-08-04 14:36:32 -07:00
Matthew Liu
b53e7931fc children of method 2023-08-04 13:47:01 -07:00