issues
search
quantstamp
/
halo2-analyzer
SMT 2023 Submission; license pending
52
stars
10
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
How to test any .rs file
#63
Subway2023
opened
4 weeks ago
0
run problem
#62
Subway2023
closed
4 weeks ago
1
docker help
#61
Subway2023
closed
1 month ago
0
ZKR-5750-Fix-NodeType-Handling-and-Circular-Dependencies
#60
FatemehHeidari
closed
1 month ago
0
ZKR-5610-Remove-Test-Thread-Limit
#59
FatemehHeidari
closed
1 month ago
0
ZKR-5576-Fix-Polynomial-Lookups
#58
FatemehHeidari
closed
1 month ago
0
ZKR-4661-Distinct-Zero-Polynomials
#57
FatemehHeidari
closed
2 months ago
0
ZKR-4188-Fixed-Permutations-SMT-Solver
#56
FatemehHeidari
closed
3 months ago
0
ZKR-4076-Copy-Constraints-for-Abstract-Interpretation
#55
FatemehHeidari
closed
4 months ago
0
Fix-No-Selector-Test
#54
FatemehHeidari
closed
5 months ago
0
ZKR-2582-PSE-Ciruit-Test-Fix
#53
FatemehHeidari
closed
5 months ago
0
ZKR-2582-PSE-Ciruit-Test
#52
FatemehHeidari
closed
5 months ago
0
ZKR-3820-Benchmark-Updates
#51
FatemehHeidari
closed
5 months ago
0
ZKR-3672-Benchmark
#50
FatemehHeidari
closed
6 months ago
0
fix: allow empty selector
#49
sorawee
closed
5 months ago
0
ZKR-3654-Refactor-Benchmarks
#48
FatemehHeidari
closed
6 months ago
0
ZKR-3594-Analysis-Options-Config
#47
FatemehHeidari
closed
6 months ago
0
ZKR-3655-Fix-Nightly-Toolchain-and-Doc
#46
FatemehHeidari
closed
6 months ago
1
ZKR-3525-Abstract-interpretation-BigInt-Fixed
#45
FatemehHeidari
closed
6 months ago
0
ZKR-3523-Remove-Repeated-Lookup-Rows
#44
FatemehHeidari
closed
6 months ago
0
ZKR-3524-Preprocessing-Multiplications-by-One
#43
FatemehHeidari
closed
6 months ago
0
fix: use BigInt for fixed columns
#42
sorawee
closed
6 months ago
1
ZKR-3417-match equivalent lookup functions
#41
FatemehHeidari
closed
7 months ago
0
ZKR-3331-Invalid-Expressions-Error-Handling
#40
FatemehHeidari
closed
7 months ago
0
ZKR-3207-Disabled-Selector-Optimization
#39
FatemehHeidari
closed
7 months ago
0
ZKR-3379-Lookup-Range-Check
#38
FatemehHeidari
closed
7 months ago
0
Build failures
#37
sorawee
opened
7 months ago
0
ZKR-2589-Lookups-Unterpreted-Functions
#36
FatemehHeidari
closed
7 months ago
0
ZKR-3050-Clean-Up
#35
FatemehHeidari
closed
8 months ago
0
ZKR-2588-Scroll-Support
#34
FatemehHeidari
closed
9 months ago
0
ZKR-3049-Permutation-Optimization
#33
FatemehHeidari
closed
9 months ago
0
ZKR-2588-Axiom-Support
#32
FatemehHeidari
closed
9 months ago
0
ZKR-2968-Clean-Up-Feature-Flags
#31
FatemehHeidari
closed
9 months ago
0
ZKR-2968-Clean-Up-Test-Feature-Flags
#30
FatemehHeidari
closed
9 months ago
0
ZKR-2890-Refactor-Analyzer-From-Assignment
#29
FatemehHeidari
closed
9 months ago
0
Update to latest Halo2-PSE && halo2curves versions
#28
CPerezz
opened
1 year ago
3
ZKR-1016-Code-Clean-Up
#27
FatemehHeidari
closed
1 year ago
0
ZKR-1016-Code-Clean-up-and-fix-minor-bugs
#26
FatemehHeidari
closed
1 year ago
0
ZKR-1016-code-clean-up
#25
FatemehHeidari
closed
1 year ago
0
ZKR-1237-Extract-the-modulus-from-F
#24
FatemehHeidari
closed
1 year ago
0
ZKR-1371-Update-Abstract-Interpretation-Code
#23
FatemehHeidari
closed
1 year ago
0
ZKR-1240-update-TODO-Comment-For-PSE
#22
FatemehHeidari
closed
1 year ago
0
ZKR-1016-Code-clean-up
#21
FatemehHeidari
closed
1 year ago
0
ZKR-1332-Create a workspace and Separate benchmark
#20
FatemehHeidari
closed
1 year ago
0
ZKR-1240-A test added for a circuit imported from PSE
#19
FatemehHeidari
closed
1 year ago
0
ZKR-1240-Delete local halo2
#18
FatemehHeidari
closed
1 year ago
0
ZKR-1240-Update-Analyzer-To-Match-the-v2022_08_19-tag-of-Halo2
#17
FatemehHeidari
closed
1 year ago
0
ZKR-1324-adding CVC5 installation guideline to readme
#16
FatemehHeidari
closed
1 year ago
0
ZKR-1323-Fixed a bug related to Negated
#15
FatemehHeidari
closed
1 year ago
0
ZKR-1317-Added regex to parse the output of the smt solver
#14
FatemehHeidari
closed
1 year ago
0
Next