Coder Social home page Coder Social logo

Comments (3)

porcuquine avatar porcuquine commented on August 28, 2024

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.

weissjeffm avatar weissjeffm commented on August 28, 2024

Ok, I'll make a PR, and include whatever else I can find that looks orphaned.

from lurk-rs.

huitseeker avatar huitseeker commented on August 28, 2024

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)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo 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.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.