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 |
|