Comments (3)
Just a quick note about get_named_cons
specifically: this function was used in the initial implementation but was eventually superseded by get_assigned_slot
— so it's fine to remove.
from lurk-rs.
Ok, I'll make a PR, and include whatever else I can find that looks orphaned.
from lurk-rs.
Here's a fresh count of functions in the codebase that are not in the store (due to #364 ), and reported unused by warnalyzer:
src/circuit/circuit_frame.rs:102:12: 'frame_count'
src/circuit/circuit_frame.rs:240:12: 'precedes'
src/circuit/gadgets/hashes.rs:48:19: 'is_dummy'
src/circuit/gadgets/pointer.rs:81:12: 'alloc_tag'
src/circuit/gadgets/pointer.rs:240:12: 'fetch_and_write_str'
src/circuit/gadgets/pointer.rs:357:12: 'construct_strcons'
src/circuit/gadgets/pointer.rs:617:12: 'alloc_equal'
src/circuit/gadgets/pointer.rs:644:12: 'get_cont'
src/circuit/gadgets/pointer.rs:659:12: 'fetch_and_write_cont_str'
src/circuit/gadgets/pointer.rs:805:12: 'from_parts'
src/eval/lang.rs:44:19: 'new'
src/eval/lang.rs:89:12: 'add_coprocessor'
src/eval/mod.rs:81:12: 'is_terminal'
src/eval/mod.rs:88:12: 'is_error'
src/eval/mod.rs:94:12: 'is_incomplete'
src/eval/mod.rs:101:12: 'to_cont'
src/eval/mod.rs:121:12: 'precedes'
src/eval/mod.rs:133:12: 'log'
src/eval/mod.rs:139:12: 'significant_frame_count'
src/eval/mod.rs:155:8: 'is_terminal'
src/eval/mod.rs:156:8: 'is_error'
src/eval/mod.rs:461:12: 'iter'
src/eval/reduction.rs:48:8: 'is_return'
src/field.rs:137:8: 'from_u16'
src/field.rs:141:8: 'from_char'
src/field.rs:168:8: 'from_expr_tag'
src/field.rs:172:8: 'to_expr_tag'
src/field.rs:178:8: 'from_cont_tag'
src/field.rs:183:8: 'to_cont_tag'
src/field.rs:188:8: 'from_op1'
src/field.rs:193:8: 'to_op1'
src/field.rs:198:8: 'from_op2'
src/field.rs:203:8: 'to_op2'
src/field.rs:209:8: 'get_field'
src/hash_witness.rs:228:12: 'length'
src/hash_witness.rs:238:8: 'assert_specific_invariants'
src/hash_witness.rs:321:12: 'stubs_used'
src/hash_witness.rs:332:12: 'total_stub'
src/num.rs:205:12: 'most_negative'
src/num.rs:210:12: 'most_positive'
src/num.rs:232:12: 'from_scalar'
src/package.rs:66:12: 'add_external_symbol'
src/package.rs:82:12: 'remove_external_symbol'
src/package.rs:86:12: 'remove_external_symbols'
src/package.rs:92:12: 'local_symbol'
src/proof/groth16.rs:103:12: 'create_groth_params'
src/proof/groth16.rs:132:12: 'outer_prove'
src/proof/groth16.rs:213:12: 'verify_groth16_proof'
src/proof/groth16.rs:225:12: 'verify'
src/proof/mod.rs:31:8: 'reduction_count'
src/proof/mod.rs:70:8: 'new'
src/proof/mod.rs:76:8: 'lang'
src/proof/mod.rs:88:8: 'expected_total_iterations'
src/proof/mod.rs:104:8: 'needs_multiframe_padding'
src/proof/mod.rs:109:8: 'outer_synthesize'
src/proof/nova.rs:151:12: 'evaluate_and_prove'
src/proof/nova.rs:303:12: 'compress'
src/proof/nova.rs:322:12: 'verify'
src/ptr.rs:38:12: 'new'
src/ptr.rs:46:12: 'is_null'
src/ptr.rs:97:18: 'is_atom'
src/ptr.rs:109:18: 'as_cons'
src/ptr.rs:117:18: 'as_list'
src/ptr.rs:141:12: 'null'
src/ptr.rs:176:12: 'new'
src/ptr.rs:183:18: 'is_error'
src/ptr.rs:195:12: 'opaque'
src/repl.rs:307:12: 'new'
src/sym.rs:187:12: 'is_keyword'
src/sym.rs:251:12: 'key_root'
src/sym.rs:295:12: 'keyword_name'
src/tag.rs:290:8: 'supports_arity'
src/tag.rs:291:8: 'all_symbol_names'
from lurk-rs.
Related Issues (20)
- expose minimal bit operations
- move sha256 coprocessor out of lurk crate HOT 1
- Avoid dangling symbols
- Optimize memory usage in `ZDag` functions
- Nightly run failed HOT 1
- chore: some installed deps are not needed
- Nightly run failed
- Migrate to `tonic_rpc`
- `call` and `chain` meta-commands should take one argument
- Coroutine support for `Op::Recv` and `Op::Emit`
- Move `lang` and `prove_from_frames` to the `Prover` trait
- [LUR-37] Supernova benchmarking gap HOT 1
- A better design for Z data
- Expand `chain` and `call` to use generic callables
- Chain server pt2
- chore: rust toolchain needs an upgrade
- Nightly run failed HOT 128
- error: inline assembly requires more registers than available HOT 2
- chore: rust toolchain needs an upgrade
- chore: some installed deps are not needed
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from lurk-rs.