Find file in wolffe-lang/wolf-interp@trunk
- .gitattributes
- .github/workflows/ci.yml
- .gitignore
- .gitmodules
- CHANGELOG.md
- CONTRIBUTING.md
- Cargo.lock
- Cargo.toml
- LICENSE
- README.md
- assets/wolf-logo.svg
- build.rs
- docs/README.md
- docs/approximation-contract.md
- docs/conformance-bundle.md
- docs/divergence-log.md
- docs/manual/00-building.md
- docs/manual/01-running-programs.md
- docs/manual/02-repl.md
- docs/manual/03-phases.md
- docs/manual/04-differential.md
- docs/manual/05-troubleshooting.md
- docs/manual/README.md
- docs/repl.md
- examples/moved.lu
- examples/overflow.lu
- examples/squares.lu
- rust-toolchain.toml
- src/anchor.rs
- src/ast.rs
- src/compare.rs
- src/corpus.rs
- src/diag.rs
- src/differ.rs
- src/directive.rs
- src/eval/builtin.rs
- src/eval/conc.rs
- src/eval/mod.rs
- src/eval/place.rs
- src/eval/prov.rs
- src/eval/region.rs
- src/eval/repl.rs
- src/eval/rules.rs
- src/eval/sched.rs
- src/eval/tests.rs
- src/eval/value.rs
- src/explore.rs
- src/export.rs
- src/fmtspec.rs
- src/frontend.rs
- src/fuzz.rs
- src/ledger.rs
- src/lex.rs
- src/lib.rs
- src/lint.rs
- src/main.rs
- src/parse.rs
- src/phase.rs
- src/protocol.rs
- src/schema.rs
- src/sema.rs
- src/sha256.rs
- src/trap.rs
- tests/cast_matrix.rs
- tests/cli.rs
- tests/conc_machine.rs
- tests/conformance.rs
- tests/corpus_harness.rs
- tests/differ_cli.rs
- tests/divergence.rs
- tests/doc_truth.rs
- tests/explore_corpus.rs
- tests/explore_machine.rs
- tests/export.rs
- tests/fault_snapshots.rs
- tests/faults/README.md
- tests/faults/handle_stale_reuse.lu
- tests/faults/handle_uninit.lu
- tests/faults/ok/handle_reserve_init_ok.lu
- tests/faults/ok/region_edge_intra_ok.lu
- tests/faults/ok/region_freeze_method_read_ok.lu
- tests/faults/ok/region_freeze_read_ok.lu
- tests/faults/ok/region_freeze_rebind_ok.lu
- tests/faults/ok/region_reopen_ok.lu
- tests/faults/ok/region_transfer_closed_ok.lu
- tests/faults/ok/shared_weak_dead_ok.lu
- tests/faults/region_edge_cross.lu
- tests/faults/region_freeze_value_write.lu
- tests/faults/region_freeze_write.lu
- tests/faults/region_move_open.lu
- tests/faults/region_multiopen_nested.lu
- tests/faults/region_suspended_write.lu
- tests/faults/region_uaf.lu
- tests/frontend_snapshots.rs
- tests/fuzz_smoke.rs
- tests/iter_str_assert.rs
- tests/lex_corpus.rs
- tests/mode_read_iteration.rs
- tests/protocol_fixtures.rs
- tests/prov_machine.rs
- tests/region_machine.rs
- tests/repl/basics.transcript
- tests/repl/chan_pingpong.transcript
- tests/repl/deadlock_when.transcript
- tests/repl/handle_stale.transcript
- tests/repl/load_corpus.transcript
- tests/repl/moves.transcript
- tests/repl/redefinition.transcript
- tests/repl/region_lifecycle.transcript
- tests/repl/region_transfer.transcript
- tests/repl/rules_help.transcript
- tests/repl/shared_counts.transcript
- tests/repl/trace_prov.transcript
- tests/repl_session.rs
- tests/rows_option.rs
- tests/rule_registry.rs
- tests/run_corpus.rs
- tests/snapshot_exemplar.rs
- tests/snapshots/assert_fails.snap
- tests/snapshots/bounds_slice.snap
- tests/snapshots/conc_machine__cancel_sibling_schedule_seed0.snap
- tests/snapshots/div_zero_rem.snap
- tests/snapshots/exclusivity_nested_path.snap
- tests/snapshots/frontend_snapshots__corpus_tokens_hello.snap
- tests/snapshots/frontend_snapshots__corpus_tokens_interp_fmtcolon.snap
- tests/snapshots/frontend_snapshots__corpus_tokens_interp_nested.snap
- tests/snapshots/frontend_snapshots__corpus_tokens_wordcount_multiline.snap
- tests/snapshots/frontend_snapshots__corpus_trace_brackets_are_one_shape.snap
- tests/snapshots/frontend_snapshots__corpus_trace_closure_extent.snap
- tests/snapshots/frontend_snapshots__corpus_trace_else_chain.snap
- tests/snapshots/frontend_snapshots__every_string_mode_decomposes.snap
- tests/snapshots/frontend_snapshots__the_terminator_fixture_also_parses.snap
- tests/snapshots/frontend_snapshots__the_terminator_rules_insert_exactly_where_the_spec_says.snap
- tests/snapshots/handle_stale_reuse.snap
- tests/snapshots/handle_uninit.snap
- tests/snapshots/l1_uninitialized.snap
- tests/snapshots/l2_dangling.snap
- tests/snapshots/overflow_add.snap
- tests/snapshots/overflow_call_result.snap
- tests/snapshots/overflow_elem_read.snap
- tests/snapshots/overflow_elem_write.snap
- tests/snapshots/overflow_field_read.snap
- tests/snapshots/overflow_interp_operand.snap
- tests/snapshots/p2_frozen_write.snap
- tests/snapshots/p3_out_of_bounds.snap
- tests/snapshots/p4_region_freed.snap
- tests/snapshots/p5_false_noalias.snap
- tests/snapshots/p6_false_door.snap
- tests/snapshots/region_edge_cross.snap
- tests/snapshots/region_freeze_value_write.snap
- tests/snapshots/region_freeze_write.snap
- tests/snapshots/region_move_open.snap
- tests/snapshots/region_multiopen_nested.snap
- tests/snapshots/region_suspended_write.snap
- tests/snapshots/region_uaf.snap
- tests/snapshots/repeat_negative.snap
- tests/snapshots/snapshot_exemplar__directive_header_rendering.snap
- tests/snapshots/unsafe_ub_uaf.snap
- tests/snapshots/use_after_move_field.snap
- tests/spec_extract.rs
- tests/std_root.rs
- tests/ub/README.md
- tests/ub/l1_uninitialized.lu
- tests/ub/l2_dangling.lu
- tests/ub/ok/l1_initialized_ok.lu
- tests/ub/ok/l2_exposed_ok.lu
- tests/ub/ok/p1_read_before_free_ok.lu
- tests/ub/ok/p2_frozen_read_ok.lu
- tests/ub/ok/p3_in_bounds_ok.lu
- tests/ub/ok/p4_region_live_ok.lu
- tests/ub/ok/p5_true_noalias_ok.lu
- tests/ub/ok/p6_true_door_ok.lu
- tests/ub/p2_frozen_write.lu
- tests/ub/p3_out_of_bounds.lu
- tests/ub/p4_region_freed.lu
- tests/ub/p5_false_noalias.lu
- tests/ub/p6_false_door.lu
- tests/ub_coverage.rs
- tests/witness/imm_forever.lu
- tests/witness/mut_noalias.lu
- tests/witness/read_frozen.lu
- tests/witness/region_disjointness.lu
- tests/witness/suspended_invariant.lu
- upstream
- vendor/README.md
- vendor/upstream/PIN
- vendor/upstream/corpus/README.md
- vendor/upstream/corpus/comptime.lu
- vendor/upstream/corpus/comptime/assert_static.lu
- vendor/upstream/corpus/comptime/budget_zero.lu
- vendor/upstream/corpus/comptime/depth_spiral.lu
- vendor/upstream/corpus/comptime/derive_eq.lu
- vendor/upstream/corpus/comptime/fold_reaches_lane.lu
- vendor/upstream/corpus/comptime/fuel_loop.lu
- vendor/upstream/corpus/comptime/heap_flood.lu
- vendor/upstream/corpus/comptime/norm_linear.lu
- vendor/upstream/corpus/comptime/norm_witness.lu
- vendor/upstream/corpus/comptime/overflow_i32.lu
- vendor/upstream/corpus/comptime/reflect_fields.lu
- vendor/upstream/corpus/comptime/runtime_arg.lu
