├── .github ├── FUNDING.yml └── workflows │ └── rust.yml ├── .gitignore ├── .gitmodules ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── README.md ├── RocqOfRust ├── .gitignore ├── M.v ├── Makefile ├── RecordUpdate.v ├── RocqOfRust.v ├── _CoqProject ├── _RocqProject ├── __init__.py ├── alloc │ ├── alloc.rs │ ├── alloc.v │ ├── alloc │ │ └── tests.rs │ ├── borrow.rs │ ├── borrow.v │ ├── boxed.rs │ ├── boxed.v │ ├── boxed │ │ ├── convert.rs │ │ ├── convert.v │ │ ├── iter.rs │ │ ├── iter.v │ │ ├── thin.rs │ │ └── thin.v │ ├── collections │ │ ├── binary_heap │ │ │ ├── mod.rs │ │ │ ├── mod.v │ │ │ └── tests.rs │ │ ├── btree │ │ │ ├── append.rs │ │ │ ├── append.v │ │ │ ├── borrow.rs │ │ │ ├── borrow.v │ │ │ ├── borrow │ │ │ │ └── tests.rs │ │ │ ├── dedup_sorted_iter.rs │ │ │ ├── dedup_sorted_iter.v │ │ │ ├── fix.rs │ │ │ ├── fix.v │ │ │ ├── map.rs │ │ │ ├── map.v │ │ │ ├── map │ │ │ │ ├── entry.rs │ │ │ │ ├── entry.v │ │ │ │ └── tests.rs │ │ │ ├── mem.rs │ │ │ ├── mem.v │ │ │ ├── merge_iter.rs │ │ │ ├── merge_iter.v │ │ │ ├── mod.rs │ │ │ ├── mod.v │ │ │ ├── navigate.rs │ │ │ ├── navigate.v │ │ │ ├── node.rs │ │ │ ├── node.v │ │ │ ├── node │ │ │ │ └── tests.rs │ │ │ ├── remove.rs │ │ │ ├── remove.v │ │ │ ├── search.rs │ │ │ ├── search.v │ │ │ ├── set.rs │ │ │ ├── set.v │ │ │ ├── set │ │ │ │ ├── entry.rs │ │ │ │ ├── entry.v │ │ │ │ └── tests.rs │ │ │ ├── set_val.rs │ │ │ ├── set_val.v │ │ │ ├── split.rs │ │ │ └── split.v │ │ ├── linked_list.rs │ │ ├── linked_list.v │ │ ├── linked_list │ │ │ └── tests.rs │ │ ├── mod.rs │ │ ├── mod.v │ │ └── vec_deque │ │ │ ├── drain.rs │ │ │ ├── drain.v │ │ │ ├── into_iter.rs │ │ │ ├── into_iter.v │ │ │ ├── iter.rs │ │ │ ├── iter.v │ │ │ ├── iter_mut.rs │ │ │ ├── iter_mut.v │ │ │ ├── macros.rs │ │ │ ├── macros.v │ │ │ ├── mod.rs │ │ │ ├── mod.v │ │ │ ├── spec_extend.rs │ │ │ ├── spec_extend.v │ │ │ ├── spec_from_iter.rs │ │ │ ├── spec_from_iter.v │ │ │ └── tests.rs │ ├── ffi │ │ ├── c_str.rs │ │ ├── c_str.v │ │ ├── c_str │ │ │ └── tests.rs │ │ └── mod.rs │ ├── fmt.rs │ ├── fmt.v │ ├── lib.miri.rs │ ├── lib.rs │ ├── links │ │ ├── alloc.v │ │ ├── boxed.v │ │ ├── raw_vec.v │ │ ├── slice.v │ │ └── string.v │ ├── macros.rs │ ├── raw_vec.rs │ ├── raw_vec.v │ ├── raw_vec │ │ └── tests.rs │ ├── rc.rs │ ├── rc.v │ ├── rc │ │ └── tests.rs │ ├── simulations │ │ └── vec.v │ ├── slice.rs │ ├── slice.v │ ├── str.rs │ ├── str.v │ ├── string.rs │ ├── string.v │ ├── sync.rs │ ├── sync.v │ ├── sync │ │ └── tests.rs │ ├── task.rs │ ├── task.v │ ├── testing │ │ ├── crash_test.rs │ │ ├── mod.rs │ │ ├── ord_chaos.rs │ │ └── rng.rs │ ├── tests.rs │ └── vec │ │ ├── cow.rs │ │ ├── cow.v │ │ ├── drain.rs │ │ ├── drain.v │ │ ├── extract_if.rs │ │ ├── extract_if.v │ │ ├── in_place_collect.rs │ │ ├── in_place_collect.v │ │ ├── in_place_drop.rs │ │ ├── in_place_drop.v │ │ ├── into_iter.rs │ │ ├── into_iter.v │ │ ├── is_zero.rs │ │ ├── is_zero.v │ │ ├── links │ │ ├── into_iter.v │ │ └── mod.v │ │ ├── mod.rs │ │ ├── mod.v │ │ ├── partial_eq.rs │ │ ├── partial_eq.v │ │ ├── set_len_on_drop.rs │ │ ├── set_len_on_drop.v │ │ ├── spec_extend.rs │ │ ├── spec_extend.v │ │ ├── spec_from_elem.rs │ │ ├── spec_from_elem.v │ │ ├── spec_from_iter.rs │ │ ├── spec_from_iter.v │ │ ├── spec_from_iter_nested.rs │ │ ├── spec_from_iter_nested.v │ │ ├── splice.rs │ │ └── splice.v ├── alloy_primitives │ ├── aliases.rs │ ├── aliases.v │ ├── bits │ │ ├── address.rs │ │ ├── address.v │ │ ├── bloom.rs │ │ ├── bloom.v │ │ ├── fixed.rs │ │ ├── fixed.v │ │ ├── function.rs │ │ ├── function.v │ │ ├── links │ │ │ ├── address.v │ │ │ ├── fixed.v │ │ │ └── fixed_FixedBytes.v │ │ ├── macros.rs │ │ ├── macros.v │ │ ├── mod.rs │ │ ├── rlp.rs │ │ └── serde.rs │ ├── bytes │ │ ├── links │ │ │ └── mod.v │ │ ├── mod.rs │ │ ├── mod.v │ │ ├── rlp.rs │ │ └── serde.rs │ ├── common.rs │ ├── common.v │ ├── lib.rs │ ├── lib.v │ ├── links │ │ ├── aliases.v │ │ └── common.v │ ├── log │ │ ├── links │ │ │ └── mod.v │ │ ├── mod.rs │ │ ├── mod.v │ │ └── serde.rs │ ├── map │ │ ├── fixed.rs │ │ ├── fixed.v │ │ ├── mod.rs │ │ └── mod.v │ ├── postgres.rs │ ├── sealed.rs │ ├── sealed.v │ ├── signature │ │ ├── error.rs │ │ ├── error.v │ │ ├── mod.rs │ │ ├── parity.rs │ │ ├── parity.v │ │ ├── primitive_sig.rs │ │ ├── primitive_sig.v │ │ ├── sig.rs │ │ ├── sig.v │ │ ├── utils.rs │ │ └── utils.v │ ├── signed │ │ ├── conversions.rs │ │ ├── conversions.v │ │ ├── errors.rs │ │ ├── errors.v │ │ ├── int.rs │ │ ├── int.v │ │ ├── links │ │ │ └── int.v │ │ ├── mod.rs │ │ ├── ops.rs │ │ ├── ops.v │ │ ├── serde.rs │ │ ├── sign.rs │ │ ├── sign.v │ │ ├── utils.rs │ │ └── utils.v │ └── utils │ │ ├── links │ │ └── mod.v │ │ ├── mod.rs │ │ ├── mod.v │ │ ├── units.rs │ │ └── units.v ├── blacklist.txt ├── bytes │ ├── buf │ │ ├── buf_impl.rs │ │ ├── buf_impl.v │ │ ├── buf_mut.rs │ │ ├── buf_mut.v │ │ ├── chain.rs │ │ ├── chain.v │ │ ├── iter.rs │ │ ├── iter.v │ │ ├── limit.rs │ │ ├── limit.v │ │ ├── mod.rs │ │ ├── reader.rs │ │ ├── reader.v │ │ ├── take.rs │ │ ├── take.v │ │ ├── uninit_slice.rs │ │ ├── uninit_slice.v │ │ ├── vec_deque.rs │ │ ├── vec_deque.v │ │ ├── writer.rs │ │ └── writer.v │ ├── bytes.rs │ ├── bytes.v │ ├── bytes_mut.rs │ ├── bytes_mut.v │ ├── fmt │ │ ├── debug.rs │ │ ├── debug.v │ │ ├── hex.rs │ │ ├── hex.v │ │ ├── mod.rs │ │ └── mod.v │ ├── lib.rs │ ├── lib.v │ ├── links │ │ └── bytes.v │ ├── loom.rs │ ├── loom.v │ └── serde.rs ├── core │ ├── alloc │ │ ├── global.rs │ │ ├── global.v │ │ ├── layout.rs │ │ ├── layout.v │ │ ├── mod.rs │ │ └── mod.v │ ├── any.rs │ ├── any.v │ ├── arch.rs │ ├── arch.v │ ├── array │ │ ├── ascii.rs │ │ ├── ascii.v │ │ ├── drain.rs │ │ ├── drain.v │ │ ├── equality.rs │ │ ├── equality.v │ │ ├── iter.rs │ │ ├── iter.v │ │ ├── links │ │ │ ├── iter.v │ │ │ ├── iter_IntoIter.v │ │ │ └── mod.v │ │ ├── mod.rs │ │ └── mod.v │ ├── ascii.rs │ ├── ascii.v │ ├── ascii │ │ ├── ascii_char.rs │ │ └── ascii_char.v │ ├── asserting.rs │ ├── asserting.v │ ├── async_iter │ │ ├── async_iter.rs │ │ ├── async_iter.v │ │ ├── from_iter.rs │ │ ├── from_iter.v │ │ └── mod.rs │ ├── bool.rs │ ├── bool.v │ ├── borrow.rs │ ├── borrow.v │ ├── cell.rs │ ├── cell.v │ ├── cell │ │ ├── lazy.rs │ │ ├── lazy.v │ │ ├── once.rs │ │ └── once.v │ ├── char │ │ ├── convert.rs │ │ ├── convert.v │ │ ├── decode.rs │ │ ├── decode.v │ │ ├── methods.rs │ │ ├── methods.v │ │ ├── mod.rs │ │ └── mod.v │ ├── clone.rs │ ├── clone.v │ ├── clone │ │ ├── uninit.rs │ │ └── uninit.v │ ├── cmp.rs │ ├── cmp.v │ ├── cmp │ │ ├── bytewise.rs │ │ └── bytewise.v │ ├── convert │ │ ├── links │ │ │ ├── mod.v │ │ │ └── num.v │ │ ├── mod.rs │ │ ├── mod.v │ │ ├── num.rs │ │ └── num.v │ ├── default.rs │ ├── default.v │ ├── error.rs │ ├── error.v │ ├── escape.rs │ ├── escape.v │ ├── ffi │ │ ├── c_char.md │ │ ├── c_double.md │ │ ├── c_float.md │ │ ├── c_int.md │ │ ├── c_long.md │ │ ├── c_longlong.md │ │ ├── c_schar.md │ │ ├── c_short.md │ │ ├── c_str.rs │ │ ├── c_str.v │ │ ├── c_uchar.md │ │ ├── c_uint.md │ │ ├── c_ulong.md │ │ ├── c_ulonglong.md │ │ ├── c_ushort.md │ │ ├── c_void.md │ │ ├── mod.rs │ │ ├── mod.v │ │ ├── va_list.rs │ │ └── va_list.v │ ├── fmt │ │ ├── builders.rs │ │ ├── builders.v │ │ ├── float.rs │ │ ├── float.v │ │ ├── links │ │ │ ├── mod.v │ │ │ └── rt.v │ │ ├── mod.rs │ │ ├── mod.v │ │ ├── nofloat.rs │ │ ├── num.rs │ │ ├── num.v │ │ ├── rt.rs │ │ └── rt.v │ ├── future │ │ ├── async_drop.rs │ │ ├── async_drop.v │ │ ├── future.rs │ │ ├── future.v │ │ ├── into_future.rs │ │ ├── into_future.v │ │ ├── join.rs │ │ ├── join.v │ │ ├── mod.rs │ │ ├── mod.v │ │ ├── pending.rs │ │ ├── pending.v │ │ ├── poll_fn.rs │ │ ├── poll_fn.v │ │ ├── ready.rs │ │ └── ready.v │ ├── hash │ │ ├── mod.rs │ │ ├── mod.v │ │ ├── sip.rs │ │ └── sip.v │ ├── hint.rs │ ├── hint.v │ ├── internal_macros.rs │ ├── internal_macros.v │ ├── intrinsics │ │ ├── links │ │ │ └── mod.v │ │ ├── mir.rs │ │ ├── mir.v │ │ ├── mod.rs │ │ ├── mod.v │ │ ├── simd.rs │ │ └── simd.v │ ├── io │ │ ├── borrowed_buf.rs │ │ ├── borrowed_buf.v │ │ └── mod.rs │ ├── iter │ │ ├── adapters │ │ │ ├── array_chunks.rs │ │ │ ├── array_chunks.v │ │ │ ├── by_ref_sized.rs │ │ │ ├── by_ref_sized.v │ │ │ ├── chain.rs │ │ │ ├── chain.v │ │ │ ├── cloned.rs │ │ │ ├── cloned.v │ │ │ ├── copied.rs │ │ │ ├── copied.v │ │ │ ├── cycle.rs │ │ │ ├── cycle.v │ │ │ ├── enumerate.rs │ │ │ ├── enumerate.v │ │ │ ├── filter.rs │ │ │ ├── filter.v │ │ │ ├── filter_map.rs │ │ │ ├── filter_map.v │ │ │ ├── flatten.rs │ │ │ ├── flatten.v │ │ │ ├── fuse.rs │ │ │ ├── fuse.v │ │ │ ├── inspect.rs │ │ │ ├── inspect.v │ │ │ ├── intersperse.rs │ │ │ ├── intersperse.v │ │ │ ├── links │ │ │ │ ├── map.v │ │ │ │ └── map_Map.v │ │ │ ├── map.rs │ │ │ ├── map.v │ │ │ ├── map_while.rs │ │ │ ├── map_while.v │ │ │ ├── map_windows.rs │ │ │ ├── map_windows.v │ │ │ ├── mod.rs │ │ │ ├── mod.v │ │ │ ├── peekable.rs │ │ │ ├── peekable.v │ │ │ ├── rev.rs │ │ │ ├── rev.v │ │ │ ├── scan.rs │ │ │ ├── scan.v │ │ │ ├── skip.rs │ │ │ ├── skip.v │ │ │ ├── skip_while.rs │ │ │ ├── skip_while.v │ │ │ ├── step_by.rs │ │ │ ├── step_by.v │ │ │ ├── take.rs │ │ │ ├── take.v │ │ │ ├── take_while.rs │ │ │ ├── take_while.v │ │ │ ├── zip.rs │ │ │ └── zip.v │ │ ├── mod.rs │ │ ├── range.rs │ │ ├── range.v │ │ ├── sources.rs │ │ ├── sources │ │ │ ├── empty.rs │ │ │ ├── empty.v │ │ │ ├── from_coroutine.rs │ │ │ ├── from_coroutine.v │ │ │ ├── from_fn.rs │ │ │ ├── from_fn.v │ │ │ ├── once.rs │ │ │ ├── once.v │ │ │ ├── once_with.rs │ │ │ ├── once_with.v │ │ │ ├── repeat.rs │ │ │ ├── repeat.v │ │ │ ├── repeat_n.rs │ │ │ ├── repeat_n.v │ │ │ ├── repeat_with.rs │ │ │ ├── repeat_with.v │ │ │ ├── successors.rs │ │ │ └── successors.v │ │ └── traits │ │ │ ├── accum.rs │ │ │ ├── accum.v │ │ │ ├── collect.rs │ │ │ ├── collect.v │ │ │ ├── double_ended.rs │ │ │ ├── double_ended.v │ │ │ ├── exact_size.rs │ │ │ ├── exact_size.v │ │ │ ├── iterator.rs │ │ │ ├── iterator.v │ │ │ ├── links │ │ │ ├── collect.v │ │ │ └── iterator.v │ │ │ ├── marker.rs │ │ │ ├── marker.v │ │ │ ├── mod.rs │ │ │ ├── unchecked_iterator.rs │ │ │ └── unchecked_iterator.v │ ├── lib.miri.rs │ ├── lib.rs │ ├── links │ │ ├── array.v │ │ ├── borrow.v │ │ ├── clone.v │ │ ├── cmp.v │ │ ├── cmpOrdering.v │ │ ├── default.v │ │ ├── error.v │ │ ├── hint.v │ │ ├── marker.v │ │ ├── option.v │ │ ├── panicking.v │ │ ├── panickingAux.v │ │ ├── ptr.v │ │ └── result.v │ ├── macros │ │ ├── mod.rs │ │ └── panic.md │ ├── marker.rs │ ├── marker.v │ ├── mem │ │ ├── links │ │ │ ├── maybe_uninit.v │ │ │ └── mod.v │ │ ├── manually_drop.rs │ │ ├── manually_drop.v │ │ ├── maybe_uninit.rs │ │ ├── maybe_uninit.v │ │ ├── mod.rs │ │ ├── mod.v │ │ ├── transmutability.rs │ │ └── transmutability.v │ ├── net │ │ ├── display_buffer.rs │ │ ├── display_buffer.v │ │ ├── ip_addr.rs │ │ ├── ip_addr.v │ │ ├── mod.rs │ │ ├── parser.rs │ │ ├── parser.v │ │ ├── socket_addr.rs │ │ └── socket_addr.v │ ├── num │ │ ├── bignum.rs │ │ ├── bignum.v │ │ ├── dec2flt │ │ │ ├── common.rs │ │ │ ├── common.v │ │ │ ├── decimal.rs │ │ │ ├── decimal.v │ │ │ ├── float.rs │ │ │ ├── float.v │ │ │ ├── fpu.rs │ │ │ ├── fpu.v │ │ │ ├── lemire.rs │ │ │ ├── lemire.v │ │ │ ├── mod.rs │ │ │ ├── mod.v │ │ │ ├── number.rs │ │ │ ├── number.v │ │ │ ├── parse.rs │ │ │ ├── parse.v │ │ │ ├── slow.rs │ │ │ ├── slow.v │ │ │ ├── table.rs │ │ │ └── table.v │ │ ├── diy_float.rs │ │ ├── diy_float.v │ │ ├── error.rs │ │ ├── error.v │ │ ├── f128.rs │ │ ├── f128.v │ │ ├── f16.rs │ │ ├── f16.v │ │ ├── f32.rs │ │ ├── f32.v │ │ ├── f64.rs │ │ ├── f64.v │ │ ├── flt2dec │ │ │ ├── decoder.rs │ │ │ ├── decoder.v │ │ │ ├── estimator.rs │ │ │ ├── estimator.v │ │ │ ├── mod.rs │ │ │ ├── mod.v │ │ │ └── strategy │ │ │ │ ├── dragon.rs │ │ │ │ ├── dragon.v │ │ │ │ ├── grisu.rs │ │ │ │ └── grisu.v │ │ ├── fmt.rs │ │ ├── fmt.v │ │ ├── int_log10.rs │ │ ├── int_log10.v │ │ ├── int_macros.rs │ │ ├── int_sqrt.rs │ │ ├── int_sqrt.v │ │ ├── links │ │ │ ├── error.v │ │ │ ├── mod.v │ │ │ └── nonzero.v │ │ ├── mod.rs │ │ ├── mod.v │ │ ├── nonzero.rs │ │ ├── nonzero.v │ │ ├── overflow_panic.rs │ │ ├── overflow_panic.v │ │ ├── saturating.rs │ │ ├── saturating.v │ │ ├── shells │ │ │ ├── i128.rs │ │ │ ├── i16.rs │ │ │ ├── i32.rs │ │ │ ├── i64.rs │ │ │ ├── i8.rs │ │ │ ├── int_macros.rs │ │ │ ├── int_macros.v │ │ │ ├── isize.rs │ │ │ ├── u128.rs │ │ │ ├── u16.rs │ │ │ ├── u32.rs │ │ │ ├── u64.rs │ │ │ ├── u8.rs │ │ │ └── usize.rs │ │ ├── uint_macros.rs │ │ ├── wrapping.rs │ │ └── wrapping.v │ ├── ops │ │ ├── arith.rs │ │ ├── arith.v │ │ ├── async_function.rs │ │ ├── async_function.v │ │ ├── bit.rs │ │ ├── bit.v │ │ ├── control_flow.rs │ │ ├── control_flow.v │ │ ├── coroutine.rs │ │ ├── coroutine.v │ │ ├── deref.rs │ │ ├── deref.v │ │ ├── drop.rs │ │ ├── drop.v │ │ ├── function.rs │ │ ├── function.v │ │ ├── index.rs │ │ ├── index.v │ │ ├── index_range.rs │ │ ├── index_range.v │ │ ├── links │ │ │ ├── arith.v │ │ │ ├── bit.v │ │ │ ├── control_flow.v │ │ │ ├── deref.v │ │ │ ├── function.v │ │ │ ├── index.v │ │ │ ├── index_range.v │ │ │ ├── range.v │ │ │ └── try_trait.v │ │ ├── mod.rs │ │ ├── range.rs │ │ ├── range.v │ │ ├── try_trait.rs │ │ ├── try_trait.v │ │ ├── unsize.rs │ │ └── unsize.v │ ├── option.rs │ ├── option.v │ ├── panic.rs │ ├── panic.v │ ├── panic │ │ ├── location.rs │ │ ├── location.v │ │ ├── panic_info.rs │ │ ├── panic_info.v │ │ ├── unwind_safe.rs │ │ └── unwind_safe.v │ ├── panicking.rs │ ├── panicking.v │ ├── pat.rs │ ├── pin.rs │ ├── pin.v │ ├── prelude │ │ ├── common.rs │ │ └── mod.rs │ ├── primitive.rs │ ├── primitive_docs.rs │ ├── primitive_docs.v │ ├── ptr │ │ ├── alignment.rs │ │ ├── alignment.v │ │ ├── const_ptr.rs │ │ ├── const_ptr.v │ │ ├── links │ │ │ ├── const_ptr.v │ │ │ └── mut_ptr.v │ │ ├── metadata.rs │ │ ├── metadata.v │ │ ├── mod.rs │ │ ├── mod.v │ │ ├── mut_ptr.rs │ │ ├── mut_ptr.v │ │ ├── non_null.rs │ │ ├── non_null.v │ │ ├── unique.rs │ │ └── unique.v │ ├── random.rs │ ├── random.v │ ├── range.rs │ ├── range.v │ ├── range │ │ ├── iter.rs │ │ ├── iter.v │ │ └── legacy.rs │ ├── result.rs │ ├── result.v │ ├── simulations │ │ ├── assert.v │ │ ├── bool.v │ │ ├── default.v │ │ ├── eq.v │ │ ├── option.v │ │ ├── result.v │ │ ├── slice.v │ │ ├── tuple.v │ │ └── unit.v │ ├── slice │ │ ├── ascii.rs │ │ ├── ascii.v │ │ ├── cmp.rs │ │ ├── cmp.v │ │ ├── index.rs │ │ ├── index.v │ │ ├── iter.rs │ │ ├── iter.v │ │ ├── iter │ │ │ ├── macros.rs │ │ │ └── macros.v │ │ ├── links │ │ │ ├── index.v │ │ │ ├── iter.v │ │ │ └── mod.v │ │ ├── memchr.rs │ │ ├── memchr.v │ │ ├── mod.rs │ │ ├── mod.v │ │ ├── raw.rs │ │ ├── raw.v │ │ ├── rotate.rs │ │ ├── rotate.v │ │ ├── sort │ │ │ ├── mod.rs │ │ │ ├── select.rs │ │ │ ├── select.v │ │ │ ├── shared │ │ │ │ ├── mod.rs │ │ │ │ ├── mod.v │ │ │ │ ├── pivot.rs │ │ │ │ ├── pivot.v │ │ │ │ ├── smallsort.rs │ │ │ │ └── smallsort.v │ │ │ ├── stable │ │ │ │ ├── drift.rs │ │ │ │ ├── drift.v │ │ │ │ ├── merge.rs │ │ │ │ ├── merge.v │ │ │ │ ├── mod.rs │ │ │ │ ├── mod.v │ │ │ │ ├── quicksort.rs │ │ │ │ ├── quicksort.v │ │ │ │ └── tiny.rs │ │ │ └── unstable │ │ │ │ ├── heapsort.rs │ │ │ │ ├── heapsort.v │ │ │ │ ├── mod.rs │ │ │ │ ├── mod.v │ │ │ │ ├── quicksort.rs │ │ │ │ └── quicksort.v │ │ ├── specialize.rs │ │ └── specialize.v │ ├── str │ │ ├── converts.rs │ │ ├── converts.v │ │ ├── count.rs │ │ ├── count.v │ │ ├── error.rs │ │ ├── error.v │ │ ├── iter.rs │ │ ├── iter.v │ │ ├── lossy.rs │ │ ├── lossy.v │ │ ├── mod.rs │ │ ├── mod.v │ │ ├── pattern.rs │ │ ├── pattern.v │ │ ├── traits.rs │ │ ├── traits.v │ │ ├── validations.rs │ │ └── validations.v │ ├── sync │ │ ├── atomic.rs │ │ ├── atomic.v │ │ ├── exclusive.rs │ │ ├── exclusive.v │ │ └── mod.rs │ ├── task │ │ ├── mod.rs │ │ ├── poll.rs │ │ ├── poll.v │ │ ├── ready.rs │ │ ├── wake.rs │ │ └── wake.v │ ├── time.rs │ ├── time.v │ ├── tuple.rs │ ├── tuple.v │ ├── ub_checks.rs │ ├── ub_checks.v │ ├── unicode │ │ ├── mod.rs │ │ ├── mod.v │ │ ├── printable.py │ │ ├── printable.rs │ │ ├── printable.v │ │ ├── unicode_data.rs │ │ └── unicode_data.v │ ├── unit.rs │ └── unit.v ├── count_modules.py ├── examples │ ├── axiomatized │ │ └── examples │ │ │ ├── custom │ │ │ ├── add_one.err │ │ │ ├── add_one.v │ │ │ ├── constructor_as_function.err │ │ │ ├── constructor_as_function.v │ │ │ ├── hello_world.err │ │ │ ├── hello_world.v │ │ │ ├── impl_param.err │ │ │ ├── impl_param.v │ │ │ ├── let_else.err │ │ │ ├── let_else.v │ │ │ ├── loops.err │ │ │ ├── loops.v │ │ │ ├── loops_free.err │ │ │ ├── loops_free.v │ │ │ ├── module_duplicate.err │ │ │ ├── module_duplicate.v │ │ │ ├── mutations.err │ │ │ ├── mutations.v │ │ │ ├── mutual_loop.err │ │ │ ├── mutual_loop.v │ │ │ ├── pattern_in_function_parameters.err │ │ │ ├── pattern_in_function_parameters.v │ │ │ ├── polymorphic_associated_function.err │ │ │ ├── polymorphic_associated_function.v │ │ │ ├── polymorphic_constants.err │ │ │ ├── polymorphic_constants.v │ │ │ ├── provided_method.err │ │ │ └── provided_method.v │ │ │ ├── ink_contracts │ │ │ ├── basic_contract_caller.err │ │ │ ├── basic_contract_caller.v │ │ │ ├── call_runtime.err │ │ │ ├── call_runtime.v │ │ │ ├── conditional_compilation.err │ │ │ ├── conditional_compilation.v │ │ │ ├── contract_terminate.err │ │ │ ├── contract_terminate.v │ │ │ ├── contract_transfer.err │ │ │ ├── contract_transfer.v │ │ │ ├── custom_allocator.err │ │ │ ├── custom_allocator.v │ │ │ ├── custom_environment.err │ │ │ ├── custom_environment.v │ │ │ ├── dns.err │ │ │ ├── dns.v │ │ │ ├── e2e_call_runtime.err │ │ │ ├── e2e_call_runtime.v │ │ │ ├── erc1155.err │ │ │ ├── erc1155.v │ │ │ ├── erc20.err │ │ │ ├── erc20.v │ │ │ ├── erc721.err │ │ │ ├── erc721.v │ │ │ ├── flipper.err │ │ │ ├── flipper.v │ │ │ ├── incrementer.err │ │ │ ├── incrementer.v │ │ │ ├── lang_err_integration_tests │ │ │ │ ├── call_builder.err │ │ │ │ ├── call_builder.v │ │ │ │ ├── call_builder_delegate.err │ │ │ │ ├── call_builder_delegate.v │ │ │ │ ├── constructors_return_value.err │ │ │ │ ├── constructors_return_value.v │ │ │ │ ├── contract_ref.err │ │ │ │ ├── contract_ref.v │ │ │ │ ├── integration_flipper.err │ │ │ │ └── integration_flipper.v │ │ │ ├── mapping_integration_tests.err │ │ │ ├── mapping_integration_tests.v │ │ │ ├── mother.err │ │ │ ├── mother.v │ │ │ ├── multisig.err │ │ │ ├── multisig.v │ │ │ ├── payment_channel.err │ │ │ ├── payment_channel.v │ │ │ ├── set_code_hash.err │ │ │ ├── set_code_hash.v │ │ │ ├── set_code_hash │ │ │ │ ├── updated_incrementer.err │ │ │ │ └── updated_incrementer.v │ │ │ ├── trait_erc20.err │ │ │ ├── trait_erc20.v │ │ │ ├── trait_flipper.err │ │ │ ├── trait_flipper.v │ │ │ ├── trait_incrementer.err │ │ │ ├── trait_incrementer.v │ │ │ ├── wildcard_selector.err │ │ │ └── wildcard_selector.v │ │ │ ├── monadic_transformation │ │ │ ├── example01.err │ │ │ ├── example01.v │ │ │ ├── example02.err │ │ │ ├── example02.v │ │ │ ├── example03.err │ │ │ ├── example03.v │ │ │ ├── example04.err │ │ │ ├── example04.v │ │ │ ├── example05.err │ │ │ └── example05.v │ │ │ ├── rust_book │ │ │ ├── attributes │ │ │ │ ├── dead_code.err │ │ │ │ └── dead_code.v │ │ │ ├── cargo │ │ │ │ ├── concurrent_tests.err │ │ │ │ └── concurrent_tests.v │ │ │ ├── conversion │ │ │ │ ├── converting_to_string.err │ │ │ │ ├── converting_to_string.v │ │ │ │ ├── from.err │ │ │ │ ├── from.v │ │ │ │ ├── into.err │ │ │ │ ├── into.v │ │ │ │ ├── parsing_a_string.err │ │ │ │ ├── parsing_a_string.v │ │ │ │ ├── try_from_and_try_into.err │ │ │ │ └── try_from_and_try_into.v │ │ │ ├── custom_types │ │ │ │ ├── constants.err │ │ │ │ ├── constants.v │ │ │ │ ├── enums.err │ │ │ │ ├── enums.v │ │ │ │ ├── enums_c_like.err │ │ │ │ ├── enums_c_like.v │ │ │ │ ├── enums_testcase_linked_list.err │ │ │ │ ├── enums_testcase_linked_list.v │ │ │ │ ├── enums_type_aliases_v1.err │ │ │ │ ├── enums_type_aliases_v1.v │ │ │ │ ├── enums_type_aliases_v2.err │ │ │ │ ├── enums_type_aliases_v2.v │ │ │ │ ├── enums_use.err │ │ │ │ ├── enums_use.v │ │ │ │ ├── structures.err │ │ │ │ └── structures.v │ │ │ ├── error_handling │ │ │ │ ├── aliases_for_result.err │ │ │ │ ├── aliases_for_result.v │ │ │ │ ├── boxing_errors.err │ │ │ │ ├── boxing_errors.v │ │ │ │ ├── combinators_and_then.err │ │ │ │ ├── combinators_and_then.v │ │ │ │ ├── combinators_map.err │ │ │ │ ├── combinators_map.v │ │ │ │ ├── defining_an_error_type.err │ │ │ │ ├── defining_an_error_type.v │ │ │ │ ├── early_returns.err │ │ │ │ ├── early_returns.v │ │ │ │ ├── introducing_question_mark.err │ │ │ │ ├── introducing_question_mark.v │ │ │ │ ├── introducing_question_mark_is_an_replacement_for_deprecated_try.err │ │ │ │ ├── introducing_question_mark_is_an_replacement_for_deprecated_try.v │ │ │ │ ├── iterating_over_results_collect_valid_values_and_failures_via_partition.err │ │ │ │ ├── iterating_over_results_collect_valid_values_and_failures_via_partition.v │ │ │ │ ├── iterating_over_results_collect_valid_values_and_failures_via_partition_unwrapped.err │ │ │ │ ├── iterating_over_results_collect_valid_values_and_failures_via_partition_unwrapped.v │ │ │ │ ├── iterating_over_results_collect_via_map_err_and_filter_map.err │ │ │ │ ├── iterating_over_results_collect_via_map_err_and_filter_map.v │ │ │ │ ├── iterating_over_results_fail_entire_operation_via_collect.err │ │ │ │ ├── iterating_over_results_fail_entire_operation_via_collect.v │ │ │ │ ├── iterating_over_results_failed.err │ │ │ │ ├── iterating_over_results_failed.v │ │ │ │ ├── iterating_over_results_handle_via_filter_map.err │ │ │ │ ├── iterating_over_results_handle_via_filter_map.v │ │ │ │ ├── map_in_result_via_combinators.err │ │ │ │ ├── map_in_result_via_combinators.v │ │ │ │ ├── map_in_result_via_match.err │ │ │ │ ├── map_in_result_via_match.v │ │ │ │ ├── multiple_error_types.err │ │ │ │ ├── multiple_error_types.v │ │ │ │ ├── option_and_unwrap.err │ │ │ │ ├── option_and_unwrap.v │ │ │ │ ├── other_uses_of_question_mark.err │ │ │ │ ├── other_uses_of_question_mark.v │ │ │ │ ├── panic.err │ │ │ │ ├── panic.v │ │ │ │ ├── pulling_results_out_of_options.err │ │ │ │ ├── pulling_results_out_of_options.v │ │ │ │ ├── pulling_results_out_of_options_with_stop_error_processing.err │ │ │ │ ├── pulling_results_out_of_options_with_stop_error_processing.v │ │ │ │ ├── result_use_in_main.err │ │ │ │ ├── result_use_in_main.v │ │ │ │ ├── unpacking_options_and_defaults_via_get_or_insert.err │ │ │ │ ├── unpacking_options_and_defaults_via_get_or_insert.v │ │ │ │ ├── unpacking_options_and_defaults_via_get_or_insert_with.err │ │ │ │ ├── unpacking_options_and_defaults_via_get_or_insert_with.v │ │ │ │ ├── unpacking_options_and_defaults_via_or.err │ │ │ │ ├── unpacking_options_and_defaults_via_or.v │ │ │ │ ├── unpacking_options_and_defaults_via_or_else.err │ │ │ │ ├── unpacking_options_and_defaults_via_or_else.v │ │ │ │ ├── unpacking_options_via_question_mark.err │ │ │ │ ├── unpacking_options_via_question_mark.v │ │ │ │ ├── wrapping_errors.err │ │ │ │ └── wrapping_errors.v │ │ │ ├── expressions │ │ │ │ ├── blocks.err │ │ │ │ ├── blocks.v │ │ │ │ ├── const_underscore_expression.err │ │ │ │ ├── const_underscore_expression.v │ │ │ │ ├── statement.err │ │ │ │ ├── statement.v │ │ │ │ ├── variable_binding_and_expression.err │ │ │ │ └── variable_binding_and_expression.v │ │ │ ├── flow_of_control │ │ │ │ ├── for_and_iterators_into_iter.err │ │ │ │ ├── for_and_iterators_into_iter.v │ │ │ │ ├── for_and_iterators_iter.err │ │ │ │ ├── for_and_iterators_iter.v │ │ │ │ ├── for_and_iterators_iter_mut.err │ │ │ │ ├── for_and_iterators_iter_mut.v │ │ │ │ ├── for_and_range_completely_inclusive.err │ │ │ │ ├── for_and_range_completely_inclusive.v │ │ │ │ ├── for_and_range_inclusive_to_exclusive.err │ │ │ │ ├── for_and_range_inclusive_to_exclusive.v │ │ │ │ ├── if_else.err │ │ │ │ ├── if_else.v │ │ │ │ ├── if_let.err │ │ │ │ ├── if_let.v │ │ │ │ ├── if_let_challenge.err │ │ │ │ ├── if_let_challenge.v │ │ │ │ ├── if_let_dont_use_match.err │ │ │ │ ├── if_let_dont_use_match.v │ │ │ │ ├── if_let_match_enum_values.err │ │ │ │ ├── if_let_match_enum_values.v │ │ │ │ ├── infinite_loop.err │ │ │ │ ├── infinite_loop.v │ │ │ │ ├── loop_nesting_and_labels.err │ │ │ │ ├── loop_nesting_and_labels.v │ │ │ │ ├── loop_returning_from_loops.err │ │ │ │ ├── loop_returning_from_loops.v │ │ │ │ ├── match.err │ │ │ │ ├── match.v │ │ │ │ ├── match_binding.err │ │ │ │ ├── match_binding.v │ │ │ │ ├── match_binding_destructure_enum_variants.err │ │ │ │ ├── match_binding_destructure_enum_variants.v │ │ │ │ ├── match_destructuring_arrays_slices.err │ │ │ │ ├── match_destructuring_arrays_slices.v │ │ │ │ ├── match_destructuring_enums.err │ │ │ │ ├── match_destructuring_enums.v │ │ │ │ ├── match_destructuring_pointers_ref.err │ │ │ │ ├── match_destructuring_pointers_ref.v │ │ │ │ ├── match_destructuring_structs.err │ │ │ │ ├── match_destructuring_structs.v │ │ │ │ ├── match_destructuring_tuples.err │ │ │ │ ├── match_destructuring_tuples.v │ │ │ │ ├── match_destructuring_tuples_fixed.err │ │ │ │ ├── match_destructuring_tuples_fixed.v │ │ │ │ ├── match_guards.err │ │ │ │ ├── match_guards.v │ │ │ │ ├── match_guards_unreachable.err │ │ │ │ ├── match_guards_unreachable.v │ │ │ │ ├── while.err │ │ │ │ ├── while.v │ │ │ │ ├── while_let.err │ │ │ │ ├── while_let.v │ │ │ │ ├── while_let_match_is_weird.err │ │ │ │ └── while_let_match_is_weird.v │ │ │ ├── functions │ │ │ │ ├── associated_functions_and_methods.err │ │ │ │ ├── associated_functions_and_methods.v │ │ │ │ ├── diverging_functions.err │ │ │ │ ├── diverging_functions.v │ │ │ │ ├── diverging_functions_example_sum_odd_numbers.err │ │ │ │ ├── diverging_functions_example_sum_odd_numbers.v │ │ │ │ ├── diverging_functions_no_info_in_return_type.err │ │ │ │ ├── diverging_functions_no_info_in_return_type.v │ │ │ │ ├── functions.err │ │ │ │ ├── functions.v │ │ │ │ ├── functions_closures.err │ │ │ │ ├── functions_closures.v │ │ │ │ ├── functions_closures_as_input_parameters.err │ │ │ │ ├── functions_closures_as_input_parameters.v │ │ │ │ ├── functions_closures_as_output_parameters.err │ │ │ │ ├── functions_closures_as_output_parameters.v │ │ │ │ ├── functions_closures_capturing.err │ │ │ │ ├── functions_closures_capturing.v │ │ │ │ ├── functions_closures_example_Iterator_any.err │ │ │ │ ├── functions_closures_example_Iterator_any.v │ │ │ │ ├── functions_closures_example_searching_through_iterators_Iterator_find.err │ │ │ │ ├── functions_closures_example_searching_through_iterators_Iterator_find.v │ │ │ │ ├── functions_closures_example_searching_through_iterators_Iterator_position.err │ │ │ │ ├── functions_closures_example_searching_through_iterators_Iterator_position.v │ │ │ │ ├── functions_closures_forced_capturing_with_move.err │ │ │ │ ├── functions_closures_forced_capturing_with_move.v │ │ │ │ ├── functions_closures_input_functions.err │ │ │ │ ├── functions_closures_input_functions.v │ │ │ │ ├── functions_closures_type_anonymity_define.err │ │ │ │ ├── functions_closures_type_anonymity_define.v │ │ │ │ ├── functions_closures_type_anonymity_define_and_use.err │ │ │ │ ├── functions_closures_type_anonymity_define_and_use.v │ │ │ │ ├── functions_order.err │ │ │ │ ├── functions_order.v │ │ │ │ ├── higher_order_functions.err │ │ │ │ └── higher_order_functions.v │ │ │ ├── generics │ │ │ │ ├── generics.err │ │ │ │ ├── generics.v │ │ │ │ ├── generics_associated_types_problem.err │ │ │ │ ├── generics_associated_types_problem.v │ │ │ │ ├── generics_associated_types_solution.err │ │ │ │ ├── generics_associated_types_solution.v │ │ │ │ ├── generics_bounds.err │ │ │ │ ├── generics_bounds.v │ │ │ │ ├── generics_bounds_test_case_empty_bounds.err │ │ │ │ ├── generics_bounds_test_case_empty_bounds.v │ │ │ │ ├── generics_functions.err │ │ │ │ ├── generics_functions.v │ │ │ │ ├── generics_implementation.err │ │ │ │ ├── generics_implementation.v │ │ │ │ ├── generics_multiple_bounds.err │ │ │ │ ├── generics_multiple_bounds.v │ │ │ │ ├── generics_new_type_idiom.err │ │ │ │ ├── generics_new_type_idiom.v │ │ │ │ ├── generics_new_type_idiom_as_base_type.err │ │ │ │ ├── generics_new_type_idiom_as_base_type.v │ │ │ │ ├── generics_phantom_type.err │ │ │ │ ├── generics_phantom_type.v │ │ │ │ ├── generics_phantom_type_test_case_unit_clarification.err │ │ │ │ ├── generics_phantom_type_test_case_unit_clarification.v │ │ │ │ ├── generics_traits.err │ │ │ │ ├── generics_traits.v │ │ │ │ ├── generics_where_clauses.err │ │ │ │ └── generics_where_clauses.v │ │ │ ├── guessing_game │ │ │ │ ├── guessing_game.err │ │ │ │ └── guessing_game.v │ │ │ ├── hello_world │ │ │ │ ├── formatted_print.err │ │ │ │ ├── formatted_print.v │ │ │ │ ├── hello_world.err │ │ │ │ └── hello_world.v │ │ │ ├── macro_rules │ │ │ │ ├── macro_example.err │ │ │ │ ├── macro_example.v │ │ │ │ ├── macro_rules_designators.err │ │ │ │ ├── macro_rules_designators.v │ │ │ │ ├── macro_rules_dsl.err │ │ │ │ ├── macro_rules_dsl.v │ │ │ │ ├── macro_rules_overload.err │ │ │ │ ├── macro_rules_overload.v │ │ │ │ ├── macro_rules_repeat.err │ │ │ │ ├── macro_rules_repeat.v │ │ │ │ ├── macro_rules_variadic_interfaces.err │ │ │ │ └── macro_rules_variadic_interfaces.v │ │ │ ├── modules │ │ │ │ ├── struct_visibility.err │ │ │ │ ├── struct_visibility.v │ │ │ │ ├── super_and_self.err │ │ │ │ ├── super_and_self.v │ │ │ │ ├── the_use_as_declaration.err │ │ │ │ ├── the_use_as_declaration.v │ │ │ │ ├── visibility.err │ │ │ │ └── visibility.v │ │ │ ├── primitives │ │ │ │ ├── arrays_and_slices.err │ │ │ │ ├── arrays_and_slices.v │ │ │ │ ├── compound_types.err │ │ │ │ ├── compound_types.v │ │ │ │ ├── literals_operators.err │ │ │ │ ├── literals_operators.v │ │ │ │ ├── tuples.err │ │ │ │ └── tuples.v │ │ │ ├── scoping_rules │ │ │ │ ├── scoping_rules_borrowing.err │ │ │ │ ├── scoping_rules_borrowing.v │ │ │ │ ├── scoping_rules_borrowing_aliasing.err │ │ │ │ ├── scoping_rules_borrowing_aliasing.v │ │ │ │ ├── scoping_rules_borrowing_mutablity.err │ │ │ │ ├── scoping_rules_borrowing_mutablity.v │ │ │ │ ├── scoping_rules_borrowing_the_ref_pattern.err │ │ │ │ ├── scoping_rules_borrowing_the_ref_pattern.v │ │ │ │ ├── scoping_rules_lifetimes.err │ │ │ │ ├── scoping_rules_lifetimes.v │ │ │ │ ├── scoping_rules_lifetimes_bounds.err │ │ │ │ ├── scoping_rules_lifetimes_bounds.v │ │ │ │ ├── scoping_rules_lifetimes_coercion.err │ │ │ │ ├── scoping_rules_lifetimes_coercion.v │ │ │ │ ├── scoping_rules_lifetimes_elision.err │ │ │ │ ├── scoping_rules_lifetimes_elision.v │ │ │ │ ├── scoping_rules_lifetimes_functions.err │ │ │ │ ├── scoping_rules_lifetimes_functions.v │ │ │ │ ├── scoping_rules_lifetimes_methods.err │ │ │ │ ├── scoping_rules_lifetimes_methods.v │ │ │ │ ├── scoping_rules_lifetimes_reference_lifetime_static.err │ │ │ │ ├── scoping_rules_lifetimes_reference_lifetime_static.v │ │ │ │ ├── scoping_rules_lifetimes_structs.err │ │ │ │ ├── scoping_rules_lifetimes_structs.v │ │ │ │ ├── scoping_rules_lifetimes_traits.err │ │ │ │ ├── scoping_rules_lifetimes_traits.v │ │ │ │ ├── scoping_rules_ownership_and_rules.err │ │ │ │ ├── scoping_rules_ownership_and_rules.v │ │ │ │ ├── scoping_rules_ownership_and_rules_mutablity.err │ │ │ │ ├── scoping_rules_ownership_and_rules_mutablity.v │ │ │ │ ├── scoping_rules_ownership_and_rules_partial_moves.err │ │ │ │ ├── scoping_rules_ownership_and_rules_partial_moves.v │ │ │ │ ├── scoping_rules_raii.err │ │ │ │ ├── scoping_rules_raii.v │ │ │ │ ├── scoping_rules_raii_desctructor.err │ │ │ │ └── scoping_rules_raii_desctructor.v │ │ │ ├── std_library_types │ │ │ │ ├── arc.err │ │ │ │ ├── arc.v │ │ │ │ ├── box_stack_heap.err │ │ │ │ ├── box_stack_heap.v │ │ │ │ ├── hash_map.err │ │ │ │ ├── hash_map.v │ │ │ │ ├── hash_map_alternate_or_custom_key_types.err │ │ │ │ ├── hash_map_alternate_or_custom_key_types.v │ │ │ │ ├── hash_map_hash_set.err │ │ │ │ ├── hash_map_hash_set.v │ │ │ │ ├── option.err │ │ │ │ ├── option.v │ │ │ │ ├── panic.err │ │ │ │ ├── panic.v │ │ │ │ ├── rc.err │ │ │ │ ├── rc.v │ │ │ │ ├── result.err │ │ │ │ ├── result.v │ │ │ │ ├── result_chaining_with_question_mark.err │ │ │ │ ├── result_chaining_with_question_mark.v │ │ │ │ ├── strings.err │ │ │ │ ├── strings.v │ │ │ │ ├── strings_byte_strings_as_non_utf8.err │ │ │ │ ├── strings_byte_strings_as_non_utf8.v │ │ │ │ ├── strings_literals_and_escapes.err │ │ │ │ ├── strings_literals_and_escapes.v │ │ │ │ ├── strings_raw_string_literals.err │ │ │ │ ├── strings_raw_string_literals.v │ │ │ │ ├── vectors.err │ │ │ │ └── vectors.v │ │ │ ├── std_misc │ │ │ │ ├── channels.err │ │ │ │ ├── channels.v │ │ │ │ ├── child_processes.err │ │ │ │ ├── child_processes.v │ │ │ │ ├── child_processes_pipes.err │ │ │ │ ├── child_processes_pipes.v │ │ │ │ ├── child_processes_wait.err │ │ │ │ ├── child_processes_wait.v │ │ │ │ ├── file_io_create.err │ │ │ │ ├── file_io_create.v │ │ │ │ ├── file_io_open.err │ │ │ │ ├── file_io_open.v │ │ │ │ ├── file_io_read_lines.err │ │ │ │ ├── file_io_read_lines.v │ │ │ │ ├── file_io_read_lines_efficient_method.err │ │ │ │ ├── file_io_read_lines_efficient_method.v │ │ │ │ ├── filesystem_operations.err │ │ │ │ ├── filesystem_operations.v │ │ │ │ ├── foreign_function_interface.err │ │ │ │ ├── foreign_function_interface.v │ │ │ │ ├── path.err │ │ │ │ ├── path.v │ │ │ │ ├── program_arguments.err │ │ │ │ ├── program_arguments.v │ │ │ │ ├── program_arguments_parsing.err │ │ │ │ ├── program_arguments_parsing.v │ │ │ │ ├── threads.err │ │ │ │ ├── threads.v │ │ │ │ ├── threads_test_case_map_reduce.err │ │ │ │ └── threads_test_case_map_reduce.v │ │ │ ├── testing │ │ │ │ ├── documentation_testing.err │ │ │ │ ├── documentation_testing.v │ │ │ │ ├── unit_testing.err │ │ │ │ └── unit_testing.v │ │ │ ├── traits │ │ │ │ ├── clone.err │ │ │ │ ├── clone.v │ │ │ │ ├── derive.err │ │ │ │ ├── derive.v │ │ │ │ ├── disambiguating_overlapping_traits.err │ │ │ │ ├── disambiguating_overlapping_traits.v │ │ │ │ ├── drop.err │ │ │ │ ├── drop.v │ │ │ │ ├── hash.err │ │ │ │ ├── hash.v │ │ │ │ ├── impl_trait_as_return_type.err │ │ │ │ ├── impl_trait_as_return_type.v │ │ │ │ ├── iterators.err │ │ │ │ ├── iterators.v │ │ │ │ ├── operator_overloading.err │ │ │ │ ├── operator_overloading.v │ │ │ │ ├── returning_traits_with_dyn.err │ │ │ │ ├── returning_traits_with_dyn.v │ │ │ │ ├── supertraits.err │ │ │ │ ├── supertraits.v │ │ │ │ ├── traits.err │ │ │ │ ├── traits.v │ │ │ │ ├── traits_parms.err │ │ │ │ └── traits_parms.v │ │ │ ├── types │ │ │ │ ├── aliasing.err │ │ │ │ ├── aliasing.v │ │ │ │ ├── casting.err │ │ │ │ ├── casting.v │ │ │ │ ├── inference.err │ │ │ │ ├── inference.v │ │ │ │ ├── literals.err │ │ │ │ └── literals.v │ │ │ ├── unsafe_operations │ │ │ │ ├── calling_unsafe_functions.err │ │ │ │ ├── calling_unsafe_functions.v │ │ │ │ ├── inline_assembly.err │ │ │ │ ├── inline_assembly.v │ │ │ │ ├── inline_assembly_clobbered_registers.err │ │ │ │ ├── inline_assembly_clobbered_registers.v │ │ │ │ ├── inline_assembly_explicit_register_operands.err │ │ │ │ ├── inline_assembly_explicit_register_operands.v │ │ │ │ ├── inline_assembly_inlateout_case_implemented.err │ │ │ │ ├── inline_assembly_inlateout_case_implemented.v │ │ │ │ ├── inline_assembly_inlateout_case_non_used.err │ │ │ │ ├── inline_assembly_inlateout_case_non_used.v │ │ │ │ ├── inline_assembly_inlateout_mul.err │ │ │ │ ├── inline_assembly_inlateout_mul.v │ │ │ │ ├── inline_assembly_inout.err │ │ │ │ ├── inline_assembly_inout.v │ │ │ │ ├── inline_assembly_inputs_and_outputs.err │ │ │ │ ├── inline_assembly_inputs_and_outputs.v │ │ │ │ ├── inline_assembly_inputs_and_outputs_another_example.err │ │ │ │ ├── inline_assembly_inputs_and_outputs_another_example.v │ │ │ │ ├── inline_assembly_inputs_and_outputs_another_example_without_mov.err │ │ │ │ ├── inline_assembly_inputs_and_outputs_another_example_without_mov.v │ │ │ │ ├── inline_assembly_labels.err │ │ │ │ ├── inline_assembly_labels.v │ │ │ │ ├── inline_assembly_memory_address_operands.err │ │ │ │ ├── inline_assembly_memory_address_operands.v │ │ │ │ ├── inline_assembly_options.err │ │ │ │ ├── inline_assembly_options.v │ │ │ │ ├── inline_assembly_register_template_modifiers.err │ │ │ │ ├── inline_assembly_register_template_modifiers.v │ │ │ │ ├── inline_assembly_scratch_register.err │ │ │ │ ├── inline_assembly_scratch_register.v │ │ │ │ ├── inline_assembly_symbol_operands_and_abi_clobbers.err │ │ │ │ ├── inline_assembly_symbol_operands_and_abi_clobbers.v │ │ │ │ ├── raw_pointers.err │ │ │ │ └── raw_pointers.v │ │ │ └── variable_bindings │ │ │ │ ├── declare_first.err │ │ │ │ ├── declare_first.v │ │ │ │ ├── freezing.err │ │ │ │ ├── freezing.v │ │ │ │ ├── mutability.err │ │ │ │ ├── mutability.v │ │ │ │ ├── scope.err │ │ │ │ ├── scope.v │ │ │ │ ├── variable_bindings.err │ │ │ │ ├── variable_bindings.v │ │ │ │ ├── variable_shadowing.err │ │ │ │ └── variable_shadowing.v │ │ │ ├── subtle.err │ │ │ └── subtle.v │ └── default │ │ └── examples │ │ ├── custom │ │ ├── add_one.err │ │ ├── add_one.v │ │ ├── constructor_as_function.err │ │ ├── constructor_as_function.v │ │ ├── hello_world.err │ │ ├── hello_world.v │ │ ├── impl_param.err │ │ ├── impl_param.v │ │ ├── let_else.err │ │ ├── let_else.v │ │ ├── links │ │ │ ├── loops_free.v │ │ │ └── mutations.v │ │ ├── loops.err │ │ ├── loops.v │ │ ├── loops_free.err │ │ ├── loops_free.v │ │ ├── module_duplicate.err │ │ ├── module_duplicate.v │ │ ├── mutations.err │ │ ├── mutations.v │ │ ├── mutual_loop.err │ │ ├── mutual_loop.v │ │ ├── pattern_in_function_parameters.err │ │ ├── pattern_in_function_parameters.v │ │ ├── polymorphic_associated_function.err │ │ ├── polymorphic_associated_function.v │ │ ├── polymorphic_constants.err │ │ ├── polymorphic_constants.v │ │ ├── provided_method.err │ │ ├── provided_method.v │ │ └── simulate │ │ │ ├── loops_free.v │ │ │ └── mutations.v │ │ ├── ink_contracts │ │ ├── basic_contract_caller.err │ │ ├── basic_contract_caller.v │ │ ├── call_runtime.err │ │ ├── call_runtime.v │ │ ├── conditional_compilation.err │ │ ├── conditional_compilation.v │ │ ├── contract_terminate.err │ │ ├── contract_terminate.v │ │ ├── contract_transfer.err │ │ ├── contract_transfer.v │ │ ├── custom_allocator.err │ │ ├── custom_allocator.v │ │ ├── custom_environment.err │ │ ├── custom_environment.v │ │ ├── dns.err │ │ ├── dns.v │ │ ├── e2e_call_runtime.err │ │ ├── e2e_call_runtime.v │ │ ├── erc1155.err │ │ ├── erc1155.v │ │ ├── erc20.err │ │ ├── erc20.v │ │ ├── erc721.err │ │ ├── erc721.v │ │ ├── flipper.err │ │ ├── flipper.v │ │ ├── incrementer.err │ │ ├── incrementer.v │ │ ├── lang_err_integration_tests │ │ │ ├── call_builder.err │ │ │ ├── call_builder.v │ │ │ ├── call_builder_delegate.err │ │ │ ├── call_builder_delegate.v │ │ │ ├── constructors_return_value.err │ │ │ ├── constructors_return_value.v │ │ │ ├── contract_ref.err │ │ │ ├── contract_ref.v │ │ │ ├── integration_flipper.err │ │ │ └── integration_flipper.v │ │ ├── mapping_integration_tests.err │ │ ├── mapping_integration_tests.v │ │ ├── mother.err │ │ ├── mother.v │ │ ├── multisig.err │ │ ├── multisig.v │ │ ├── payment_channel.err │ │ ├── payment_channel.v │ │ ├── proofs │ │ │ ├── erc20.v │ │ │ ├── erc721.v │ │ │ └── lib.v │ │ ├── set_code_hash.err │ │ ├── set_code_hash.v │ │ ├── set_code_hash │ │ │ ├── updated_incrementer.err │ │ │ └── updated_incrementer.v │ │ ├── simulations │ │ │ ├── erc20.v │ │ │ └── erc721.v │ │ ├── trait_erc20.err │ │ ├── trait_erc20.v │ │ ├── trait_flipper.err │ │ ├── trait_flipper.v │ │ ├── trait_incrementer.err │ │ ├── trait_incrementer.v │ │ ├── wildcard_selector.err │ │ └── wildcard_selector.v │ │ ├── monadic_transformation │ │ ├── example01.err │ │ ├── example01.v │ │ ├── example02.err │ │ ├── example02.v │ │ ├── example03.err │ │ ├── example03.v │ │ ├── example04.err │ │ ├── example04.v │ │ ├── example05.err │ │ └── example05.v │ │ ├── rust_book │ │ ├── attributes │ │ │ ├── dead_code.err │ │ │ └── dead_code.v │ │ ├── cargo │ │ │ ├── concurrent_tests.err │ │ │ └── concurrent_tests.v │ │ ├── conversion │ │ │ ├── converting_to_string.err │ │ │ ├── converting_to_string.v │ │ │ ├── from.err │ │ │ ├── from.v │ │ │ ├── into.err │ │ │ ├── into.v │ │ │ ├── parsing_a_string.err │ │ │ ├── parsing_a_string.v │ │ │ ├── try_from_and_try_into.err │ │ │ └── try_from_and_try_into.v │ │ ├── custom_types │ │ │ ├── constants.err │ │ │ ├── constants.v │ │ │ ├── enums.err │ │ │ ├── enums.v │ │ │ ├── enums_c_like.err │ │ │ ├── enums_c_like.v │ │ │ ├── enums_testcase_linked_list.err │ │ │ ├── enums_testcase_linked_list.v │ │ │ ├── enums_type_aliases_v1.err │ │ │ ├── enums_type_aliases_v1.v │ │ │ ├── enums_type_aliases_v2.err │ │ │ ├── enums_type_aliases_v2.v │ │ │ ├── enums_use.err │ │ │ ├── enums_use.v │ │ │ ├── structures.err │ │ │ └── structures.v │ │ ├── error_handling │ │ │ ├── aliases_for_result.err │ │ │ ├── aliases_for_result.v │ │ │ ├── boxing_errors.err │ │ │ ├── boxing_errors.v │ │ │ ├── combinators_and_then.err │ │ │ ├── combinators_and_then.v │ │ │ ├── combinators_map.err │ │ │ ├── combinators_map.v │ │ │ ├── defining_an_error_type.err │ │ │ ├── defining_an_error_type.v │ │ │ ├── early_returns.err │ │ │ ├── early_returns.v │ │ │ ├── introducing_question_mark.err │ │ │ ├── introducing_question_mark.v │ │ │ ├── introducing_question_mark_is_an_replacement_for_deprecated_try.err │ │ │ ├── introducing_question_mark_is_an_replacement_for_deprecated_try.v │ │ │ ├── iterating_over_results_collect_valid_values_and_failures_via_partition.err │ │ │ ├── iterating_over_results_collect_valid_values_and_failures_via_partition.v │ │ │ ├── iterating_over_results_collect_valid_values_and_failures_via_partition_unwrapped.err │ │ │ ├── iterating_over_results_collect_valid_values_and_failures_via_partition_unwrapped.v │ │ │ ├── iterating_over_results_collect_via_map_err_and_filter_map.err │ │ │ ├── iterating_over_results_collect_via_map_err_and_filter_map.v │ │ │ ├── iterating_over_results_fail_entire_operation_via_collect.err │ │ │ ├── iterating_over_results_fail_entire_operation_via_collect.v │ │ │ ├── iterating_over_results_failed.err │ │ │ ├── iterating_over_results_failed.v │ │ │ ├── iterating_over_results_handle_via_filter_map.err │ │ │ ├── iterating_over_results_handle_via_filter_map.v │ │ │ ├── map_in_result_via_combinators.err │ │ │ ├── map_in_result_via_combinators.v │ │ │ ├── map_in_result_via_match.err │ │ │ ├── map_in_result_via_match.v │ │ │ ├── multiple_error_types.err │ │ │ ├── multiple_error_types.v │ │ │ ├── option_and_unwrap.err │ │ │ ├── option_and_unwrap.v │ │ │ ├── other_uses_of_question_mark.err │ │ │ ├── other_uses_of_question_mark.v │ │ │ ├── panic.err │ │ │ ├── panic.v │ │ │ ├── pulling_results_out_of_options.err │ │ │ ├── pulling_results_out_of_options.v │ │ │ ├── pulling_results_out_of_options_with_stop_error_processing.err │ │ │ ├── pulling_results_out_of_options_with_stop_error_processing.v │ │ │ ├── result_use_in_main.err │ │ │ ├── result_use_in_main.v │ │ │ ├── unpacking_options_and_defaults_via_get_or_insert.err │ │ │ ├── unpacking_options_and_defaults_via_get_or_insert.v │ │ │ ├── unpacking_options_and_defaults_via_get_or_insert_with.err │ │ │ ├── unpacking_options_and_defaults_via_get_or_insert_with.v │ │ │ ├── unpacking_options_and_defaults_via_or.err │ │ │ ├── unpacking_options_and_defaults_via_or.v │ │ │ ├── unpacking_options_and_defaults_via_or_else.err │ │ │ ├── unpacking_options_and_defaults_via_or_else.v │ │ │ ├── unpacking_options_via_question_mark.err │ │ │ ├── unpacking_options_via_question_mark.v │ │ │ ├── wrapping_errors.err │ │ │ └── wrapping_errors.v │ │ ├── expressions │ │ │ ├── blocks.err │ │ │ ├── blocks.v │ │ │ ├── const_underscore_expression.err │ │ │ ├── const_underscore_expression.v │ │ │ ├── statement.err │ │ │ ├── statement.v │ │ │ ├── variable_binding_and_expression.err │ │ │ └── variable_binding_and_expression.v │ │ ├── flow_of_control │ │ │ ├── for_and_iterators_into_iter.err │ │ │ ├── for_and_iterators_into_iter.v │ │ │ ├── for_and_iterators_iter.err │ │ │ ├── for_and_iterators_iter.v │ │ │ ├── for_and_iterators_iter_mut.err │ │ │ ├── for_and_iterators_iter_mut.v │ │ │ ├── for_and_range_completely_inclusive.err │ │ │ ├── for_and_range_completely_inclusive.v │ │ │ ├── for_and_range_inclusive_to_exclusive.err │ │ │ ├── for_and_range_inclusive_to_exclusive.v │ │ │ ├── if_else.err │ │ │ ├── if_else.v │ │ │ ├── if_let.err │ │ │ ├── if_let.v │ │ │ ├── if_let_challenge.err │ │ │ ├── if_let_challenge.v │ │ │ ├── if_let_dont_use_match.err │ │ │ ├── if_let_dont_use_match.v │ │ │ ├── if_let_match_enum_values.err │ │ │ ├── if_let_match_enum_values.v │ │ │ ├── infinite_loop.err │ │ │ ├── infinite_loop.v │ │ │ ├── loop_nesting_and_labels.err │ │ │ ├── loop_nesting_and_labels.v │ │ │ ├── loop_returning_from_loops.err │ │ │ ├── loop_returning_from_loops.v │ │ │ ├── match.err │ │ │ ├── match.v │ │ │ ├── match_binding.err │ │ │ ├── match_binding.v │ │ │ ├── match_binding_destructure_enum_variants.err │ │ │ ├── match_binding_destructure_enum_variants.v │ │ │ ├── match_destructuring_arrays_slices.err │ │ │ ├── match_destructuring_arrays_slices.v │ │ │ ├── match_destructuring_enums.err │ │ │ ├── match_destructuring_enums.v │ │ │ ├── match_destructuring_pointers_ref.err │ │ │ ├── match_destructuring_pointers_ref.v │ │ │ ├── match_destructuring_structs.err │ │ │ ├── match_destructuring_structs.v │ │ │ ├── match_destructuring_tuples.err │ │ │ ├── match_destructuring_tuples.v │ │ │ ├── match_destructuring_tuples_fixed.err │ │ │ ├── match_destructuring_tuples_fixed.v │ │ │ ├── match_guards.err │ │ │ ├── match_guards.v │ │ │ ├── match_guards_unreachable.err │ │ │ ├── match_guards_unreachable.v │ │ │ ├── while.err │ │ │ ├── while.v │ │ │ ├── while_let.err │ │ │ ├── while_let.v │ │ │ ├── while_let_match_is_weird.err │ │ │ └── while_let_match_is_weird.v │ │ ├── functions │ │ │ ├── associated_functions_and_methods.err │ │ │ ├── associated_functions_and_methods.v │ │ │ ├── diverging_functions.err │ │ │ ├── diverging_functions.v │ │ │ ├── diverging_functions_example_sum_odd_numbers.err │ │ │ ├── diverging_functions_example_sum_odd_numbers.v │ │ │ ├── diverging_functions_no_info_in_return_type.err │ │ │ ├── diverging_functions_no_info_in_return_type.v │ │ │ ├── functions.err │ │ │ ├── functions.v │ │ │ ├── functions_closures.err │ │ │ ├── functions_closures.v │ │ │ ├── functions_closures_as_input_parameters.err │ │ │ ├── functions_closures_as_input_parameters.v │ │ │ ├── functions_closures_as_output_parameters.err │ │ │ ├── functions_closures_as_output_parameters.v │ │ │ ├── functions_closures_capturing.err │ │ │ ├── functions_closures_capturing.v │ │ │ ├── functions_closures_example_Iterator_any.err │ │ │ ├── functions_closures_example_Iterator_any.v │ │ │ ├── functions_closures_example_searching_through_iterators_Iterator_find.err │ │ │ ├── functions_closures_example_searching_through_iterators_Iterator_find.v │ │ │ ├── functions_closures_example_searching_through_iterators_Iterator_position.err │ │ │ ├── functions_closures_example_searching_through_iterators_Iterator_position.v │ │ │ ├── functions_closures_forced_capturing_with_move.err │ │ │ ├── functions_closures_forced_capturing_with_move.v │ │ │ ├── functions_closures_input_functions.err │ │ │ ├── functions_closures_input_functions.v │ │ │ ├── functions_closures_type_anonymity_define.err │ │ │ ├── functions_closures_type_anonymity_define.v │ │ │ ├── functions_closures_type_anonymity_define_and_use.err │ │ │ ├── functions_closures_type_anonymity_define_and_use.v │ │ │ ├── functions_order.err │ │ │ ├── functions_order.v │ │ │ ├── higher_order_functions.err │ │ │ └── higher_order_functions.v │ │ ├── generics │ │ │ ├── generics.err │ │ │ ├── generics.v │ │ │ ├── generics_associated_types_problem.err │ │ │ ├── generics_associated_types_problem.v │ │ │ ├── generics_associated_types_solution.err │ │ │ ├── generics_associated_types_solution.v │ │ │ ├── generics_bounds.err │ │ │ ├── generics_bounds.v │ │ │ ├── generics_bounds_test_case_empty_bounds.err │ │ │ ├── generics_bounds_test_case_empty_bounds.v │ │ │ ├── generics_functions.err │ │ │ ├── generics_functions.v │ │ │ ├── generics_implementation.err │ │ │ ├── generics_implementation.v │ │ │ ├── generics_multiple_bounds.err │ │ │ ├── generics_multiple_bounds.v │ │ │ ├── generics_new_type_idiom.err │ │ │ ├── generics_new_type_idiom.v │ │ │ ├── generics_new_type_idiom_as_base_type.err │ │ │ ├── generics_new_type_idiom_as_base_type.v │ │ │ ├── generics_phantom_type.err │ │ │ ├── generics_phantom_type.v │ │ │ ├── generics_phantom_type_test_case_unit_clarification.err │ │ │ ├── generics_phantom_type_test_case_unit_clarification.v │ │ │ ├── generics_traits.err │ │ │ ├── generics_traits.v │ │ │ ├── generics_where_clauses.err │ │ │ └── generics_where_clauses.v │ │ ├── guessing_game │ │ │ ├── guessing_game.err │ │ │ └── guessing_game.v │ │ ├── hello_world │ │ │ ├── formatted_print.err │ │ │ ├── formatted_print.v │ │ │ ├── hello_world.err │ │ │ └── hello_world.v │ │ ├── macro_rules │ │ │ ├── macro_example.err │ │ │ ├── macro_example.v │ │ │ ├── macro_rules_designators.err │ │ │ ├── macro_rules_designators.v │ │ │ ├── macro_rules_dsl.err │ │ │ ├── macro_rules_dsl.v │ │ │ ├── macro_rules_overload.err │ │ │ ├── macro_rules_overload.v │ │ │ ├── macro_rules_repeat.err │ │ │ ├── macro_rules_repeat.v │ │ │ ├── macro_rules_variadic_interfaces.err │ │ │ └── macro_rules_variadic_interfaces.v │ │ ├── modules │ │ │ ├── struct_visibility.err │ │ │ ├── struct_visibility.v │ │ │ ├── super_and_self.err │ │ │ ├── super_and_self.v │ │ │ ├── the_use_as_declaration.err │ │ │ ├── the_use_as_declaration.v │ │ │ ├── visibility.err │ │ │ └── visibility.v │ │ ├── primitives │ │ │ ├── arrays_and_slices.err │ │ │ ├── arrays_and_slices.v │ │ │ ├── compound_types.err │ │ │ ├── compound_types.v │ │ │ ├── literals_operators.err │ │ │ ├── literals_operators.v │ │ │ ├── tuples.err │ │ │ └── tuples.v │ │ ├── scoping_rules │ │ │ ├── scoping_rules_borrowing.err │ │ │ ├── scoping_rules_borrowing.v │ │ │ ├── scoping_rules_borrowing_aliasing.err │ │ │ ├── scoping_rules_borrowing_aliasing.v │ │ │ ├── scoping_rules_borrowing_mutablity.err │ │ │ ├── scoping_rules_borrowing_mutablity.v │ │ │ ├── scoping_rules_borrowing_the_ref_pattern.err │ │ │ ├── scoping_rules_borrowing_the_ref_pattern.v │ │ │ ├── scoping_rules_lifetimes.err │ │ │ ├── scoping_rules_lifetimes.v │ │ │ ├── scoping_rules_lifetimes_bounds.err │ │ │ ├── scoping_rules_lifetimes_bounds.v │ │ │ ├── scoping_rules_lifetimes_coercion.err │ │ │ ├── scoping_rules_lifetimes_coercion.v │ │ │ ├── scoping_rules_lifetimes_elision.err │ │ │ ├── scoping_rules_lifetimes_elision.v │ │ │ ├── scoping_rules_lifetimes_functions.err │ │ │ ├── scoping_rules_lifetimes_functions.v │ │ │ ├── scoping_rules_lifetimes_methods.err │ │ │ ├── scoping_rules_lifetimes_methods.v │ │ │ ├── scoping_rules_lifetimes_reference_lifetime_static.err │ │ │ ├── scoping_rules_lifetimes_reference_lifetime_static.v │ │ │ ├── scoping_rules_lifetimes_structs.err │ │ │ ├── scoping_rules_lifetimes_structs.v │ │ │ ├── scoping_rules_lifetimes_traits.err │ │ │ ├── scoping_rules_lifetimes_traits.v │ │ │ ├── scoping_rules_ownership_and_rules.err │ │ │ ├── scoping_rules_ownership_and_rules.v │ │ │ ├── scoping_rules_ownership_and_rules_mutablity.err │ │ │ ├── scoping_rules_ownership_and_rules_mutablity.v │ │ │ ├── scoping_rules_ownership_and_rules_partial_moves.err │ │ │ ├── scoping_rules_ownership_and_rules_partial_moves.v │ │ │ ├── scoping_rules_raii.err │ │ │ ├── scoping_rules_raii.v │ │ │ ├── scoping_rules_raii_desctructor.err │ │ │ └── scoping_rules_raii_desctructor.v │ │ ├── std_library_types │ │ │ ├── arc.err │ │ │ ├── arc.v │ │ │ ├── box_stack_heap.err │ │ │ ├── box_stack_heap.v │ │ │ ├── hash_map.err │ │ │ ├── hash_map.v │ │ │ ├── hash_map_alternate_or_custom_key_types.err │ │ │ ├── hash_map_alternate_or_custom_key_types.v │ │ │ ├── hash_map_hash_set.err │ │ │ ├── hash_map_hash_set.v │ │ │ ├── option.err │ │ │ ├── option.v │ │ │ ├── panic.err │ │ │ ├── panic.v │ │ │ ├── rc.err │ │ │ ├── rc.v │ │ │ ├── result.err │ │ │ ├── result.v │ │ │ ├── result_chaining_with_question_mark.err │ │ │ ├── result_chaining_with_question_mark.v │ │ │ ├── strings.err │ │ │ ├── strings.v │ │ │ ├── strings_byte_strings_as_non_utf8.err │ │ │ ├── strings_byte_strings_as_non_utf8.v │ │ │ ├── strings_literals_and_escapes.err │ │ │ ├── strings_literals_and_escapes.v │ │ │ ├── strings_raw_string_literals.err │ │ │ ├── strings_raw_string_literals.v │ │ │ ├── vectors.err │ │ │ └── vectors.v │ │ ├── std_misc │ │ │ ├── channels.err │ │ │ ├── channels.v │ │ │ ├── child_processes.err │ │ │ ├── child_processes.v │ │ │ ├── child_processes_pipes.err │ │ │ ├── child_processes_pipes.v │ │ │ ├── child_processes_wait.err │ │ │ ├── child_processes_wait.v │ │ │ ├── file_io_create.err │ │ │ ├── file_io_create.v │ │ │ ├── file_io_open.err │ │ │ ├── file_io_open.v │ │ │ ├── file_io_read_lines.err │ │ │ ├── file_io_read_lines.v │ │ │ ├── file_io_read_lines_efficient_method.err │ │ │ ├── file_io_read_lines_efficient_method.v │ │ │ ├── filesystem_operations.err │ │ │ ├── filesystem_operations.v │ │ │ ├── foreign_function_interface.err │ │ │ ├── foreign_function_interface.v │ │ │ ├── path.err │ │ │ ├── path.v │ │ │ ├── program_arguments.err │ │ │ ├── program_arguments.v │ │ │ ├── program_arguments_parsing.err │ │ │ ├── program_arguments_parsing.v │ │ │ ├── threads.err │ │ │ ├── threads.v │ │ │ ├── threads_test_case_map_reduce.err │ │ │ └── threads_test_case_map_reduce.v │ │ ├── testing │ │ │ ├── documentation_testing.err │ │ │ ├── documentation_testing.v │ │ │ ├── unit_testing.err │ │ │ └── unit_testing.v │ │ ├── traits │ │ │ ├── clone.err │ │ │ ├── clone.v │ │ │ ├── derive.err │ │ │ ├── derive.v │ │ │ ├── disambiguating_overlapping_traits.err │ │ │ ├── disambiguating_overlapping_traits.v │ │ │ ├── drop.err │ │ │ ├── drop.v │ │ │ ├── hash.err │ │ │ ├── hash.v │ │ │ ├── impl_trait_as_return_type.err │ │ │ ├── impl_trait_as_return_type.v │ │ │ ├── iterators.err │ │ │ ├── iterators.v │ │ │ ├── operator_overloading.err │ │ │ ├── operator_overloading.v │ │ │ ├── returning_traits_with_dyn.err │ │ │ ├── returning_traits_with_dyn.v │ │ │ ├── supertraits.err │ │ │ ├── supertraits.v │ │ │ ├── traits.err │ │ │ ├── traits.v │ │ │ ├── traits_parms.err │ │ │ └── traits_parms.v │ │ ├── types │ │ │ ├── aliasing.err │ │ │ ├── aliasing.v │ │ │ ├── casting.err │ │ │ ├── casting.v │ │ │ ├── inference.err │ │ │ ├── inference.v │ │ │ ├── literals.err │ │ │ └── literals.v │ │ ├── unsafe_operations │ │ │ ├── calling_unsafe_functions.err │ │ │ ├── calling_unsafe_functions.v │ │ │ ├── inline_assembly.err │ │ │ ├── inline_assembly.v │ │ │ ├── inline_assembly_clobbered_registers.err │ │ │ ├── inline_assembly_clobbered_registers.v │ │ │ ├── inline_assembly_explicit_register_operands.err │ │ │ ├── inline_assembly_explicit_register_operands.v │ │ │ ├── inline_assembly_inlateout_case_implemented.err │ │ │ ├── inline_assembly_inlateout_case_implemented.v │ │ │ ├── inline_assembly_inlateout_case_non_used.err │ │ │ ├── inline_assembly_inlateout_case_non_used.v │ │ │ ├── inline_assembly_inlateout_mul.err │ │ │ ├── inline_assembly_inlateout_mul.v │ │ │ ├── inline_assembly_inout.err │ │ │ ├── inline_assembly_inout.v │ │ │ ├── inline_assembly_inputs_and_outputs.err │ │ │ ├── inline_assembly_inputs_and_outputs.v │ │ │ ├── inline_assembly_inputs_and_outputs_another_example.err │ │ │ ├── inline_assembly_inputs_and_outputs_another_example.v │ │ │ ├── inline_assembly_inputs_and_outputs_another_example_without_mov.err │ │ │ ├── inline_assembly_inputs_and_outputs_another_example_without_mov.v │ │ │ ├── inline_assembly_labels.err │ │ │ ├── inline_assembly_labels.v │ │ │ ├── inline_assembly_memory_address_operands.err │ │ │ ├── inline_assembly_memory_address_operands.v │ │ │ ├── inline_assembly_options.err │ │ │ ├── inline_assembly_options.v │ │ │ ├── inline_assembly_register_template_modifiers.err │ │ │ ├── inline_assembly_register_template_modifiers.v │ │ │ ├── inline_assembly_scratch_register.err │ │ │ ├── inline_assembly_scratch_register.v │ │ │ ├── inline_assembly_symbol_operands_and_abi_clobbers.err │ │ │ ├── inline_assembly_symbol_operands_and_abi_clobbers.v │ │ │ ├── raw_pointers.err │ │ │ └── raw_pointers.v │ │ └── variable_bindings │ │ │ ├── declare_first.err │ │ │ ├── declare_first.v │ │ │ ├── freezing.err │ │ │ ├── freezing.v │ │ │ ├── mutability.err │ │ │ ├── mutability.v │ │ │ ├── scope.err │ │ │ ├── scope.v │ │ │ ├── variable_bindings.err │ │ │ ├── variable_bindings.v │ │ │ ├── variable_shadowing.err │ │ │ └── variable_shadowing.v │ │ ├── subtle.err │ │ └── subtle.v ├── experiments │ └── MonadExperiments.v ├── generate_ink_example.sh ├── legacy │ ├── openvm │ │ └── version_v1_2_0 │ │ │ ├── crates │ │ │ └── vm │ │ │ │ ├── arch │ │ │ │ ├── config.rs │ │ │ │ ├── config.v │ │ │ │ ├── execution.rs │ │ │ │ ├── execution.v │ │ │ │ ├── extensions.rs │ │ │ │ ├── extensions.v │ │ │ │ ├── hasher │ │ │ │ │ ├── mod.rs │ │ │ │ │ ├── mod.v │ │ │ │ │ ├── poseidon2.rs │ │ │ │ │ └── poseidon2.v │ │ │ │ ├── integration_api.rs │ │ │ │ ├── integration_api.v │ │ │ │ ├── links │ │ │ │ │ └── integration_api.v │ │ │ │ ├── mod.rs │ │ │ │ ├── segment.rs │ │ │ │ ├── segment.v │ │ │ │ ├── testing │ │ │ │ │ ├── execution │ │ │ │ │ │ ├── air.rs │ │ │ │ │ │ ├── air.v │ │ │ │ │ │ ├── mod.rs │ │ │ │ │ │ └── mod.v │ │ │ │ │ ├── memory │ │ │ │ │ │ ├── air.rs │ │ │ │ │ │ ├── air.v │ │ │ │ │ │ ├── mod.rs │ │ │ │ │ │ └── mod.v │ │ │ │ │ ├── mod.rs │ │ │ │ │ ├── mod.v │ │ │ │ │ ├── program │ │ │ │ │ │ ├── air.rs │ │ │ │ │ │ ├── air.v │ │ │ │ │ │ ├── mod.rs │ │ │ │ │ │ └── mod.v │ │ │ │ │ ├── test_adapter.rs │ │ │ │ │ └── test_adapter.v │ │ │ │ ├── vm.rs │ │ │ │ └── vm.v │ │ │ │ ├── lib.rs │ │ │ │ ├── metrics │ │ │ │ ├── cycle_tracker │ │ │ │ │ ├── mod.rs │ │ │ │ │ └── mod.v │ │ │ │ ├── mod.rs │ │ │ │ └── mod.v │ │ │ │ ├── system │ │ │ │ ├── connector │ │ │ │ │ ├── mod.rs │ │ │ │ │ ├── mod.v │ │ │ │ │ └── tests.rs │ │ │ │ ├── memory │ │ │ │ │ ├── adapter │ │ │ │ │ │ ├── air.rs │ │ │ │ │ │ ├── air.v │ │ │ │ │ │ ├── columns.rs │ │ │ │ │ │ ├── columns.v │ │ │ │ │ │ ├── mod.rs │ │ │ │ │ │ ├── mod.v │ │ │ │ │ │ └── tests.rs │ │ │ │ │ ├── controller │ │ │ │ │ │ ├── dimensions.rs │ │ │ │ │ │ ├── dimensions.v │ │ │ │ │ │ ├── interface.rs │ │ │ │ │ │ ├── interface.v │ │ │ │ │ │ ├── mod.rs │ │ │ │ │ │ └── mod.v │ │ │ │ │ ├── merkle │ │ │ │ │ │ ├── air.rs │ │ │ │ │ │ ├── air.v │ │ │ │ │ │ ├── columns.rs │ │ │ │ │ │ ├── columns.v │ │ │ │ │ │ ├── mod.rs │ │ │ │ │ │ ├── mod.v │ │ │ │ │ │ ├── tests │ │ │ │ │ │ │ ├── mod.rs │ │ │ │ │ │ │ └── util.rs │ │ │ │ │ │ ├── trace.rs │ │ │ │ │ │ └── trace.v │ │ │ │ │ ├── mod.rs │ │ │ │ │ ├── mod.v │ │ │ │ │ ├── offline.rs │ │ │ │ │ ├── offline.v │ │ │ │ │ ├── offline_checker │ │ │ │ │ │ ├── bridge.rs │ │ │ │ │ │ ├── bridge.v │ │ │ │ │ │ ├── bus.rs │ │ │ │ │ │ ├── bus.v │ │ │ │ │ │ ├── columns.rs │ │ │ │ │ │ ├── columns.v │ │ │ │ │ │ └── mod.rs │ │ │ │ │ ├── online.rs │ │ │ │ │ ├── online.v │ │ │ │ │ ├── paged_vec.rs │ │ │ │ │ ├── paged_vec.v │ │ │ │ │ ├── persistent.rs │ │ │ │ │ ├── persistent.v │ │ │ │ │ ├── tests.rs │ │ │ │ │ ├── tree │ │ │ │ │ │ ├── mod.rs │ │ │ │ │ │ ├── mod.v │ │ │ │ │ │ ├── public_values.rs │ │ │ │ │ │ └── public_values.v │ │ │ │ │ └── volatile │ │ │ │ │ │ ├── mod.rs │ │ │ │ │ │ ├── mod.v │ │ │ │ │ │ └── tests.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── native_adapter │ │ │ │ │ ├── mod.rs │ │ │ │ │ └── mod.v │ │ │ │ ├── phantom │ │ │ │ │ ├── mod.rs │ │ │ │ │ ├── mod.v │ │ │ │ │ └── tests.rs │ │ │ │ ├── poseidon2 │ │ │ │ │ ├── air.rs │ │ │ │ │ ├── air.v │ │ │ │ │ ├── chip.rs │ │ │ │ │ ├── chip.v │ │ │ │ │ ├── columns.rs │ │ │ │ │ ├── columns.v │ │ │ │ │ ├── mod.rs │ │ │ │ │ ├── mod.v │ │ │ │ │ ├── tests.rs │ │ │ │ │ ├── trace.rs │ │ │ │ │ └── trace.v │ │ │ │ ├── program │ │ │ │ │ ├── air.rs │ │ │ │ │ ├── air.v │ │ │ │ │ ├── bus.rs │ │ │ │ │ ├── bus.v │ │ │ │ │ ├── mod.rs │ │ │ │ │ ├── mod.v │ │ │ │ │ ├── tests │ │ │ │ │ │ └── mod.rs │ │ │ │ │ ├── trace.rs │ │ │ │ │ └── trace.v │ │ │ │ └── public_values │ │ │ │ │ ├── columns.rs │ │ │ │ │ ├── columns.v │ │ │ │ │ ├── core.rs │ │ │ │ │ ├── core.v │ │ │ │ │ ├── mod.rs │ │ │ │ │ ├── mod.v │ │ │ │ │ └── tests.rs │ │ │ │ └── utils │ │ │ │ ├── mod.rs │ │ │ │ ├── stark_utils.rs │ │ │ │ ├── stark_utils.v │ │ │ │ ├── test_utils.rs │ │ │ │ └── test_utils.v │ │ │ └── extensions │ │ │ └── rv32im │ │ │ └── circuit │ │ │ ├── adapters │ │ │ ├── alu.rs │ │ │ ├── alu.v │ │ │ ├── branch.rs │ │ │ ├── branch.v │ │ │ ├── jalr.rs │ │ │ ├── jalr.v │ │ │ ├── loadstore.rs │ │ │ ├── loadstore.v │ │ │ ├── mod.rs │ │ │ ├── mod.v │ │ │ ├── mul.rs │ │ │ ├── mul.v │ │ │ ├── rdwrite.rs │ │ │ └── rdwrite.v │ │ │ ├── auipc │ │ │ ├── core.rs │ │ │ ├── core.v │ │ │ ├── mod.rs │ │ │ ├── mod.v │ │ │ └── tests.rs │ │ │ ├── base_alu │ │ │ ├── core.rs │ │ │ ├── core.v │ │ │ ├── mod.rs │ │ │ ├── mod.v │ │ │ └── tests.rs │ │ │ ├── branch_eq │ │ │ ├── core.rs │ │ │ ├── core.v │ │ │ ├── links │ │ │ │ └── core.v │ │ │ ├── mod.rs │ │ │ ├── mod.v │ │ │ └── tests.rs │ │ │ ├── branch_lt │ │ │ ├── core.rs │ │ │ ├── core.v │ │ │ ├── mod.rs │ │ │ ├── mod.v │ │ │ └── tests.rs │ │ │ ├── divrem │ │ │ ├── core.rs │ │ │ ├── core.v │ │ │ ├── mod.rs │ │ │ ├── mod.v │ │ │ └── tests.rs │ │ │ ├── extension.rs │ │ │ ├── extension.v │ │ │ ├── hintstore │ │ │ ├── mod.rs │ │ │ ├── mod.v │ │ │ └── tests.rs │ │ │ ├── jal_lui │ │ │ ├── core.rs │ │ │ ├── core.v │ │ │ ├── mod.rs │ │ │ ├── mod.v │ │ │ └── tests.rs │ │ │ ├── jalr │ │ │ ├── core.rs │ │ │ ├── core.v │ │ │ ├── mod.rs │ │ │ ├── mod.v │ │ │ └── tests.rs │ │ │ ├── less_than │ │ │ ├── core.rs │ │ │ ├── core.v │ │ │ ├── mod.rs │ │ │ ├── mod.v │ │ │ └── tests.rs │ │ │ ├── lib.rs │ │ │ ├── load_sign_extend │ │ │ ├── core.rs │ │ │ ├── core.v │ │ │ ├── mod.rs │ │ │ ├── mod.v │ │ │ └── tests.rs │ │ │ ├── loadstore │ │ │ ├── core.rs │ │ │ ├── core.v │ │ │ ├── mod.rs │ │ │ ├── mod.v │ │ │ └── tests.rs │ │ │ ├── mul │ │ │ ├── core.rs │ │ │ ├── core.v │ │ │ ├── mod.rs │ │ │ ├── mod.v │ │ │ └── tests.rs │ │ │ ├── mulh │ │ │ ├── core.rs │ │ │ ├── core.v │ │ │ ├── mod.rs │ │ │ ├── mod.v │ │ │ └── tests.rs │ │ │ ├── shift │ │ │ ├── core.rs │ │ │ ├── core.v │ │ │ ├── mod.rs │ │ │ ├── mod.v │ │ │ └── tests.rs │ │ │ └── test_utils.rs │ ├── openvm_stack_backend │ │ └── version_v1_1_0 │ │ │ └── crates │ │ │ └── stark_backend │ │ │ ├── air_builders │ │ │ ├── debug │ │ │ │ ├── check_constraints.rs │ │ │ │ ├── check_constraints.v │ │ │ │ ├── mod.rs │ │ │ │ └── mod.v │ │ │ ├── mod.rs │ │ │ ├── mod.v │ │ │ ├── sub.rs │ │ │ ├── sub.v │ │ │ └── symbolic │ │ │ │ ├── dag.rs │ │ │ │ ├── dag.v │ │ │ │ ├── mod.rs │ │ │ │ ├── mod.v │ │ │ │ ├── symbolic_expression.rs │ │ │ │ ├── symbolic_expression.v │ │ │ │ ├── symbolic_variable.rs │ │ │ │ └── symbolic_variable.v │ │ │ ├── chip.rs │ │ │ ├── chip.v │ │ │ ├── config.rs │ │ │ ├── config.v │ │ │ ├── engine.rs │ │ │ ├── engine.v │ │ │ ├── gkr │ │ │ ├── gate.rs │ │ │ ├── gate.v │ │ │ ├── mod.rs │ │ │ ├── prover.rs │ │ │ ├── prover.v │ │ │ ├── tests.rs │ │ │ ├── types.rs │ │ │ ├── types.v │ │ │ ├── verifier.rs │ │ │ └── verifier.v │ │ │ ├── interaction │ │ │ ├── debug.rs │ │ │ ├── debug.v │ │ │ ├── fri_log_up.rs │ │ │ ├── fri_log_up.v │ │ │ ├── links │ │ │ │ └── mod.v │ │ │ ├── mod.rs │ │ │ ├── mod.v │ │ │ ├── rap.rs │ │ │ ├── rap.v │ │ │ ├── trace.rs │ │ │ ├── trace.v │ │ │ ├── utils.rs │ │ │ └── utils.v │ │ │ ├── keygen │ │ │ ├── mod.rs │ │ │ ├── mod.v │ │ │ ├── types.rs │ │ │ ├── types.v │ │ │ ├── view.rs │ │ │ └── view.v │ │ │ ├── lib.rs │ │ │ ├── poly │ │ │ ├── mod.rs │ │ │ ├── multi.rs │ │ │ ├── multi.v │ │ │ ├── uni.rs │ │ │ └── uni.v │ │ │ ├── proof.rs │ │ │ ├── proof.v │ │ │ ├── prover │ │ │ ├── coordinator.rs │ │ │ ├── coordinator.v │ │ │ ├── cpu │ │ │ │ ├── mod.rs │ │ │ │ ├── mod.v │ │ │ │ ├── opener.rs │ │ │ │ ├── opener.v │ │ │ │ └── quotient │ │ │ │ │ ├── evaluator.rs │ │ │ │ │ ├── evaluator.v │ │ │ │ │ ├── mod.rs │ │ │ │ │ ├── mod.v │ │ │ │ │ ├── single.rs │ │ │ │ │ └── single.v │ │ │ ├── hal.rs │ │ │ ├── hal.v │ │ │ ├── helper.rs │ │ │ ├── helper.v │ │ │ ├── metrics.rs │ │ │ ├── metrics.v │ │ │ ├── mod.rs │ │ │ ├── mod.v │ │ │ ├── types.rs │ │ │ └── types.v │ │ │ ├── rap.rs │ │ │ ├── rap.v │ │ │ ├── sumcheck.rs │ │ │ ├── sumcheck.v │ │ │ ├── utils.rs │ │ │ ├── utils.v │ │ │ └── verifier │ │ │ ├── constraints.rs │ │ │ ├── constraints.v │ │ │ ├── error.rs │ │ │ ├── error.v │ │ │ ├── folder.rs │ │ │ ├── folder.v │ │ │ ├── mod.rs │ │ │ └── mod.v │ └── plonky3 │ │ └── commit_539bbc84 │ │ ├── air │ │ ├── air.rs │ │ ├── air.v │ │ ├── lib.rs │ │ ├── links │ │ │ ├── air.v │ │ │ └── utils.v │ │ ├── utils.rs │ │ ├── utils.v │ │ ├── virtual_column.rs │ │ └── virtual_column.v │ │ ├── blake3_air │ │ ├── air.rs │ │ ├── air.v │ │ ├── columns.rs │ │ ├── columns.v │ │ ├── constants.rs │ │ ├── constants.v │ │ ├── generation.rs │ │ ├── generation.v │ │ ├── lib.rs │ │ └── links │ │ │ ├── air.v │ │ │ ├── columns.v │ │ │ ├── constants.v │ │ │ └── generation.v │ │ ├── field │ │ ├── array.rs │ │ ├── array.v │ │ ├── batch_inverse.rs │ │ ├── batch_inverse.v │ │ ├── coset.rs │ │ ├── coset.v │ │ ├── exponentiation.rs │ │ ├── exponentiation.v │ │ ├── extension │ │ │ ├── binomial_extension.rs │ │ │ ├── binomial_extension.v │ │ │ ├── complex.rs │ │ │ ├── complex.v │ │ │ ├── mod.rs │ │ │ ├── mod.v │ │ │ ├── packed_binomial_extension.rs │ │ │ └── packed_binomial_extension.v │ │ ├── field.rs │ │ ├── field.v │ │ ├── helpers.rs │ │ ├── helpers.v │ │ ├── integers.rs │ │ ├── lib.rs │ │ ├── links │ │ │ └── field.v │ │ ├── packed.rs │ │ └── packed.v │ │ ├── keccak_air │ │ ├── air.rs │ │ ├── air.v │ │ ├── columns.rs │ │ ├── columns.v │ │ ├── constants.rs │ │ ├── constants.v │ │ ├── generation.rs │ │ ├── generation.v │ │ ├── lib.rs │ │ ├── lib.v │ │ ├── links │ │ │ ├── columns.v │ │ │ ├── constants.v │ │ │ ├── lib.v │ │ │ └── round_flags.v │ │ ├── round_flags.rs │ │ └── round_flags.v │ │ ├── matrix │ │ ├── bitrev.rs │ │ ├── bitrev.v │ │ ├── dense.rs │ │ ├── dense.v │ │ ├── extension.rs │ │ ├── extension.v │ │ ├── horizontally_truncated.rs │ │ ├── horizontally_truncated.v │ │ ├── lib.rs │ │ ├── lib.v │ │ ├── links │ │ │ ├── dense.v │ │ │ └── lib.v │ │ ├── mul.rs │ │ ├── mul.v │ │ ├── row_index_mapped.rs │ │ ├── row_index_mapped.v │ │ ├── sparse.rs │ │ ├── sparse.v │ │ ├── stack.rs │ │ ├── stack.v │ │ ├── strided.rs │ │ ├── strided.v │ │ ├── util.rs │ │ └── util.v │ │ ├── maybe-rayon │ │ ├── lib.rs │ │ ├── lib.v │ │ ├── serial.rs │ │ └── serial.v │ │ └── util │ │ ├── array_serialization.rs │ │ ├── array_serialization.v │ │ ├── lib.rs │ │ ├── lib.v │ │ ├── linear_map.rs │ │ ├── linear_map.v │ │ ├── transpose.rs │ │ ├── transpose.v │ │ ├── zip_eq.rs │ │ └── zip_eq.v ├── lib │ ├── Notations.v │ ├── lib.v │ ├── proofs │ │ └── lib.v │ ├── simulate │ │ └── lib.v │ └── simulations │ │ └── lib.v ├── links │ └── M.v ├── make_and_detect_warnings.py ├── move_sui │ ├── links │ │ ├── move_binary_format │ │ │ └── file_format.v │ │ └── move_bytecode_verifier │ │ │ └── type_safety.v │ ├── proofs │ │ ├── move_abstract_stack │ │ │ └── lib.v │ │ ├── move_binary_format │ │ │ └── file_format.v │ │ ├── move_bytecode_verifier │ │ │ └── type_safety.v │ │ ├── move_vm_runtime │ │ │ └── interpreter.v │ │ └── move_vm_types │ │ │ └── values │ │ │ └── values_impl.v │ ├── simulations │ │ ├── move_abstract_stack │ │ │ ├── lib.v │ │ │ └── unit_tests │ │ │ │ └── mod.v │ │ ├── move_binary_format │ │ │ ├── control_flow_graph.v │ │ │ ├── errors.v │ │ │ ├── file_format.v │ │ │ ├── file_format_common.v │ │ │ ├── file_format_index.v │ │ │ └── lib.v │ │ ├── move_bytecode_verifier │ │ │ ├── absint.v │ │ │ ├── constants.v │ │ │ ├── type_safety.v │ │ │ └── type_safety_tests │ │ │ │ └── mod.v │ │ ├── move_bytecode_verifier_meter │ │ │ └── lib.v │ │ ├── move_core_types │ │ │ ├── language_storage.v │ │ │ └── vm_status.v │ │ ├── move_vm_config │ │ │ └── runtime.v │ │ ├── move_vm_runtime │ │ │ ├── interpreter.v │ │ │ └── loader.v │ │ ├── move_vm_types │ │ │ └── values │ │ │ │ └── values_impl.v │ │ └── mutual │ │ │ └── lib.v │ └── translations │ │ ├── move_abstract_stack │ │ ├── lib.rs │ │ ├── lib.v │ │ └── unit_tests │ │ │ └── mod.rs │ │ ├── move_binary_format │ │ ├── binary_config.rs │ │ ├── binary_config.v │ │ ├── check_bounds.rs │ │ ├── check_bounds.v │ │ ├── compatibility.rs │ │ ├── compatibility.v │ │ ├── constant.rs │ │ ├── constant.v │ │ ├── control_flow_graph.rs │ │ ├── control_flow_graph.v │ │ ├── deserializer.rs │ │ ├── deserializer.v │ │ ├── errors.rs │ │ ├── errors.v │ │ ├── file_format.rs │ │ ├── file_format.v │ │ ├── file_format_common.rs │ │ ├── file_format_common.v │ │ ├── internals.rs │ │ ├── internals.v │ │ ├── lib.rs │ │ ├── lib.v │ │ ├── normalized.rs │ │ ├── normalized.v │ │ ├── proptest_types.rs │ │ ├── proptest_types │ │ │ ├── constants.rs │ │ │ ├── functions.rs │ │ │ ├── metadata.rs │ │ │ ├── signature.rs │ │ │ └── types.rs │ │ ├── serializer.rs │ │ ├── serializer.v │ │ └── unit_tests │ │ │ ├── binary_limits_tests.rs │ │ │ ├── binary_tests.rs │ │ │ ├── compatibility_tests.rs │ │ │ ├── control_flow_graph_tests.rs │ │ │ ├── deserializer_tests.rs │ │ │ ├── mod.rs │ │ │ ├── number_tests.rs │ │ │ └── signature_token_tests.rs │ │ ├── move_bytecode_verifier │ │ ├── ability_field_requirements.rs │ │ ├── ability_field_requirements.v │ │ ├── absint.rs │ │ ├── absint.v │ │ ├── acquires_list_verifier.rs │ │ ├── acquires_list_verifier.v │ │ ├── check_duplication.rs │ │ ├── check_duplication.v │ │ ├── code_unit_verifier.rs │ │ ├── code_unit_verifier.v │ │ ├── constants.rs │ │ ├── constants.v │ │ ├── control_flow.rs │ │ ├── control_flow.v │ │ ├── control_flow_v5.rs │ │ ├── control_flow_v5.v │ │ ├── cyclic_dependencies.rs │ │ ├── cyclic_dependencies.v │ │ ├── dependencies.rs │ │ ├── dependencies.v │ │ ├── friends.rs │ │ ├── friends.v │ │ ├── instantiation_loops.rs │ │ ├── instantiation_loops.v │ │ ├── instruction_consistency.rs │ │ ├── instruction_consistency.v │ │ ├── lib.rs │ │ ├── limits.rs │ │ ├── limits.v │ │ ├── locals_safety │ │ │ ├── abstract_state.rs │ │ │ ├── abstract_state.v │ │ │ ├── mod.rs │ │ │ └── mod.v │ │ ├── loop_summary.rs │ │ ├── loop_summary.v │ │ ├── reference_safety │ │ │ ├── abstract_state.rs │ │ │ ├── abstract_state.v │ │ │ ├── mod.rs │ │ │ └── mod.v │ │ ├── regression_tests │ │ │ ├── mod.rs │ │ │ └── reference_analysis.rs │ │ ├── script_signature.rs │ │ ├── script_signature.v │ │ ├── signature.rs │ │ ├── signature.v │ │ ├── stack_usage_verifier.rs │ │ ├── stack_usage_verifier.v │ │ ├── struct_defs.rs │ │ ├── struct_defs.v │ │ ├── type_safety.rs │ │ ├── type_safety.v │ │ ├── type_safety_tests │ │ │ └── mod.rs │ │ ├── verifier.rs │ │ └── verifier.v │ │ ├── move_bytecode_verifier_meter │ │ ├── bound.rs │ │ ├── bound.v │ │ ├── dummy.rs │ │ ├── dummy.v │ │ ├── lib.rs │ │ └── lib.v │ │ └── move_core_types │ │ ├── abi.rs │ │ ├── abi.v │ │ ├── account_address.rs │ │ ├── account_address.v │ │ ├── annotated_value.rs │ │ ├── annotated_value.v │ │ ├── annotated_visitor.rs │ │ ├── annotated_visitor.v │ │ ├── effects.rs │ │ ├── effects.v │ │ ├── errmap.rs │ │ ├── errmap.v │ │ ├── gas_algebra.rs │ │ ├── gas_algebra.v │ │ ├── identifier.rs │ │ ├── identifier.v │ │ ├── language_storage.rs │ │ ├── language_storage.v │ │ ├── lib.rs │ │ ├── lib.v │ │ ├── metadata.rs │ │ ├── metadata.v │ │ ├── move_resource.rs │ │ ├── move_resource.v │ │ ├── parser.rs │ │ ├── parser.v │ │ ├── proptest_types.rs │ │ ├── resolver.rs │ │ ├── resolver.v │ │ ├── runtime_value.rs │ │ ├── runtime_value.v │ │ ├── state.rs │ │ ├── state.v │ │ ├── transaction_argument.rs │ │ ├── transaction_argument.v │ │ ├── u256.rs │ │ ├── u256.v │ │ ├── unit_tests │ │ ├── identifier_test.rs │ │ ├── language_storage_test.rs │ │ ├── mod.rs │ │ ├── value_test.rs │ │ └── visitor_test.rs │ │ ├── vm_status.rs │ │ └── vm_status.v ├── of_json.py ├── p_token │ ├── Cargo.toml │ ├── README.md │ ├── entrypoint.rs │ ├── entrypoint.v │ ├── lib.rs │ ├── processor │ │ ├── amount_to_ui_amount.rs │ │ ├── amount_to_ui_amount.v │ │ ├── approve.rs │ │ ├── approve.v │ │ ├── approve_checked.rs │ │ ├── approve_checked.v │ │ ├── batch.rs │ │ ├── batch.v │ │ ├── burn.rs │ │ ├── burn.v │ │ ├── burn_checked.rs │ │ ├── burn_checked.v │ │ ├── close_account.rs │ │ ├── close_account.v │ │ ├── freeze_account.rs │ │ ├── freeze_account.v │ │ ├── get_account_data_size.rs │ │ ├── get_account_data_size.v │ │ ├── initialize_account.rs │ │ ├── initialize_account.v │ │ ├── initialize_account2.rs │ │ ├── initialize_account2.v │ │ ├── initialize_account3.rs │ │ ├── initialize_account3.v │ │ ├── initialize_immutable_owner.rs │ │ ├── initialize_immutable_owner.v │ │ ├── initialize_mint.rs │ │ ├── initialize_mint.v │ │ ├── initialize_mint2.rs │ │ ├── initialize_mint2.v │ │ ├── initialize_multisig.rs │ │ ├── initialize_multisig.v │ │ ├── initialize_multisig2.rs │ │ ├── initialize_multisig2.v │ │ ├── mint_to.rs │ │ ├── mint_to.v │ │ ├── mint_to_checked.rs │ │ ├── mint_to_checked.v │ │ ├── mod.rs │ │ ├── mod.v │ │ ├── revoke.rs │ │ ├── revoke.v │ │ ├── set_authority.rs │ │ ├── set_authority.v │ │ ├── shared │ │ │ ├── approve.rs │ │ │ ├── approve.v │ │ │ ├── burn.rs │ │ │ ├── burn.v │ │ │ ├── initialize_account.rs │ │ │ ├── initialize_account.v │ │ │ ├── initialize_mint.rs │ │ │ ├── initialize_mint.v │ │ │ ├── initialize_multisig.rs │ │ │ ├── initialize_multisig.v │ │ │ ├── mint_to.rs │ │ │ ├── mint_to.v │ │ │ ├── mod.rs │ │ │ ├── toggle_account_state.rs │ │ │ ├── toggle_account_state.v │ │ │ ├── transfer.rs │ │ │ └── transfer.v │ │ ├── sync_native.rs │ │ ├── sync_native.v │ │ ├── thaw_account.rs │ │ ├── thaw_account.v │ │ ├── transfer.rs │ │ ├── transfer.v │ │ ├── transfer_checked.rs │ │ ├── transfer_checked.v │ │ ├── ui_amount_to_amount.rs │ │ ├── ui_amount_to_amount.v │ │ ├── withdraw_excess_lamports.rs │ │ └── withdraw_excess_lamports.v │ ├── rust-toolchain │ └── tests │ │ ├── amount_to_ui_amount.rs │ │ ├── approve.rs │ │ ├── approve_checked.rs │ │ ├── batch.rs │ │ ├── burn.rs │ │ ├── burn_checked.rs │ │ ├── close_account.rs │ │ ├── freeze_account.rs │ │ ├── initialize_account.rs │ │ ├── initialize_account2.rs │ │ ├── initialize_account3.rs │ │ ├── initialize_mint.rs │ │ ├── initialize_mint2.rs │ │ ├── initialize_multisig.rs │ │ ├── initialize_multisig2.rs │ │ ├── mint_to.rs │ │ ├── mint_to_checked.rs │ │ ├── revoke.rs │ │ ├── set_authority.rs │ │ ├── setup │ │ ├── account.rs │ │ ├── mint.rs │ │ └── mod.rs │ │ ├── thaw_account.rs │ │ ├── transfer.rs │ │ ├── transfer_checked.rs │ │ ├── ui_amount_to_amount.rs │ │ └── withdraw_excess_lamports.rs ├── pinocchio │ ├── account_info.rs │ ├── account_info.v │ ├── cpi.rs │ ├── cpi.v │ ├── entrypoint │ │ ├── lazy.rs │ │ ├── lazy.v │ │ ├── links │ │ │ ├── lazy.v │ │ │ └── mod.v │ │ ├── mod.rs │ │ └── mod.v │ ├── instruction.rs │ ├── instruction.v │ ├── lib.rs │ ├── lib.v │ ├── links │ │ ├── account_info.v │ │ ├── cpi.v │ │ ├── instruction.v │ │ ├── lib.v │ │ ├── log.v │ │ ├── memory.v │ │ ├── program_error.v │ │ ├── pubkey.v │ │ └── syscalls.v │ ├── log.rs │ ├── log.v │ ├── memory.rs │ ├── memory.v │ ├── program_error.rs │ ├── program_error.v │ ├── pubkey.rs │ ├── pubkey.v │ ├── syscalls.rs │ ├── syscalls.v │ └── sysvars │ │ ├── clock.rs │ │ ├── clock.v │ │ ├── fees.rs │ │ ├── fees.v │ │ ├── instructions.rs │ │ ├── instructions.v │ │ ├── links │ │ ├── clock.v │ │ ├── fees.v │ │ ├── instructions.v │ │ ├── mod.v │ │ └── rent.v │ │ ├── mod.rs │ │ ├── mod.v │ │ ├── rent.rs │ │ └── rent.v ├── proofs │ ├── M.v │ └── integer.v ├── revm │ ├── .gitignore │ ├── check_files_structure.py │ ├── generate.py │ ├── revm_bytecode │ │ ├── bytecode.rs │ │ ├── bytecode.v │ │ ├── decode_errors.rs │ │ ├── decode_errors.v │ │ ├── eip7702.rs │ │ ├── eip7702.v │ │ ├── eof.rs │ │ ├── eof.v │ │ ├── eof │ │ │ ├── body.rs │ │ │ ├── body.v │ │ │ ├── decode_helpers.rs │ │ │ ├── decode_helpers.v │ │ │ ├── header.rs │ │ │ ├── header.v │ │ │ ├── links │ │ │ │ ├── body.v │ │ │ │ ├── body_EofBody.v │ │ │ │ ├── header.v │ │ │ │ └── types_section.v │ │ │ ├── printer.rs │ │ │ ├── printer.v │ │ │ ├── types_section.rs │ │ │ ├── types_section.v │ │ │ ├── verification.rs │ │ │ └── verification.v │ │ ├── legacy.rs │ │ ├── legacy │ │ │ ├── analyzed.rs │ │ │ ├── analyzed.v │ │ │ ├── jump_map.rs │ │ │ ├── jump_map.v │ │ │ ├── raw.rs │ │ │ └── raw.v │ │ ├── lib.rs │ │ ├── links │ │ │ ├── bytecode.v │ │ │ ├── eof.v │ │ │ └── opcode.v │ │ ├── opcode.rs │ │ ├── opcode.v │ │ ├── opcode │ │ │ ├── parse.rs │ │ │ └── parse.v │ │ ├── utils.rs │ │ └── utils.v │ ├── revm_context_interface │ │ ├── block.rs │ │ ├── block.v │ │ ├── block │ │ │ ├── blob.rs │ │ │ ├── blob.v │ │ │ └── links │ │ │ │ └── blob.v │ │ ├── cfg.rs │ │ ├── cfg.v │ │ ├── errors.rs │ │ ├── errors.v │ │ ├── host.rs │ │ ├── host.v │ │ ├── host │ │ │ ├── dummy.rs │ │ │ └── dummy.v │ │ ├── journaled_state.rs │ │ ├── journaled_state.v │ │ ├── lib.rs │ │ ├── links │ │ │ ├── block.v │ │ │ ├── cfg.v │ │ │ ├── host.v │ │ │ ├── journaled_state.v │ │ │ └── transaction.v │ │ ├── result.rs │ │ ├── result.v │ │ ├── transaction.rs │ │ ├── transaction.v │ │ └── transaction │ │ │ ├── access_list.rs │ │ │ ├── access_list.v │ │ │ ├── common.rs │ │ │ ├── common.v │ │ │ ├── eip1559.rs │ │ │ ├── eip1559.v │ │ │ ├── eip2930.rs │ │ │ ├── eip2930.v │ │ │ ├── eip4844.rs │ │ │ ├── eip4844.v │ │ │ ├── eip7702.rs │ │ │ ├── eip7702.v │ │ │ ├── legacy.rs │ │ │ ├── legacy.v │ │ │ ├── links │ │ │ ├── eip4844.v │ │ │ └── transaction_type.v │ │ │ ├── transaction_type.rs │ │ │ └── transaction_type.v │ ├── revm_interpreter │ │ ├── gas.rs │ │ ├── gas.v │ │ ├── gas │ │ │ ├── calc.rs │ │ │ ├── calc.v │ │ │ ├── constants.rs │ │ │ ├── constants.v │ │ │ ├── links │ │ │ │ ├── calc.v │ │ │ │ └── constants.v │ │ │ ├── simulate │ │ │ │ └── constants.v │ │ │ └── simulations │ │ │ │ ├── calc.v │ │ │ │ └── constants.v │ │ ├── instruction_result.rs │ │ ├── instruction_result.v │ │ ├── instructions.rs │ │ ├── instructions.v │ │ ├── instructions │ │ │ ├── arithmetic.rs │ │ │ ├── arithmetic.v │ │ │ ├── bitwise.rs │ │ │ ├── bitwise.v │ │ │ ├── block_info.rs │ │ │ ├── block_info.v │ │ │ ├── contract.rs │ │ │ ├── contract.v │ │ │ ├── contract │ │ │ │ ├── call_helpers.rs │ │ │ │ ├── call_helpers.v │ │ │ │ └── links │ │ │ │ │ └── call_helpers.v │ │ │ ├── control.rs │ │ │ ├── control.v │ │ │ ├── data.rs │ │ │ ├── data.v │ │ │ ├── host.rs │ │ │ ├── host.v │ │ │ ├── i256.rs │ │ │ ├── i256.v │ │ │ ├── links │ │ │ │ ├── arithmetic.v │ │ │ │ ├── bitwise.v │ │ │ │ ├── block_info.v │ │ │ │ ├── contract.v │ │ │ │ ├── contract │ │ │ │ │ ├── call.v │ │ │ │ │ ├── call_code.v │ │ │ │ │ ├── create.v │ │ │ │ │ ├── delegate_call.v │ │ │ │ │ ├── eofcreate.v │ │ │ │ │ ├── extcall.v │ │ │ │ │ ├── extcall_gas_calc.v │ │ │ │ │ ├── extcall_input.v │ │ │ │ │ ├── extdelegatecall.v │ │ │ │ │ ├── extstaticcall.v │ │ │ │ │ ├── pop_extcall_target_address.v │ │ │ │ │ ├── return_contract.v │ │ │ │ │ └── static_call.v │ │ │ │ ├── control.v │ │ │ │ ├── count_admitted.py │ │ │ │ ├── data.v │ │ │ │ ├── host.v │ │ │ │ ├── i256.v │ │ │ │ ├── memory.v │ │ │ │ ├── progress_on_links.md │ │ │ │ ├── stack.v │ │ │ │ ├── system.v │ │ │ │ ├── tx_info.v │ │ │ │ └── utility.v │ │ │ ├── macros.rs │ │ │ ├── memory.rs │ │ │ ├── memory.v │ │ │ ├── simulate │ │ │ │ └── arithmetic.v │ │ │ ├── simulations │ │ │ │ ├── arithmetic.v │ │ │ │ ├── i256.v │ │ │ │ └── macros.v │ │ │ ├── stack.rs │ │ │ ├── stack.v │ │ │ ├── system.rs │ │ │ ├── system.v │ │ │ ├── tx_info.rs │ │ │ ├── tx_info.v │ │ │ ├── utility.rs │ │ │ └── utility.v │ │ ├── interpreter.rs │ │ ├── interpreter.v │ │ ├── interpreter │ │ │ ├── ext_bytecode.rs │ │ │ ├── ext_bytecode.v │ │ │ ├── ext_bytecode │ │ │ │ └── serde.rs │ │ │ ├── input.rs │ │ │ ├── input.v │ │ │ ├── links │ │ │ │ ├── shared_memory.v │ │ │ │ └── stack.v │ │ │ ├── loop_control.rs │ │ │ ├── loop_control.v │ │ │ ├── return_data.rs │ │ │ ├── return_data.v │ │ │ ├── runtime_flags.rs │ │ │ ├── runtime_flags.v │ │ │ ├── serde.rs │ │ │ ├── shared_memory.rs │ │ │ ├── shared_memory.v │ │ │ ├── simulations │ │ │ │ └── stack.v │ │ │ ├── stack.rs │ │ │ ├── stack.v │ │ │ ├── subroutine_stack.rs │ │ │ └── subroutine_stack.v │ │ ├── interpreter_action.rs │ │ ├── interpreter_action.v │ │ ├── interpreter_action │ │ │ ├── call_inputs.rs │ │ │ ├── call_inputs.v │ │ │ ├── call_outcome.rs │ │ │ ├── call_outcome.v │ │ │ ├── create_inputs.rs │ │ │ ├── create_inputs.v │ │ │ ├── create_outcome.rs │ │ │ ├── create_outcome.v │ │ │ ├── eof_create_inputs.rs │ │ │ ├── eof_create_inputs.v │ │ │ └── links │ │ │ │ ├── call_inputs.v │ │ │ │ ├── create_inputs.v │ │ │ │ └── eof_create_inputs.v │ │ ├── interpreter_types.rs │ │ ├── interpreter_types.v │ │ ├── lib.rs │ │ ├── links │ │ │ ├── gas.v │ │ │ ├── instruction_result.v │ │ │ ├── instructions.v │ │ │ ├── interpreter.v │ │ │ ├── interpreter_Interpreter.v │ │ │ ├── interpreter_InterpreterResult.v │ │ │ ├── interpreter_action.v │ │ │ ├── interpreter_types.v │ │ │ └── table.v │ │ ├── macros.rs │ │ ├── simulate │ │ │ ├── gas.v │ │ │ └── interpreter_types.v │ │ ├── simulations │ │ │ └── gas.v │ │ ├── table.rs │ │ └── table.v │ ├── revm_precompile │ │ ├── blake2.rs │ │ ├── blake2.v │ │ ├── bls12_381.rs │ │ ├── bls12_381.v │ │ ├── bls12_381 │ │ │ ├── g1.rs │ │ │ ├── g1.v │ │ │ ├── g1_add.rs │ │ │ ├── g1_add.v │ │ │ ├── g1_msm.rs │ │ │ ├── g1_msm.v │ │ │ ├── g1_mul.rs │ │ │ ├── g1_mul.v │ │ │ ├── g2.rs │ │ │ ├── g2.v │ │ │ ├── g2_add.rs │ │ │ ├── g2_add.v │ │ │ ├── g2_msm.rs │ │ │ ├── g2_msm.v │ │ │ ├── g2_mul.rs │ │ │ ├── g2_mul.v │ │ │ ├── map_fp2_to_g2.rs │ │ │ ├── map_fp2_to_g2.v │ │ │ ├── map_fp_to_g1.rs │ │ │ ├── map_fp_to_g1.v │ │ │ ├── msm.rs │ │ │ ├── msm.v │ │ │ ├── pairing.rs │ │ │ ├── pairing.v │ │ │ ├── utils.rs │ │ │ └── utils.v │ │ ├── bn128.rs │ │ ├── bn128.v │ │ ├── hash.rs │ │ ├── hash.v │ │ ├── identity.rs │ │ ├── identity.v │ │ ├── interface.rs │ │ ├── interface.v │ │ ├── kzg_point_evaluation.rs │ │ ├── kzg_point_evaluation.v │ │ ├── lib.rs │ │ ├── lib.v │ │ ├── links │ │ │ └── interface.v │ │ ├── modexp.rs │ │ ├── modexp.v │ │ ├── secp256k1.rs │ │ ├── secp256k1.v │ │ ├── secp256r1.rs │ │ ├── utilities.rs │ │ └── utilities.v │ ├── revm_primitives │ │ ├── constants.rs │ │ ├── constants.v │ │ ├── lib.rs │ │ ├── lib.v │ │ ├── links │ │ │ └── lib.v │ │ └── simulations │ │ │ ├── constants.v │ │ │ └── lib.v │ ├── revm_specification │ │ ├── constants.rs │ │ ├── constants.v │ │ ├── eip170.rs │ │ ├── eip170.v │ │ ├── eip2.rs │ │ ├── eip2.v │ │ ├── eip2930.rs │ │ ├── eip4844.rs │ │ ├── eip4844.v │ │ ├── eip7702.rs │ │ ├── eip7702 │ │ │ ├── authorization_list.rs │ │ │ ├── authorization_list.v │ │ │ ├── constants.rs │ │ │ ├── constants.v │ │ │ ├── recovered_authorization.rs │ │ │ └── recovered_authorization.v │ │ ├── hardfork.rs │ │ ├── hardfork.v │ │ ├── lib.rs │ │ └── links │ │ │ └── hardfork.v │ └── types.v ├── rocq-of-rust.opam ├── ruint │ ├── add.rs │ ├── add.v │ ├── algorithms │ │ ├── add.rs │ │ ├── add.v │ │ ├── div │ │ │ ├── knuth.rs │ │ │ ├── knuth.v │ │ │ ├── mod.rs │ │ │ ├── mod.v │ │ │ ├── reciprocal.rs │ │ │ ├── reciprocal.v │ │ │ ├── small.rs │ │ │ └── small.v │ │ ├── gcd │ │ │ ├── gcd_old.rs │ │ │ ├── matrix.rs │ │ │ ├── matrix.v │ │ │ ├── mod.rs │ │ │ └── mod.v │ │ ├── mod.rs │ │ ├── mod.v │ │ ├── mul.rs │ │ ├── mul.v │ │ ├── mul_redc.rs │ │ ├── mul_redc.v │ │ ├── ops.rs │ │ ├── ops.v │ │ ├── primaility.rs │ │ ├── shift.rs │ │ └── shift.v │ ├── aliases.rs │ ├── aliases.v │ ├── base_convert.rs │ ├── base_convert.v │ ├── bit_arr.rs │ ├── bit_arr.v │ ├── bits.rs │ ├── bits.v │ ├── bytes.rs │ ├── bytes.v │ ├── cmp.rs │ ├── cmp.v │ ├── const_for.rs │ ├── div.rs │ ├── div.v │ ├── fmt.rs │ ├── fmt.v │ ├── from.rs │ ├── from.v │ ├── gcd.rs │ ├── gcd.v │ ├── lib.rs │ ├── lib.v │ ├── links │ │ ├── add.v │ │ ├── bits.v │ │ ├── bytes.v │ │ ├── cmp.v │ │ ├── div.v │ │ ├── from.v │ │ ├── lib.v │ │ ├── macros.v │ │ ├── modular.v │ │ ├── mul.v │ │ └── pow.v │ ├── log.rs │ ├── log.v │ ├── macros.rs │ ├── macros.v │ ├── modular.rs │ ├── modular.v │ ├── mul.rs │ ├── mul.v │ ├── pow.rs │ ├── pow.v │ ├── root.rs │ ├── root.v │ ├── simulate │ │ ├── add.v │ │ ├── cmp.v │ │ ├── div.v │ │ └── mul.v │ ├── special.rs │ ├── special.v │ ├── string.rs │ ├── string.v │ ├── support │ │ ├── alloy_rlp.rs │ │ ├── arbitrary.rs │ │ ├── ark_ff.rs │ │ ├── ark_ff_04.rs │ │ ├── bn_rs.rs │ │ ├── bytemuck.rs │ │ ├── fastrlp.rs │ │ ├── mod.rs │ │ ├── num_bigint.rs │ │ ├── num_traits.rs │ │ ├── postgres.rs │ │ ├── primitive_types.rs │ │ ├── proptest.rs │ │ ├── pyo3.rs │ │ ├── quickcheck.rs │ │ ├── rand.rs │ │ ├── rlp.rs │ │ ├── scale.rs │ │ ├── serde.rs │ │ ├── sqlx.rs │ │ ├── ssz.rs │ │ ├── valuable.rs │ │ └── zeroize.rs │ ├── utils.rs │ └── utils.v ├── simulate │ └── M.v ├── simulations │ ├── M.v │ └── integer.v ├── token-2022 │ ├── README.md │ ├── entrypoint.v │ ├── error.v │ ├── extension │ │ ├── confidential_transfer │ │ │ ├── account_info.v │ │ │ ├── ciphertext_extraction.v │ │ │ ├── instruction.v │ │ │ ├── mod.v │ │ │ ├── processor.v │ │ │ ├── split_proof_generation.v │ │ │ └── verify_proof.v │ │ ├── confidential_transfer_fee │ │ │ ├── account_info.v │ │ │ ├── instruction.v │ │ │ ├── mod.v │ │ │ └── processor.v │ │ ├── cpi_guard │ │ │ ├── instruction.v │ │ │ ├── mod.v │ │ │ └── processor.v │ │ ├── default_account_state │ │ │ ├── instruction.v │ │ │ ├── mod.v │ │ │ └── processor.v │ │ ├── group_member_pointer │ │ │ ├── instruction.v │ │ │ ├── mod.v │ │ │ └── processor.v │ │ ├── group_pointer │ │ │ ├── instruction.v │ │ │ ├── mod.v │ │ │ └── processor.v │ │ ├── immutable_owner.v │ │ ├── interest_bearing_mint │ │ │ ├── instruction.v │ │ │ ├── mod.v │ │ │ └── processor.v │ │ ├── memo_transfer │ │ │ ├── instruction.v │ │ │ ├── mod.v │ │ │ └── processor.v │ │ ├── metadata_pointer │ │ │ ├── instruction.v │ │ │ ├── mod.v │ │ │ └── processor.v │ │ ├── mint_close_authority.v │ │ ├── mod.v │ │ ├── non_transferable.v │ │ ├── permanent_delegate.v │ │ ├── reallocate.v │ │ ├── token_group │ │ │ ├── mod.v │ │ │ └── processor.v │ │ ├── token_metadata │ │ │ ├── mod.v │ │ │ └── processor.v │ │ ├── transfer_fee │ │ │ ├── instruction.v │ │ │ ├── mod.v │ │ │ └── processor.v │ │ └── transfer_hook │ │ │ ├── instruction.v │ │ │ ├── mod.v │ │ │ └── processor.v │ ├── generic_token_account.v │ ├── instruction.v │ ├── lib.v │ ├── native_mint.v │ ├── offchain.v │ ├── onchain.v │ ├── pod.v │ ├── pod_instruction.v │ ├── processor.v │ ├── proof.v │ └── state.v └── what_we_do.md ├── cli ├── Cargo.toml └── src │ └── main.rs ├── clippy.toml ├── contracts ├── README.md ├── source │ ├── erc20.rs │ └── erc721.rs ├── source_to_generated.py └── template │ ├── Cargo.toml │ └── src │ └── storage.rs ├── docs ├── BUILD.md ├── CONTRIBUTE.md ├── GUIDE.md ├── INTRO.md ├── PROOF.md └── PROOF_NEXT.md ├── examples ├── custom │ ├── add_one.rs │ ├── constructor_as_function.rs │ ├── hello_world.rs │ ├── if_let.rs_disabled │ ├── impl_param.rs │ ├── let_else.rs │ ├── loops.rs │ ├── loops_free.rs │ ├── module_duplicate.rs │ ├── mutations.rs │ ├── mutual_loop.rs │ ├── pattern_in_function_parameters.rs │ ├── polymorphic_associated_function.rs │ ├── polymorphic_constants.rs │ └── provided_method.rs ├── ink_contracts │ ├── basic_contract_caller.rs │ ├── call_runtime.rs │ ├── conditional_compilation.rs │ ├── contract_terminate.rs │ ├── contract_transfer.rs │ ├── custom_allocator.rs │ ├── custom_environment.rs │ ├── dns.rs │ ├── e2e_call_runtime.rs │ ├── erc1155.rs │ ├── erc20.rs │ ├── erc721.rs │ ├── flipper.rs │ ├── incrementer.rs │ ├── lang_err_integration_tests │ │ ├── call_builder.rs │ │ ├── call_builder_delegate.rs │ │ ├── constructors_return_value.rs │ │ ├── contract_ref.rs │ │ └── integration_flipper.rs │ ├── mapping_integration_tests.rs │ ├── mother.rs │ ├── multisig.rs │ ├── payment_channel.rs │ ├── set_code_hash.rs │ ├── set_code_hash │ │ └── updated_incrementer.rs │ ├── trait_erc20.rs │ ├── trait_flipper.rs │ ├── trait_incrementer.rs │ └── wildcard_selector.rs ├── monadic_transformation │ ├── example01.rs │ ├── example02.rs │ ├── example03.rs │ ├── example04.rs │ └── example05.rs ├── rust_book │ ├── attributes │ │ └── dead_code.rs │ ├── cargo │ │ └── concurrent_tests.rs │ ├── conversion │ │ ├── converting_to_string.rs │ │ ├── from.rs │ │ ├── into.rs │ │ ├── parsing_a_string.rs │ │ └── try_from_and_try_into.rs │ ├── custom_types │ │ ├── constants.rs │ │ ├── enums.rs │ │ ├── enums_c_like.rs │ │ ├── enums_testcase_linked_list.rs │ │ ├── enums_type_aliases_v1.rs │ │ ├── enums_type_aliases_v2.rs │ │ ├── enums_use.rs │ │ └── structures.rs │ ├── error_handling │ │ ├── aliases_for_result.rs │ │ ├── boxing_errors.rs │ │ ├── combinators_and_then.rs │ │ ├── combinators_map.rs │ │ ├── defining_an_error_type.rs │ │ ├── early_returns.rs │ │ ├── introducing_question_mark.rs │ │ ├── introducing_question_mark_is_an_replacement_for_deprecated_try.rs │ │ ├── iterating_over_results_collect_valid_values_and_failures_via_partition.rs │ │ ├── iterating_over_results_collect_valid_values_and_failures_via_partition_unwrapped.rs │ │ ├── iterating_over_results_collect_via_map_err_and_filter_map.rs │ │ ├── iterating_over_results_fail_entire_operation_via_collect.rs │ │ ├── iterating_over_results_failed.rs │ │ ├── iterating_over_results_handle_via_filter_map.rs │ │ ├── map_in_result_via_combinators.rs │ │ ├── map_in_result_via_match.rs │ │ ├── multiple_error_types.rs │ │ ├── option_and_unwrap.rs │ │ ├── other_uses_of_question_mark.rs │ │ ├── panic.rs │ │ ├── pulling_results_out_of_options.rs │ │ ├── pulling_results_out_of_options_with_stop_error_processing.rs │ │ ├── result_use_in_main.rs │ │ ├── unpacking_options_and_defaults_via_get_or_insert.rs │ │ ├── unpacking_options_and_defaults_via_get_or_insert_with.rs │ │ ├── unpacking_options_and_defaults_via_or.rs │ │ ├── unpacking_options_and_defaults_via_or_else.rs │ │ ├── unpacking_options_via_question_mark.rs │ │ └── wrapping_errors.rs │ ├── expressions │ │ ├── blocks.rs │ │ ├── const_underscore_expression.rs │ │ ├── statement.rs │ │ └── variable_binding_and_expression.rs │ ├── flow_of_control │ │ ├── for_and_iterators_into_iter.rs │ │ ├── for_and_iterators_iter.rs │ │ ├── for_and_iterators_iter_mut.rs │ │ ├── for_and_range_completely_inclusive.rs │ │ ├── for_and_range_inclusive_to_exclusive.rs │ │ ├── if_else.rs │ │ ├── if_let.rs │ │ ├── if_let_challenge.rs │ │ ├── if_let_dont_use_match.rs │ │ ├── if_let_match_enum_values.rs │ │ ├── infinite_loop.rs │ │ ├── loop_nesting_and_labels.rs │ │ ├── loop_returning_from_loops.rs │ │ ├── match.rs │ │ ├── match_binding.rs │ │ ├── match_binding_destructure_enum_variants.rs │ │ ├── match_destructuring_arrays_slices.rs │ │ ├── match_destructuring_enums.rs │ │ ├── match_destructuring_pointers_ref.rs │ │ ├── match_destructuring_structs.rs │ │ ├── match_destructuring_tuples.rs │ │ ├── match_destructuring_tuples_fixed.rs │ │ ├── match_guards.rs │ │ ├── match_guards_unreachable.rs │ │ ├── while.rs │ │ ├── while_let.rs │ │ └── while_let_match_is_weird.rs │ ├── functions │ │ ├── associated_functions_and_methods.rs │ │ ├── diverging_functions.rs │ │ ├── diverging_functions_example_sum_odd_numbers.rs │ │ ├── diverging_functions_no_info_in_return_type.rs │ │ ├── functions.rs │ │ ├── functions_closures.rs │ │ ├── functions_closures_as_input_parameters.rs │ │ ├── functions_closures_as_output_parameters.rs │ │ ├── functions_closures_capturing.rs │ │ ├── functions_closures_example_Iterator_any.rs │ │ ├── functions_closures_example_searching_through_iterators_Iterator_find.rs │ │ ├── functions_closures_example_searching_through_iterators_Iterator_position.rs │ │ ├── functions_closures_forced_capturing_with_move.rs │ │ ├── functions_closures_input_functions.rs │ │ ├── functions_closures_type_anonymity_define.rs │ │ ├── functions_closures_type_anonymity_define_and_use.rs │ │ ├── functions_order.rs │ │ └── higher_order_functions.rs │ ├── generics │ │ ├── generics.rs │ │ ├── generics_associated_types_problem.rs │ │ ├── generics_associated_types_solution.rs │ │ ├── generics_bounds.rs │ │ ├── generics_bounds_test_case_empty_bounds.rs │ │ ├── generics_functions.rs │ │ ├── generics_implementation.rs │ │ ├── generics_multiple_bounds.rs │ │ ├── generics_new_type_idiom.rs │ │ ├── generics_new_type_idiom_as_base_type.rs │ │ ├── generics_phantom_type.rs │ │ ├── generics_phantom_type_test_case_unit_clarification.rs │ │ ├── generics_traits.rs │ │ └── generics_where_clauses.rs │ ├── guessing_game │ │ └── guessing_game.rs │ ├── hello_world │ │ ├── formatted_print.rs │ │ └── hello_world.rs │ ├── macro_rules │ │ ├── macro_example.rs │ │ ├── macro_rules_designators.rs │ │ ├── macro_rules_dsl.rs │ │ ├── macro_rules_overload.rs │ │ ├── macro_rules_repeat.rs │ │ └── macro_rules_variadic_interfaces.rs │ ├── modules │ │ ├── struct_visibility.rs │ │ ├── super_and_self.rs │ │ ├── the_use_as_declaration.rs │ │ └── visibility.rs │ ├── primitives │ │ ├── arrays_and_slices.rs │ │ ├── compound_types.rs │ │ ├── literals_operators.rs │ │ └── tuples.rs │ ├── scoping_rules │ │ ├── scoping_rules_borrowing.rs │ │ ├── scoping_rules_borrowing_aliasing.rs │ │ ├── scoping_rules_borrowing_mutablity.rs │ │ ├── scoping_rules_borrowing_the_ref_pattern.rs │ │ ├── scoping_rules_lifetimes.rs │ │ ├── scoping_rules_lifetimes_bounds.rs │ │ ├── scoping_rules_lifetimes_coercion.rs │ │ ├── scoping_rules_lifetimes_elision.rs │ │ ├── scoping_rules_lifetimes_functions.rs │ │ ├── scoping_rules_lifetimes_methods.rs │ │ ├── scoping_rules_lifetimes_reference_lifetime_static.rs │ │ ├── scoping_rules_lifetimes_structs.rs │ │ ├── scoping_rules_lifetimes_traits.rs │ │ ├── scoping_rules_ownership_and_rules.rs │ │ ├── scoping_rules_ownership_and_rules_mutablity.rs │ │ ├── scoping_rules_ownership_and_rules_partial_moves.rs │ │ ├── scoping_rules_raii.rs │ │ └── scoping_rules_raii_desctructor.rs │ ├── std_library_types │ │ ├── arc.rs │ │ ├── box_stack_heap.rs │ │ ├── hash_map.rs │ │ ├── hash_map_alternate_or_custom_key_types.rs │ │ ├── hash_map_hash_set.rs │ │ ├── option.rs │ │ ├── panic.rs │ │ ├── rc.rs │ │ ├── result.rs │ │ ├── result_chaining_with_question_mark.rs │ │ ├── strings.rs │ │ ├── strings_byte_strings_as_non_utf8.rs │ │ ├── strings_literals_and_escapes.rs │ │ ├── strings_raw_string_literals.rs │ │ └── vectors.rs │ ├── std_misc │ │ ├── channels.rs │ │ ├── child_processes.rs │ │ ├── child_processes_pipes.rs │ │ ├── child_processes_wait.rs │ │ ├── file_io_create.rs │ │ ├── file_io_open.rs │ │ ├── file_io_read_lines.rs │ │ ├── file_io_read_lines_efficient_method.rs │ │ ├── filesystem_operations.rs │ │ ├── foreign_function_interface.rs │ │ ├── path.rs │ │ ├── program_arguments.rs │ │ ├── program_arguments_parsing.rs │ │ ├── threads.rs │ │ └── threads_test_case_map_reduce.rs │ ├── testing │ │ ├── documentation_testing.rs │ │ └── unit_testing.rs │ ├── traits │ │ ├── clone.rs │ │ ├── clone.thir │ │ ├── derive.rs │ │ ├── disambiguating_overlapping_traits.rs │ │ ├── drop.rs │ │ ├── hash.rs │ │ ├── impl_trait_as_return_type.rs │ │ ├── iterators.rs │ │ ├── operator_overloading.rs │ │ ├── returning_traits_with_dyn.rs │ │ ├── supertraits.rs │ │ ├── traits.rs │ │ └── traits_parms.rs │ ├── types │ │ ├── aliasing.rs │ │ ├── casting.rs │ │ ├── inference.rs │ │ └── literals.rs │ ├── unsafe_operations │ │ ├── calling_unsafe_functions.rs │ │ ├── inline_assembly.rs │ │ ├── inline_assembly_clobbered_registers.rs │ │ ├── inline_assembly_explicit_register_operands.rs │ │ ├── inline_assembly_inlateout_case_implemented.rs │ │ ├── inline_assembly_inlateout_case_non_used.rs │ │ ├── inline_assembly_inlateout_mul.rs │ │ ├── inline_assembly_inout.rs │ │ ├── inline_assembly_inputs_and_outputs.rs │ │ ├── inline_assembly_inputs_and_outputs_another_example.rs │ │ ├── inline_assembly_inputs_and_outputs_another_example_without_mov.rs │ │ ├── inline_assembly_labels.rs │ │ ├── inline_assembly_memory_address_operands.rs │ │ ├── inline_assembly_options.rs │ │ ├── inline_assembly_register_template_modifiers.rs │ │ ├── inline_assembly_scratch_register.rs │ │ ├── inline_assembly_symbol_operands_and_abi_clobbers.rs │ │ └── raw_pointers.rs │ └── variable_bindings │ │ ├── declare_first.rs │ │ ├── freezing.rs │ │ ├── mutability.rs │ │ ├── scope.rs │ │ ├── variable_bindings.rs │ │ └── variable_shadowing.rs └── subtle.rs ├── lib ├── Cargo.toml └── src │ ├── bin │ ├── cargo-rocq-of-rust.rs │ └── rocq-of-rust-rustc.rs │ ├── callbacks.rs │ ├── core.rs │ ├── env.rs │ ├── expression.rs │ ├── header.rs │ ├── lib.rs │ ├── options.rs │ ├── path.rs │ ├── pattern.rs │ ├── render.rs │ ├── rocq.rs │ ├── thir_expression.rs │ ├── thir_pattern.rs │ ├── thir_ty.rs │ ├── top_level.rs │ ├── ty.rs │ └── utils.rs ├── logo.png ├── run_tests.py └── rust-toolchain /.github/FUNDING.yml: -------------------------------------------------------------------------------- 1 | github: [formal-land] 2 | -------------------------------------------------------------------------------- /.github/workflows/rust.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/.github/workflows/rust.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/.gitmodules -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/README.md -------------------------------------------------------------------------------- /RocqOfRust/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/.gitignore -------------------------------------------------------------------------------- /RocqOfRust/M.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/M.v -------------------------------------------------------------------------------- /RocqOfRust/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/Makefile -------------------------------------------------------------------------------- /RocqOfRust/RecordUpdate.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/RecordUpdate.v -------------------------------------------------------------------------------- /RocqOfRust/RocqOfRust.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/RocqOfRust.v -------------------------------------------------------------------------------- /RocqOfRust/_CoqProject: -------------------------------------------------------------------------------- 1 | _RocqProject -------------------------------------------------------------------------------- /RocqOfRust/_RocqProject: -------------------------------------------------------------------------------- 1 | -R . RocqOfRust 2 | -arg -impredicative-set 3 | -------------------------------------------------------------------------------- /RocqOfRust/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/alloc/alloc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/alloc.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/alloc.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/alloc.v -------------------------------------------------------------------------------- /RocqOfRust/alloc/alloc/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/alloc/tests.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/borrow.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/borrow.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/borrow.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/borrow.v -------------------------------------------------------------------------------- /RocqOfRust/alloc/boxed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/boxed.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/boxed.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/boxed.v -------------------------------------------------------------------------------- /RocqOfRust/alloc/boxed/convert.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/boxed/convert.v -------------------------------------------------------------------------------- /RocqOfRust/alloc/boxed/iter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/boxed/iter.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/boxed/iter.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/boxed/iter.v -------------------------------------------------------------------------------- /RocqOfRust/alloc/boxed/thin.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/boxed/thin.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/boxed/thin.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/boxed/thin.v -------------------------------------------------------------------------------- /RocqOfRust/alloc/ffi/c_str.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/ffi/c_str.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/ffi/c_str.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/ffi/c_str.v -------------------------------------------------------------------------------- /RocqOfRust/alloc/ffi/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/ffi/mod.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/fmt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/fmt.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/fmt.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/fmt.v -------------------------------------------------------------------------------- /RocqOfRust/alloc/lib.miri.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/lib.miri.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/lib.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/links/alloc.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/links/alloc.v -------------------------------------------------------------------------------- /RocqOfRust/alloc/links/boxed.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/links/boxed.v -------------------------------------------------------------------------------- /RocqOfRust/alloc/links/raw_vec.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/links/raw_vec.v -------------------------------------------------------------------------------- /RocqOfRust/alloc/links/slice.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/links/slice.v -------------------------------------------------------------------------------- /RocqOfRust/alloc/links/string.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/links/string.v -------------------------------------------------------------------------------- /RocqOfRust/alloc/macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/macros.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/raw_vec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/raw_vec.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/raw_vec.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/raw_vec.v -------------------------------------------------------------------------------- /RocqOfRust/alloc/rc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/rc.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/rc.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/rc.v -------------------------------------------------------------------------------- /RocqOfRust/alloc/rc/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/rc/tests.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/slice.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/slice.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/slice.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/slice.v -------------------------------------------------------------------------------- /RocqOfRust/alloc/str.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/str.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/str.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/str.v -------------------------------------------------------------------------------- /RocqOfRust/alloc/string.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/string.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/string.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/string.v -------------------------------------------------------------------------------- /RocqOfRust/alloc/sync.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/sync.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/sync.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/sync.v -------------------------------------------------------------------------------- /RocqOfRust/alloc/sync/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/sync/tests.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/task.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/task.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/task.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/task.v -------------------------------------------------------------------------------- /RocqOfRust/alloc/testing/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/testing/mod.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/testing/rng.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/testing/rng.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/tests.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/vec/cow.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/vec/cow.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/vec/cow.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/vec/cow.v -------------------------------------------------------------------------------- /RocqOfRust/alloc/vec/drain.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/vec/drain.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/vec/drain.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/vec/drain.v -------------------------------------------------------------------------------- /RocqOfRust/alloc/vec/into_iter.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/vec/into_iter.v -------------------------------------------------------------------------------- /RocqOfRust/alloc/vec/is_zero.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/vec/is_zero.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/vec/is_zero.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/vec/is_zero.v -------------------------------------------------------------------------------- /RocqOfRust/alloc/vec/links/mod.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/vec/links/mod.v -------------------------------------------------------------------------------- /RocqOfRust/alloc/vec/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/vec/mod.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/vec/mod.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/vec/mod.v -------------------------------------------------------------------------------- /RocqOfRust/alloc/vec/splice.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/vec/splice.rs -------------------------------------------------------------------------------- /RocqOfRust/alloc/vec/splice.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/alloc/vec/splice.v -------------------------------------------------------------------------------- /RocqOfRust/blacklist.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/blacklist.txt -------------------------------------------------------------------------------- /RocqOfRust/bytes/buf/buf_impl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/buf/buf_impl.rs -------------------------------------------------------------------------------- /RocqOfRust/bytes/buf/buf_impl.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/buf/buf_impl.v -------------------------------------------------------------------------------- /RocqOfRust/bytes/buf/buf_mut.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/buf/buf_mut.rs -------------------------------------------------------------------------------- /RocqOfRust/bytes/buf/buf_mut.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/buf/buf_mut.v -------------------------------------------------------------------------------- /RocqOfRust/bytes/buf/chain.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/buf/chain.rs -------------------------------------------------------------------------------- /RocqOfRust/bytes/buf/chain.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/buf/chain.v -------------------------------------------------------------------------------- /RocqOfRust/bytes/buf/iter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/buf/iter.rs -------------------------------------------------------------------------------- /RocqOfRust/bytes/buf/iter.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/buf/iter.v -------------------------------------------------------------------------------- /RocqOfRust/bytes/buf/limit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/buf/limit.rs -------------------------------------------------------------------------------- /RocqOfRust/bytes/buf/limit.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/buf/limit.v -------------------------------------------------------------------------------- /RocqOfRust/bytes/buf/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/buf/mod.rs -------------------------------------------------------------------------------- /RocqOfRust/bytes/buf/reader.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/buf/reader.rs -------------------------------------------------------------------------------- /RocqOfRust/bytes/buf/reader.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/buf/reader.v -------------------------------------------------------------------------------- /RocqOfRust/bytes/buf/take.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/buf/take.rs -------------------------------------------------------------------------------- /RocqOfRust/bytes/buf/take.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/buf/take.v -------------------------------------------------------------------------------- /RocqOfRust/bytes/buf/vec_deque.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/buf/vec_deque.v -------------------------------------------------------------------------------- /RocqOfRust/bytes/buf/writer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/buf/writer.rs -------------------------------------------------------------------------------- /RocqOfRust/bytes/buf/writer.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/buf/writer.v -------------------------------------------------------------------------------- /RocqOfRust/bytes/bytes.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/bytes.rs -------------------------------------------------------------------------------- /RocqOfRust/bytes/bytes.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/bytes.v -------------------------------------------------------------------------------- /RocqOfRust/bytes/bytes_mut.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/bytes_mut.rs -------------------------------------------------------------------------------- /RocqOfRust/bytes/bytes_mut.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/bytes_mut.v -------------------------------------------------------------------------------- /RocqOfRust/bytes/fmt/debug.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/fmt/debug.rs -------------------------------------------------------------------------------- /RocqOfRust/bytes/fmt/debug.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/fmt/debug.v -------------------------------------------------------------------------------- /RocqOfRust/bytes/fmt/hex.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/fmt/hex.rs -------------------------------------------------------------------------------- /RocqOfRust/bytes/fmt/hex.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/fmt/hex.v -------------------------------------------------------------------------------- /RocqOfRust/bytes/fmt/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/fmt/mod.rs -------------------------------------------------------------------------------- /RocqOfRust/bytes/fmt/mod.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/fmt/mod.v -------------------------------------------------------------------------------- /RocqOfRust/bytes/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/lib.rs -------------------------------------------------------------------------------- /RocqOfRust/bytes/lib.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/lib.v -------------------------------------------------------------------------------- /RocqOfRust/bytes/links/bytes.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/links/bytes.v -------------------------------------------------------------------------------- /RocqOfRust/bytes/loom.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/loom.rs -------------------------------------------------------------------------------- /RocqOfRust/bytes/loom.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/loom.v -------------------------------------------------------------------------------- /RocqOfRust/bytes/serde.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/bytes/serde.rs -------------------------------------------------------------------------------- /RocqOfRust/core/alloc/global.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/alloc/global.rs -------------------------------------------------------------------------------- /RocqOfRust/core/alloc/global.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/alloc/global.v -------------------------------------------------------------------------------- /RocqOfRust/core/alloc/layout.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/alloc/layout.rs -------------------------------------------------------------------------------- /RocqOfRust/core/alloc/layout.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/alloc/layout.v -------------------------------------------------------------------------------- /RocqOfRust/core/alloc/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/alloc/mod.rs -------------------------------------------------------------------------------- /RocqOfRust/core/alloc/mod.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/alloc/mod.v -------------------------------------------------------------------------------- /RocqOfRust/core/any.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/any.rs -------------------------------------------------------------------------------- /RocqOfRust/core/any.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/any.v -------------------------------------------------------------------------------- /RocqOfRust/core/arch.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/arch.rs -------------------------------------------------------------------------------- /RocqOfRust/core/arch.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/arch.v -------------------------------------------------------------------------------- /RocqOfRust/core/array/ascii.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/array/ascii.rs -------------------------------------------------------------------------------- /RocqOfRust/core/array/ascii.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/array/ascii.v -------------------------------------------------------------------------------- /RocqOfRust/core/array/drain.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/array/drain.rs -------------------------------------------------------------------------------- /RocqOfRust/core/array/drain.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/array/drain.v -------------------------------------------------------------------------------- /RocqOfRust/core/array/equality.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/array/equality.v -------------------------------------------------------------------------------- /RocqOfRust/core/array/iter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/array/iter.rs -------------------------------------------------------------------------------- /RocqOfRust/core/array/iter.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/array/iter.v -------------------------------------------------------------------------------- /RocqOfRust/core/array/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/array/mod.rs -------------------------------------------------------------------------------- /RocqOfRust/core/array/mod.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/array/mod.v -------------------------------------------------------------------------------- /RocqOfRust/core/ascii.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ascii.rs -------------------------------------------------------------------------------- /RocqOfRust/core/ascii.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ascii.v -------------------------------------------------------------------------------- /RocqOfRust/core/asserting.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/asserting.rs -------------------------------------------------------------------------------- /RocqOfRust/core/asserting.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/asserting.v -------------------------------------------------------------------------------- /RocqOfRust/core/bool.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/bool.rs -------------------------------------------------------------------------------- /RocqOfRust/core/bool.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/bool.v -------------------------------------------------------------------------------- /RocqOfRust/core/borrow.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/borrow.rs -------------------------------------------------------------------------------- /RocqOfRust/core/borrow.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/borrow.v -------------------------------------------------------------------------------- /RocqOfRust/core/cell.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/cell.rs -------------------------------------------------------------------------------- /RocqOfRust/core/cell.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/cell.v -------------------------------------------------------------------------------- /RocqOfRust/core/cell/lazy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/cell/lazy.rs -------------------------------------------------------------------------------- /RocqOfRust/core/cell/lazy.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/cell/lazy.v -------------------------------------------------------------------------------- /RocqOfRust/core/cell/once.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/cell/once.rs -------------------------------------------------------------------------------- /RocqOfRust/core/cell/once.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/cell/once.v -------------------------------------------------------------------------------- /RocqOfRust/core/char/convert.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/char/convert.rs -------------------------------------------------------------------------------- /RocqOfRust/core/char/convert.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/char/convert.v -------------------------------------------------------------------------------- /RocqOfRust/core/char/decode.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/char/decode.rs -------------------------------------------------------------------------------- /RocqOfRust/core/char/decode.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/char/decode.v -------------------------------------------------------------------------------- /RocqOfRust/core/char/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/char/mod.rs -------------------------------------------------------------------------------- /RocqOfRust/core/char/mod.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/char/mod.v -------------------------------------------------------------------------------- /RocqOfRust/core/clone.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/clone.rs -------------------------------------------------------------------------------- /RocqOfRust/core/clone.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/clone.v -------------------------------------------------------------------------------- /RocqOfRust/core/cmp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/cmp.rs -------------------------------------------------------------------------------- /RocqOfRust/core/cmp.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/cmp.v -------------------------------------------------------------------------------- /RocqOfRust/core/convert/mod.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/convert/mod.v -------------------------------------------------------------------------------- /RocqOfRust/core/convert/num.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/convert/num.v -------------------------------------------------------------------------------- /RocqOfRust/core/default.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/default.rs -------------------------------------------------------------------------------- /RocqOfRust/core/default.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/default.v -------------------------------------------------------------------------------- /RocqOfRust/core/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/error.rs -------------------------------------------------------------------------------- /RocqOfRust/core/error.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/error.v -------------------------------------------------------------------------------- /RocqOfRust/core/escape.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/escape.rs -------------------------------------------------------------------------------- /RocqOfRust/core/escape.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/escape.v -------------------------------------------------------------------------------- /RocqOfRust/core/ffi/c_char.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ffi/c_char.md -------------------------------------------------------------------------------- /RocqOfRust/core/ffi/c_int.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ffi/c_int.md -------------------------------------------------------------------------------- /RocqOfRust/core/ffi/c_long.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ffi/c_long.md -------------------------------------------------------------------------------- /RocqOfRust/core/ffi/c_str.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ffi/c_str.rs -------------------------------------------------------------------------------- /RocqOfRust/core/ffi/c_str.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ffi/c_str.v -------------------------------------------------------------------------------- /RocqOfRust/core/ffi/c_uint.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ffi/c_uint.md -------------------------------------------------------------------------------- /RocqOfRust/core/ffi/c_void.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ffi/c_void.md -------------------------------------------------------------------------------- /RocqOfRust/core/ffi/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ffi/mod.rs -------------------------------------------------------------------------------- /RocqOfRust/core/ffi/mod.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ffi/mod.v -------------------------------------------------------------------------------- /RocqOfRust/core/ffi/va_list.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ffi/va_list.v -------------------------------------------------------------------------------- /RocqOfRust/core/fmt/float.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/fmt/float.rs -------------------------------------------------------------------------------- /RocqOfRust/core/fmt/float.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/fmt/float.v -------------------------------------------------------------------------------- /RocqOfRust/core/fmt/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/fmt/mod.rs -------------------------------------------------------------------------------- /RocqOfRust/core/fmt/mod.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/fmt/mod.v -------------------------------------------------------------------------------- /RocqOfRust/core/fmt/num.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/fmt/num.rs -------------------------------------------------------------------------------- /RocqOfRust/core/fmt/num.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/fmt/num.v -------------------------------------------------------------------------------- /RocqOfRust/core/fmt/rt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/fmt/rt.rs -------------------------------------------------------------------------------- /RocqOfRust/core/fmt/rt.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/fmt/rt.v -------------------------------------------------------------------------------- /RocqOfRust/core/future/join.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/future/join.v -------------------------------------------------------------------------------- /RocqOfRust/core/future/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/future/mod.rs -------------------------------------------------------------------------------- /RocqOfRust/core/future/mod.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/future/mod.v -------------------------------------------------------------------------------- /RocqOfRust/core/hash/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/hash/mod.rs -------------------------------------------------------------------------------- /RocqOfRust/core/hash/mod.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/hash/mod.v -------------------------------------------------------------------------------- /RocqOfRust/core/hash/sip.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/hash/sip.rs -------------------------------------------------------------------------------- /RocqOfRust/core/hash/sip.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/hash/sip.v -------------------------------------------------------------------------------- /RocqOfRust/core/hint.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/hint.rs -------------------------------------------------------------------------------- /RocqOfRust/core/hint.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/hint.v -------------------------------------------------------------------------------- /RocqOfRust/core/io/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/io/mod.rs -------------------------------------------------------------------------------- /RocqOfRust/core/iter/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/iter/mod.rs -------------------------------------------------------------------------------- /RocqOfRust/core/iter/range.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/iter/range.rs -------------------------------------------------------------------------------- /RocqOfRust/core/iter/range.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/iter/range.v -------------------------------------------------------------------------------- /RocqOfRust/core/lib.miri.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/lib.miri.rs -------------------------------------------------------------------------------- /RocqOfRust/core/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/lib.rs -------------------------------------------------------------------------------- /RocqOfRust/core/links/array.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/links/array.v -------------------------------------------------------------------------------- /RocqOfRust/core/links/clone.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/links/clone.v -------------------------------------------------------------------------------- /RocqOfRust/core/links/cmp.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/links/cmp.v -------------------------------------------------------------------------------- /RocqOfRust/core/links/error.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/links/error.v -------------------------------------------------------------------------------- /RocqOfRust/core/links/hint.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/links/hint.v -------------------------------------------------------------------------------- /RocqOfRust/core/links/ptr.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/links/ptr.v -------------------------------------------------------------------------------- /RocqOfRust/core/macros/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/macros/mod.rs -------------------------------------------------------------------------------- /RocqOfRust/core/marker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/marker.rs -------------------------------------------------------------------------------- /RocqOfRust/core/marker.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/marker.v -------------------------------------------------------------------------------- /RocqOfRust/core/mem/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/mem/mod.rs -------------------------------------------------------------------------------- /RocqOfRust/core/mem/mod.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/mem/mod.v -------------------------------------------------------------------------------- /RocqOfRust/core/net/ip_addr.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/net/ip_addr.v -------------------------------------------------------------------------------- /RocqOfRust/core/net/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/net/mod.rs -------------------------------------------------------------------------------- /RocqOfRust/core/net/parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/net/parser.rs -------------------------------------------------------------------------------- /RocqOfRust/core/net/parser.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/net/parser.v -------------------------------------------------------------------------------- /RocqOfRust/core/num/bignum.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/num/bignum.rs -------------------------------------------------------------------------------- /RocqOfRust/core/num/bignum.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/num/bignum.v -------------------------------------------------------------------------------- /RocqOfRust/core/num/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/num/error.rs -------------------------------------------------------------------------------- /RocqOfRust/core/num/error.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/num/error.v -------------------------------------------------------------------------------- /RocqOfRust/core/num/f128.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/num/f128.rs -------------------------------------------------------------------------------- /RocqOfRust/core/num/f128.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/num/f128.v -------------------------------------------------------------------------------- /RocqOfRust/core/num/f16.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/num/f16.rs -------------------------------------------------------------------------------- /RocqOfRust/core/num/f16.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/num/f16.v -------------------------------------------------------------------------------- /RocqOfRust/core/num/f32.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/num/f32.rs -------------------------------------------------------------------------------- /RocqOfRust/core/num/f32.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/num/f32.v -------------------------------------------------------------------------------- /RocqOfRust/core/num/f64.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/num/f64.rs -------------------------------------------------------------------------------- /RocqOfRust/core/num/f64.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/num/f64.v -------------------------------------------------------------------------------- /RocqOfRust/core/num/fmt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/num/fmt.rs -------------------------------------------------------------------------------- /RocqOfRust/core/num/fmt.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/num/fmt.v -------------------------------------------------------------------------------- /RocqOfRust/core/num/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/num/mod.rs -------------------------------------------------------------------------------- /RocqOfRust/core/num/mod.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/num/mod.v -------------------------------------------------------------------------------- /RocqOfRust/core/num/nonzero.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/num/nonzero.v -------------------------------------------------------------------------------- /RocqOfRust/core/ops/arith.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ops/arith.rs -------------------------------------------------------------------------------- /RocqOfRust/core/ops/arith.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ops/arith.v -------------------------------------------------------------------------------- /RocqOfRust/core/ops/bit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ops/bit.rs -------------------------------------------------------------------------------- /RocqOfRust/core/ops/bit.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ops/bit.v -------------------------------------------------------------------------------- /RocqOfRust/core/ops/deref.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ops/deref.rs -------------------------------------------------------------------------------- /RocqOfRust/core/ops/deref.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ops/deref.v -------------------------------------------------------------------------------- /RocqOfRust/core/ops/drop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ops/drop.rs -------------------------------------------------------------------------------- /RocqOfRust/core/ops/drop.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ops/drop.v -------------------------------------------------------------------------------- /RocqOfRust/core/ops/index.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ops/index.rs -------------------------------------------------------------------------------- /RocqOfRust/core/ops/index.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ops/index.v -------------------------------------------------------------------------------- /RocqOfRust/core/ops/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ops/mod.rs -------------------------------------------------------------------------------- /RocqOfRust/core/ops/range.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ops/range.rs -------------------------------------------------------------------------------- /RocqOfRust/core/ops/range.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ops/range.v -------------------------------------------------------------------------------- /RocqOfRust/core/ops/unsize.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ops/unsize.rs -------------------------------------------------------------------------------- /RocqOfRust/core/ops/unsize.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ops/unsize.v -------------------------------------------------------------------------------- /RocqOfRust/core/option.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/option.rs -------------------------------------------------------------------------------- /RocqOfRust/core/option.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/option.v -------------------------------------------------------------------------------- /RocqOfRust/core/panic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/panic.rs -------------------------------------------------------------------------------- /RocqOfRust/core/panic.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/panic.v -------------------------------------------------------------------------------- /RocqOfRust/core/panicking.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/panicking.rs -------------------------------------------------------------------------------- /RocqOfRust/core/panicking.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/panicking.v -------------------------------------------------------------------------------- /RocqOfRust/core/pat.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/pat.rs -------------------------------------------------------------------------------- /RocqOfRust/core/pin.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/pin.rs -------------------------------------------------------------------------------- /RocqOfRust/core/pin.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/pin.v -------------------------------------------------------------------------------- /RocqOfRust/core/primitive.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/primitive.rs -------------------------------------------------------------------------------- /RocqOfRust/core/ptr/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ptr/mod.rs -------------------------------------------------------------------------------- /RocqOfRust/core/ptr/mod.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ptr/mod.v -------------------------------------------------------------------------------- /RocqOfRust/core/ptr/mut_ptr.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ptr/mut_ptr.v -------------------------------------------------------------------------------- /RocqOfRust/core/ptr/unique.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ptr/unique.rs -------------------------------------------------------------------------------- /RocqOfRust/core/ptr/unique.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ptr/unique.v -------------------------------------------------------------------------------- /RocqOfRust/core/random.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/random.rs -------------------------------------------------------------------------------- /RocqOfRust/core/random.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/random.v -------------------------------------------------------------------------------- /RocqOfRust/core/range.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/range.rs -------------------------------------------------------------------------------- /RocqOfRust/core/range.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/range.v -------------------------------------------------------------------------------- /RocqOfRust/core/range/iter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/range/iter.rs -------------------------------------------------------------------------------- /RocqOfRust/core/range/iter.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/range/iter.v -------------------------------------------------------------------------------- /RocqOfRust/core/result.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/result.rs -------------------------------------------------------------------------------- /RocqOfRust/core/result.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/result.v -------------------------------------------------------------------------------- /RocqOfRust/core/slice/ascii.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/slice/ascii.v -------------------------------------------------------------------------------- /RocqOfRust/core/slice/cmp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/slice/cmp.rs -------------------------------------------------------------------------------- /RocqOfRust/core/slice/cmp.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/slice/cmp.v -------------------------------------------------------------------------------- /RocqOfRust/core/slice/index.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/slice/index.v -------------------------------------------------------------------------------- /RocqOfRust/core/slice/iter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/slice/iter.rs -------------------------------------------------------------------------------- /RocqOfRust/core/slice/iter.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/slice/iter.v -------------------------------------------------------------------------------- /RocqOfRust/core/slice/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/slice/mod.rs -------------------------------------------------------------------------------- /RocqOfRust/core/slice/mod.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/slice/mod.v -------------------------------------------------------------------------------- /RocqOfRust/core/slice/raw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/slice/raw.rs -------------------------------------------------------------------------------- /RocqOfRust/core/slice/raw.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/slice/raw.v -------------------------------------------------------------------------------- /RocqOfRust/core/str/count.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/str/count.rs -------------------------------------------------------------------------------- /RocqOfRust/core/str/count.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/str/count.v -------------------------------------------------------------------------------- /RocqOfRust/core/str/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/str/error.rs -------------------------------------------------------------------------------- /RocqOfRust/core/str/error.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/str/error.v -------------------------------------------------------------------------------- /RocqOfRust/core/str/iter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/str/iter.rs -------------------------------------------------------------------------------- /RocqOfRust/core/str/iter.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/str/iter.v -------------------------------------------------------------------------------- /RocqOfRust/core/str/lossy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/str/lossy.rs -------------------------------------------------------------------------------- /RocqOfRust/core/str/lossy.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/str/lossy.v -------------------------------------------------------------------------------- /RocqOfRust/core/str/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/str/mod.rs -------------------------------------------------------------------------------- /RocqOfRust/core/str/mod.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/str/mod.v -------------------------------------------------------------------------------- /RocqOfRust/core/str/pattern.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/str/pattern.v -------------------------------------------------------------------------------- /RocqOfRust/core/str/traits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/str/traits.rs -------------------------------------------------------------------------------- /RocqOfRust/core/str/traits.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/str/traits.v -------------------------------------------------------------------------------- /RocqOfRust/core/sync/atomic.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/sync/atomic.v -------------------------------------------------------------------------------- /RocqOfRust/core/sync/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/sync/mod.rs -------------------------------------------------------------------------------- /RocqOfRust/core/task/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/task/mod.rs -------------------------------------------------------------------------------- /RocqOfRust/core/task/poll.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/task/poll.rs -------------------------------------------------------------------------------- /RocqOfRust/core/task/poll.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/task/poll.v -------------------------------------------------------------------------------- /RocqOfRust/core/task/ready.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/task/ready.rs -------------------------------------------------------------------------------- /RocqOfRust/core/task/wake.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/task/wake.rs -------------------------------------------------------------------------------- /RocqOfRust/core/task/wake.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/task/wake.v -------------------------------------------------------------------------------- /RocqOfRust/core/time.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/time.rs -------------------------------------------------------------------------------- /RocqOfRust/core/time.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/time.v -------------------------------------------------------------------------------- /RocqOfRust/core/tuple.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/tuple.rs -------------------------------------------------------------------------------- /RocqOfRust/core/tuple.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/tuple.v -------------------------------------------------------------------------------- /RocqOfRust/core/ub_checks.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ub_checks.rs -------------------------------------------------------------------------------- /RocqOfRust/core/ub_checks.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/ub_checks.v -------------------------------------------------------------------------------- /RocqOfRust/core/unicode/mod.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/unicode/mod.v -------------------------------------------------------------------------------- /RocqOfRust/core/unit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/unit.rs -------------------------------------------------------------------------------- /RocqOfRust/core/unit.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/core/unit.v -------------------------------------------------------------------------------- /RocqOfRust/count_modules.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/count_modules.py -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/custom/add_one.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/custom/constructor_as_function.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/custom/hello_world.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/custom/impl_param.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/custom/let_else.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/custom/loops.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/custom/loops_free.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/custom/module_duplicate.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/custom/mutations.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/custom/mutual_loop.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/custom/pattern_in_function_parameters.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/custom/polymorphic_associated_function.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/custom/polymorphic_constants.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/custom/provided_method.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/basic_contract_caller.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/call_runtime.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/conditional_compilation.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/contract_terminate.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/contract_transfer.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/custom_allocator.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/custom_environment.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/dns.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/e2e_call_runtime.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/erc1155.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/erc20.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/erc721.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/flipper.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/incrementer.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/lang_err_integration_tests/call_builder.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/lang_err_integration_tests/call_builder_delegate.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/lang_err_integration_tests/constructors_return_value.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/lang_err_integration_tests/contract_ref.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/lang_err_integration_tests/integration_flipper.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/mapping_integration_tests.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/mother.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/multisig.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/payment_channel.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/set_code_hash.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/set_code_hash/updated_incrementer.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/trait_erc20.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/trait_flipper.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/trait_incrementer.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/ink_contracts/wildcard_selector.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/monadic_transformation/example01.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/monadic_transformation/example02.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/monadic_transformation/example03.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/monadic_transformation/example04.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/monadic_transformation/example05.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/attributes/dead_code.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/cargo/concurrent_tests.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/conversion/converting_to_string.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/conversion/from.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/conversion/into.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/conversion/parsing_a_string.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/conversion/try_from_and_try_into.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/custom_types/constants.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/custom_types/enums.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/custom_types/enums_c_like.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/custom_types/enums_testcase_linked_list.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/custom_types/enums_type_aliases_v1.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/custom_types/enums_type_aliases_v2.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/custom_types/enums_use.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/custom_types/structures.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/error_handling/aliases_for_result.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/error_handling/boxing_errors.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/error_handling/combinators_and_then.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/error_handling/combinators_map.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/error_handling/defining_an_error_type.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/error_handling/early_returns.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/error_handling/introducing_question_mark.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/error_handling/iterating_over_results_failed.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/error_handling/iterating_over_results_handle_via_filter_map.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/error_handling/map_in_result_via_combinators.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/error_handling/map_in_result_via_match.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/error_handling/multiple_error_types.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/error_handling/option_and_unwrap.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/error_handling/other_uses_of_question_mark.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/error_handling/panic.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/error_handling/pulling_results_out_of_options.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/error_handling/result_use_in_main.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/error_handling/unpacking_options_and_defaults_via_get_or_insert.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/error_handling/unpacking_options_and_defaults_via_or.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/error_handling/unpacking_options_and_defaults_via_or_else.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/error_handling/unpacking_options_via_question_mark.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/error_handling/wrapping_errors.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/expressions/blocks.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/expressions/const_underscore_expression.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/expressions/statement.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/expressions/variable_binding_and_expression.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/flow_of_control/for_and_iterators_into_iter.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/flow_of_control/for_and_iterators_iter.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/flow_of_control/for_and_iterators_iter_mut.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/flow_of_control/for_and_range_completely_inclusive.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/flow_of_control/for_and_range_inclusive_to_exclusive.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/flow_of_control/if_else.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/flow_of_control/if_let.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/flow_of_control/if_let_challenge.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/flow_of_control/if_let_dont_use_match.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/flow_of_control/if_let_match_enum_values.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/flow_of_control/infinite_loop.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/flow_of_control/loop_nesting_and_labels.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/flow_of_control/loop_returning_from_loops.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/flow_of_control/match.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/flow_of_control/match_binding.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/flow_of_control/match_binding_destructure_enum_variants.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/flow_of_control/match_destructuring_arrays_slices.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/flow_of_control/match_destructuring_enums.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/flow_of_control/match_destructuring_pointers_ref.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/flow_of_control/match_destructuring_structs.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/flow_of_control/match_destructuring_tuples.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/flow_of_control/match_destructuring_tuples_fixed.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/flow_of_control/match_guards.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/flow_of_control/match_guards_unreachable.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/flow_of_control/while.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/flow_of_control/while_let.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/flow_of_control/while_let_match_is_weird.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/functions/associated_functions_and_methods.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/functions/diverging_functions.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/functions/diverging_functions_example_sum_odd_numbers.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/functions/diverging_functions_no_info_in_return_type.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/functions/functions.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/functions/functions_closures.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/functions/functions_closures_as_input_parameters.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/functions/functions_closures_as_output_parameters.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/functions/functions_closures_capturing.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/functions/functions_closures_example_Iterator_any.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/functions/functions_closures_forced_capturing_with_move.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/functions/functions_closures_input_functions.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/functions/functions_closures_type_anonymity_define.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/functions/functions_closures_type_anonymity_define_and_use.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/functions/functions_order.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/functions/higher_order_functions.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/generics/generics.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/generics/generics_associated_types_problem.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/generics/generics_associated_types_solution.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/generics/generics_bounds.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/generics/generics_bounds_test_case_empty_bounds.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/generics/generics_functions.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/generics/generics_implementation.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/generics/generics_multiple_bounds.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/generics/generics_new_type_idiom.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/generics/generics_new_type_idiom_as_base_type.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/generics/generics_phantom_type.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/generics/generics_phantom_type_test_case_unit_clarification.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/generics/generics_traits.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/generics/generics_where_clauses.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/guessing_game/guessing_game.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/hello_world/formatted_print.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/hello_world/hello_world.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/macro_rules/macro_example.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/macro_rules/macro_rules_designators.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/macro_rules/macro_rules_dsl.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/macro_rules/macro_rules_overload.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/macro_rules/macro_rules_repeat.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/macro_rules/macro_rules_variadic_interfaces.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/modules/struct_visibility.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/modules/super_and_self.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/modules/the_use_as_declaration.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/modules/visibility.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/primitives/arrays_and_slices.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/primitives/compound_types.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/primitives/literals_operators.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/primitives/tuples.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/scoping_rules/scoping_rules_borrowing.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/scoping_rules/scoping_rules_borrowing_aliasing.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/scoping_rules/scoping_rules_borrowing_mutablity.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/scoping_rules/scoping_rules_borrowing_the_ref_pattern.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/scoping_rules/scoping_rules_lifetimes.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/scoping_rules/scoping_rules_lifetimes_bounds.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/scoping_rules/scoping_rules_lifetimes_coercion.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/scoping_rules/scoping_rules_lifetimes_elision.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/scoping_rules/scoping_rules_lifetimes_functions.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/scoping_rules/scoping_rules_lifetimes_methods.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/scoping_rules/scoping_rules_lifetimes_reference_lifetime_static.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/scoping_rules/scoping_rules_lifetimes_structs.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/scoping_rules/scoping_rules_lifetimes_traits.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/scoping_rules/scoping_rules_ownership_and_rules.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/scoping_rules/scoping_rules_ownership_and_rules_mutablity.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/scoping_rules/scoping_rules_ownership_and_rules_partial_moves.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/scoping_rules/scoping_rules_raii.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/scoping_rules/scoping_rules_raii_desctructor.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_library_types/arc.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_library_types/box_stack_heap.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_library_types/hash_map.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_library_types/hash_map_alternate_or_custom_key_types.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_library_types/hash_map_hash_set.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_library_types/option.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_library_types/panic.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_library_types/rc.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_library_types/result.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_library_types/result_chaining_with_question_mark.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_library_types/strings.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_library_types/strings_byte_strings_as_non_utf8.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_library_types/strings_literals_and_escapes.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_library_types/strings_raw_string_literals.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_library_types/vectors.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_misc/channels.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_misc/child_processes.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_misc/child_processes_pipes.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_misc/child_processes_wait.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_misc/file_io_create.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_misc/file_io_open.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_misc/file_io_read_lines.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_misc/file_io_read_lines_efficient_method.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_misc/filesystem_operations.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_misc/foreign_function_interface.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_misc/path.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_misc/program_arguments.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_misc/program_arguments_parsing.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_misc/threads.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/std_misc/threads_test_case_map_reduce.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/testing/documentation_testing.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/testing/unit_testing.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/traits/clone.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/traits/derive.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/traits/disambiguating_overlapping_traits.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/traits/drop.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/traits/hash.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/traits/impl_trait_as_return_type.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/traits/iterators.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/traits/operator_overloading.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/traits/returning_traits_with_dyn.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/traits/supertraits.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/traits/traits.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/traits/traits_parms.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/types/aliasing.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/types/casting.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/types/inference.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/types/literals.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/unsafe_operations/calling_unsafe_functions.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/unsafe_operations/inline_assembly.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/unsafe_operations/inline_assembly_clobbered_registers.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/unsafe_operations/inline_assembly_explicit_register_operands.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/unsafe_operations/inline_assembly_inlateout_case_implemented.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/unsafe_operations/inline_assembly_inlateout_case_non_used.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/unsafe_operations/inline_assembly_inlateout_mul.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/unsafe_operations/inline_assembly_inout.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/unsafe_operations/inline_assembly_inputs_and_outputs.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/unsafe_operations/inline_assembly_labels.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/unsafe_operations/inline_assembly_memory_address_operands.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/unsafe_operations/inline_assembly_options.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/unsafe_operations/inline_assembly_register_template_modifiers.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/unsafe_operations/inline_assembly_scratch_register.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/unsafe_operations/raw_pointers.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/variable_bindings/declare_first.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/variable_bindings/freezing.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/variable_bindings/mutability.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/variable_bindings/scope.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/variable_bindings/variable_bindings.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/rust_book/variable_bindings/variable_shadowing.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/axiomatized/examples/subtle.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/custom/add_one.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/custom/constructor_as_function.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/custom/hello_world.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/custom/impl_param.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/custom/let_else.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/custom/loops.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/custom/loops_free.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/custom/module_duplicate.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/custom/mutations.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/custom/mutual_loop.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/custom/pattern_in_function_parameters.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/custom/polymorphic_associated_function.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/custom/polymorphic_constants.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/custom/provided_method.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/basic_contract_caller.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/call_runtime.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/conditional_compilation.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/contract_terminate.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/contract_transfer.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/custom_allocator.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/custom_environment.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/dns.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/e2e_call_runtime.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/erc1155.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/erc20.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/erc721.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/flipper.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/incrementer.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/lang_err_integration_tests/call_builder.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/lang_err_integration_tests/call_builder_delegate.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/lang_err_integration_tests/constructors_return_value.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/lang_err_integration_tests/contract_ref.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/lang_err_integration_tests/integration_flipper.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/mapping_integration_tests.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/mother.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/multisig.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/payment_channel.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/set_code_hash.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/set_code_hash/updated_incrementer.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/trait_erc20.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/trait_flipper.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/trait_incrementer.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/ink_contracts/wildcard_selector.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/monadic_transformation/example01.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/monadic_transformation/example02.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/monadic_transformation/example03.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/monadic_transformation/example04.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/monadic_transformation/example05.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/attributes/dead_code.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/cargo/concurrent_tests.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/conversion/converting_to_string.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/conversion/from.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/conversion/into.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/conversion/parsing_a_string.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/conversion/try_from_and_try_into.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/custom_types/constants.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/custom_types/enums.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/custom_types/enums_c_like.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/custom_types/enums_testcase_linked_list.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/custom_types/enums_type_aliases_v1.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/custom_types/enums_type_aliases_v2.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/custom_types/enums_use.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/custom_types/structures.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/error_handling/aliases_for_result.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/error_handling/boxing_errors.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/error_handling/combinators_and_then.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/error_handling/combinators_map.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/error_handling/defining_an_error_type.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/error_handling/early_returns.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/error_handling/introducing_question_mark.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/error_handling/iterating_over_results_failed.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/error_handling/iterating_over_results_handle_via_filter_map.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/error_handling/map_in_result_via_combinators.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/error_handling/map_in_result_via_match.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/error_handling/multiple_error_types.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/error_handling/option_and_unwrap.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/error_handling/other_uses_of_question_mark.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/error_handling/panic.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/error_handling/pulling_results_out_of_options.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/error_handling/result_use_in_main.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/error_handling/unpacking_options_and_defaults_via_get_or_insert.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/error_handling/unpacking_options_and_defaults_via_or.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/error_handling/unpacking_options_and_defaults_via_or_else.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/error_handling/unpacking_options_via_question_mark.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/error_handling/wrapping_errors.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/expressions/blocks.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/expressions/const_underscore_expression.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/expressions/statement.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/expressions/variable_binding_and_expression.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/flow_of_control/for_and_iterators_into_iter.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/flow_of_control/for_and_iterators_iter.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/flow_of_control/for_and_iterators_iter_mut.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/flow_of_control/for_and_range_completely_inclusive.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/flow_of_control/for_and_range_inclusive_to_exclusive.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/flow_of_control/if_else.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/flow_of_control/if_let.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/flow_of_control/if_let_challenge.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/flow_of_control/if_let_dont_use_match.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/flow_of_control/if_let_match_enum_values.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/flow_of_control/infinite_loop.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/flow_of_control/loop_nesting_and_labels.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/flow_of_control/loop_returning_from_loops.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/flow_of_control/match_binding_destructure_enum_variants.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/flow_of_control/match_destructuring_arrays_slices.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/flow_of_control/match_destructuring_enums.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/flow_of_control/match_destructuring_pointers_ref.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/flow_of_control/match_destructuring_structs.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/flow_of_control/match_destructuring_tuples.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/flow_of_control/match_destructuring_tuples_fixed.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/flow_of_control/match_guards.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/flow_of_control/match_guards_unreachable.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/flow_of_control/while.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/flow_of_control/while_let.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/flow_of_control/while_let_match_is_weird.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/functions/associated_functions_and_methods.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/functions/diverging_functions.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/functions/diverging_functions_example_sum_odd_numbers.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/functions/diverging_functions_no_info_in_return_type.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/functions/functions.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/functions/functions_closures.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/functions/functions_closures_as_input_parameters.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/functions/functions_closures_as_output_parameters.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/functions/functions_closures_capturing.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/functions/functions_closures_example_Iterator_any.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/functions/functions_closures_forced_capturing_with_move.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/functions/functions_closures_input_functions.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/functions/functions_closures_type_anonymity_define.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/functions/functions_closures_type_anonymity_define_and_use.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/functions/functions_order.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/functions/higher_order_functions.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/generics/generics.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/generics/generics_associated_types_problem.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/generics/generics_associated_types_solution.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/generics/generics_bounds.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/generics/generics_bounds_test_case_empty_bounds.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/generics/generics_functions.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/generics/generics_implementation.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/generics/generics_multiple_bounds.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/generics/generics_new_type_idiom.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/generics/generics_new_type_idiom_as_base_type.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/generics/generics_phantom_type.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/generics/generics_phantom_type_test_case_unit_clarification.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/generics/generics_traits.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/generics/generics_where_clauses.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/guessing_game/guessing_game.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/hello_world/formatted_print.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/hello_world/hello_world.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/macro_rules/macro_example.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/macro_rules/macro_rules_designators.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/macro_rules/macro_rules_dsl.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/macro_rules/macro_rules_overload.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/macro_rules/macro_rules_repeat.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/macro_rules/macro_rules_variadic_interfaces.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/modules/struct_visibility.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/modules/super_and_self.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/modules/the_use_as_declaration.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/modules/visibility.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/primitives/arrays_and_slices.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/primitives/compound_types.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/primitives/literals_operators.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/primitives/tuples.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/scoping_rules/scoping_rules_borrowing.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/scoping_rules/scoping_rules_borrowing_aliasing.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/scoping_rules/scoping_rules_borrowing_mutablity.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/scoping_rules/scoping_rules_borrowing_the_ref_pattern.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/scoping_rules/scoping_rules_lifetimes.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/scoping_rules/scoping_rules_lifetimes_bounds.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/scoping_rules/scoping_rules_lifetimes_coercion.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/scoping_rules/scoping_rules_lifetimes_elision.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/scoping_rules/scoping_rules_lifetimes_functions.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/scoping_rules/scoping_rules_lifetimes_methods.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/scoping_rules/scoping_rules_lifetimes_reference_lifetime_static.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/scoping_rules/scoping_rules_lifetimes_structs.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/scoping_rules/scoping_rules_lifetimes_traits.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/scoping_rules/scoping_rules_ownership_and_rules.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/scoping_rules/scoping_rules_ownership_and_rules_mutablity.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/scoping_rules/scoping_rules_ownership_and_rules_partial_moves.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/scoping_rules/scoping_rules_raii.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/scoping_rules/scoping_rules_raii_desctructor.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_library_types/arc.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_library_types/box_stack_heap.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_library_types/hash_map.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_library_types/hash_map_alternate_or_custom_key_types.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_library_types/hash_map_hash_set.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_library_types/option.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_library_types/panic.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_library_types/rc.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_library_types/result.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_library_types/result_chaining_with_question_mark.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_library_types/strings.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_library_types/strings_byte_strings_as_non_utf8.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_library_types/strings_literals_and_escapes.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_library_types/strings_raw_string_literals.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_library_types/vectors.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_misc/channels.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_misc/child_processes.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_misc/child_processes_pipes.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_misc/child_processes_wait.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_misc/file_io_create.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_misc/file_io_open.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_misc/file_io_read_lines.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_misc/file_io_read_lines_efficient_method.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_misc/filesystem_operations.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_misc/foreign_function_interface.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_misc/path.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_misc/program_arguments.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_misc/program_arguments_parsing.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_misc/threads.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/std_misc/threads_test_case_map_reduce.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/testing/documentation_testing.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/testing/unit_testing.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/traits/clone.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/traits/derive.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/traits/disambiguating_overlapping_traits.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/traits/drop.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/traits/hash.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/traits/impl_trait_as_return_type.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/traits/iterators.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/traits/operator_overloading.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/traits/returning_traits_with_dyn.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/traits/supertraits.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/traits/traits.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/traits/traits_parms.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/types/aliasing.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/types/casting.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/types/inference.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/types/literals.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/unsafe_operations/calling_unsafe_functions.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/unsafe_operations/inline_assembly.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/unsafe_operations/inline_assembly_clobbered_registers.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/unsafe_operations/inline_assembly_explicit_register_operands.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/unsafe_operations/inline_assembly_inlateout_case_implemented.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/unsafe_operations/inline_assembly_inlateout_case_non_used.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/unsafe_operations/inline_assembly_inlateout_mul.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/unsafe_operations/inline_assembly_inout.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/unsafe_operations/inline_assembly_inputs_and_outputs.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/unsafe_operations/inline_assembly_memory_address_operands.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/unsafe_operations/inline_assembly_options.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/unsafe_operations/inline_assembly_register_template_modifiers.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/unsafe_operations/inline_assembly_scratch_register.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/unsafe_operations/inline_assembly_symbol_operands_and_abi_clobbers.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/unsafe_operations/raw_pointers.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/variable_bindings/declare_first.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/variable_bindings/freezing.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/variable_bindings/mutability.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/variable_bindings/scope.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/variable_bindings/variable_bindings.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/rust_book/variable_bindings/variable_shadowing.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/examples/default/examples/subtle.err: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /RocqOfRust/legacy/openvm/version_v1_2_0/crates/vm/system/memory/adapter/tests.rs: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /RocqOfRust/lib/Notations.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/lib/Notations.v -------------------------------------------------------------------------------- /RocqOfRust/lib/lib.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/lib/lib.v -------------------------------------------------------------------------------- /RocqOfRust/lib/proofs/lib.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/lib/proofs/lib.v -------------------------------------------------------------------------------- /RocqOfRust/lib/simulate/lib.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/lib/simulate/lib.v -------------------------------------------------------------------------------- /RocqOfRust/links/M.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/links/M.v -------------------------------------------------------------------------------- /RocqOfRust/of_json.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/of_json.py -------------------------------------------------------------------------------- /RocqOfRust/p_token/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/p_token/Cargo.toml -------------------------------------------------------------------------------- /RocqOfRust/p_token/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/p_token/README.md -------------------------------------------------------------------------------- /RocqOfRust/p_token/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/p_token/lib.rs -------------------------------------------------------------------------------- /RocqOfRust/pinocchio/cpi.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/pinocchio/cpi.rs -------------------------------------------------------------------------------- /RocqOfRust/pinocchio/cpi.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/pinocchio/cpi.v -------------------------------------------------------------------------------- /RocqOfRust/pinocchio/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/pinocchio/lib.rs -------------------------------------------------------------------------------- /RocqOfRust/pinocchio/lib.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/pinocchio/lib.v -------------------------------------------------------------------------------- /RocqOfRust/pinocchio/log.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/pinocchio/log.rs -------------------------------------------------------------------------------- /RocqOfRust/pinocchio/log.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/pinocchio/log.v -------------------------------------------------------------------------------- /RocqOfRust/pinocchio/memory.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/pinocchio/memory.v -------------------------------------------------------------------------------- /RocqOfRust/pinocchio/pubkey.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/pinocchio/pubkey.v -------------------------------------------------------------------------------- /RocqOfRust/proofs/M.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/proofs/M.v -------------------------------------------------------------------------------- /RocqOfRust/proofs/integer.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/proofs/integer.v -------------------------------------------------------------------------------- /RocqOfRust/revm/.gitignore: -------------------------------------------------------------------------------- 1 | *.json 2 | -------------------------------------------------------------------------------- /RocqOfRust/revm/generate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/revm/generate.py -------------------------------------------------------------------------------- /RocqOfRust/revm/types.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/revm/types.v -------------------------------------------------------------------------------- /RocqOfRust/rocq-of-rust.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/rocq-of-rust.opam -------------------------------------------------------------------------------- /RocqOfRust/ruint/add.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/add.rs -------------------------------------------------------------------------------- /RocqOfRust/ruint/add.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/add.v -------------------------------------------------------------------------------- /RocqOfRust/ruint/aliases.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/aliases.rs -------------------------------------------------------------------------------- /RocqOfRust/ruint/aliases.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/aliases.v -------------------------------------------------------------------------------- /RocqOfRust/ruint/bit_arr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/bit_arr.rs -------------------------------------------------------------------------------- /RocqOfRust/ruint/bit_arr.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/bit_arr.v -------------------------------------------------------------------------------- /RocqOfRust/ruint/bits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/bits.rs -------------------------------------------------------------------------------- /RocqOfRust/ruint/bits.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/bits.v -------------------------------------------------------------------------------- /RocqOfRust/ruint/bytes.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/bytes.rs -------------------------------------------------------------------------------- /RocqOfRust/ruint/bytes.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/bytes.v -------------------------------------------------------------------------------- /RocqOfRust/ruint/cmp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/cmp.rs -------------------------------------------------------------------------------- /RocqOfRust/ruint/cmp.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/cmp.v -------------------------------------------------------------------------------- /RocqOfRust/ruint/const_for.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/const_for.rs -------------------------------------------------------------------------------- /RocqOfRust/ruint/div.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/div.rs -------------------------------------------------------------------------------- /RocqOfRust/ruint/div.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/div.v -------------------------------------------------------------------------------- /RocqOfRust/ruint/fmt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/fmt.rs -------------------------------------------------------------------------------- /RocqOfRust/ruint/fmt.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/fmt.v -------------------------------------------------------------------------------- /RocqOfRust/ruint/from.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/from.rs -------------------------------------------------------------------------------- /RocqOfRust/ruint/from.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/from.v -------------------------------------------------------------------------------- /RocqOfRust/ruint/gcd.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/gcd.rs -------------------------------------------------------------------------------- /RocqOfRust/ruint/gcd.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/gcd.v -------------------------------------------------------------------------------- /RocqOfRust/ruint/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/lib.rs -------------------------------------------------------------------------------- /RocqOfRust/ruint/lib.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/lib.v -------------------------------------------------------------------------------- /RocqOfRust/ruint/links/add.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/links/add.v -------------------------------------------------------------------------------- /RocqOfRust/ruint/links/bits.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/links/bits.v -------------------------------------------------------------------------------- /RocqOfRust/ruint/links/cmp.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/links/cmp.v -------------------------------------------------------------------------------- /RocqOfRust/ruint/links/div.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/links/div.v -------------------------------------------------------------------------------- /RocqOfRust/ruint/links/from.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/links/from.v -------------------------------------------------------------------------------- /RocqOfRust/ruint/links/lib.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/links/lib.v -------------------------------------------------------------------------------- /RocqOfRust/ruint/links/mul.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/links/mul.v -------------------------------------------------------------------------------- /RocqOfRust/ruint/links/pow.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/links/pow.v -------------------------------------------------------------------------------- /RocqOfRust/ruint/log.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/log.rs -------------------------------------------------------------------------------- /RocqOfRust/ruint/log.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/log.v -------------------------------------------------------------------------------- /RocqOfRust/ruint/macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/macros.rs -------------------------------------------------------------------------------- /RocqOfRust/ruint/macros.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/macros.v -------------------------------------------------------------------------------- /RocqOfRust/ruint/modular.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/modular.rs -------------------------------------------------------------------------------- /RocqOfRust/ruint/modular.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/modular.v -------------------------------------------------------------------------------- /RocqOfRust/ruint/mul.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/mul.rs -------------------------------------------------------------------------------- /RocqOfRust/ruint/mul.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/mul.v -------------------------------------------------------------------------------- /RocqOfRust/ruint/pow.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/pow.rs -------------------------------------------------------------------------------- /RocqOfRust/ruint/pow.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/pow.v -------------------------------------------------------------------------------- /RocqOfRust/ruint/root.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/root.rs -------------------------------------------------------------------------------- /RocqOfRust/ruint/root.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/root.v -------------------------------------------------------------------------------- /RocqOfRust/ruint/special.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/special.rs -------------------------------------------------------------------------------- /RocqOfRust/ruint/special.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/special.v -------------------------------------------------------------------------------- /RocqOfRust/ruint/string.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/string.rs -------------------------------------------------------------------------------- /RocqOfRust/ruint/string.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/string.v -------------------------------------------------------------------------------- /RocqOfRust/ruint/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/utils.rs -------------------------------------------------------------------------------- /RocqOfRust/ruint/utils.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/ruint/utils.v -------------------------------------------------------------------------------- /RocqOfRust/simulate/M.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/simulate/M.v -------------------------------------------------------------------------------- /RocqOfRust/simulations/M.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/simulations/M.v -------------------------------------------------------------------------------- /RocqOfRust/token-2022/error.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/token-2022/error.v -------------------------------------------------------------------------------- /RocqOfRust/token-2022/lib.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/token-2022/lib.v -------------------------------------------------------------------------------- /RocqOfRust/token-2022/pod.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/token-2022/pod.v -------------------------------------------------------------------------------- /RocqOfRust/token-2022/proof.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/token-2022/proof.v -------------------------------------------------------------------------------- /RocqOfRust/token-2022/state.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/token-2022/state.v -------------------------------------------------------------------------------- /RocqOfRust/what_we_do.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/RocqOfRust/what_we_do.md -------------------------------------------------------------------------------- /cli/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/cli/Cargo.toml -------------------------------------------------------------------------------- /cli/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/cli/src/main.rs -------------------------------------------------------------------------------- /clippy.toml: -------------------------------------------------------------------------------- 1 | vec-box-size-threshold = 10 2 | -------------------------------------------------------------------------------- /contracts/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/contracts/README.md -------------------------------------------------------------------------------- /contracts/source/erc20.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/contracts/source/erc20.rs -------------------------------------------------------------------------------- /contracts/source/erc721.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/contracts/source/erc721.rs -------------------------------------------------------------------------------- /contracts/template/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/contracts/template/Cargo.toml -------------------------------------------------------------------------------- /docs/BUILD.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/docs/BUILD.md -------------------------------------------------------------------------------- /docs/CONTRIBUTE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/docs/CONTRIBUTE.md -------------------------------------------------------------------------------- /docs/GUIDE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/docs/GUIDE.md -------------------------------------------------------------------------------- /docs/INTRO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/docs/INTRO.md -------------------------------------------------------------------------------- /docs/PROOF.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/docs/PROOF.md -------------------------------------------------------------------------------- /docs/PROOF_NEXT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/docs/PROOF_NEXT.md -------------------------------------------------------------------------------- /examples/custom/add_one.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/examples/custom/add_one.rs -------------------------------------------------------------------------------- /examples/custom/impl_param.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/examples/custom/impl_param.rs -------------------------------------------------------------------------------- /examples/custom/let_else.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/examples/custom/let_else.rs -------------------------------------------------------------------------------- /examples/custom/loops.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/examples/custom/loops.rs -------------------------------------------------------------------------------- /examples/custom/loops_free.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/examples/custom/loops_free.rs -------------------------------------------------------------------------------- /examples/custom/mutations.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/examples/custom/mutations.rs -------------------------------------------------------------------------------- /examples/ink_contracts/dns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/examples/ink_contracts/dns.rs -------------------------------------------------------------------------------- /examples/monadic_transformation/example04.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | let x = &1; 3 | } 4 | -------------------------------------------------------------------------------- /examples/subtle.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/examples/subtle.rs -------------------------------------------------------------------------------- /lib/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/lib/Cargo.toml -------------------------------------------------------------------------------- /lib/src/callbacks.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/lib/src/callbacks.rs -------------------------------------------------------------------------------- /lib/src/core.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/lib/src/core.rs -------------------------------------------------------------------------------- /lib/src/env.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/lib/src/env.rs -------------------------------------------------------------------------------- /lib/src/expression.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/lib/src/expression.rs -------------------------------------------------------------------------------- /lib/src/header.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/lib/src/header.rs -------------------------------------------------------------------------------- /lib/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/lib/src/lib.rs -------------------------------------------------------------------------------- /lib/src/options.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/lib/src/options.rs -------------------------------------------------------------------------------- /lib/src/path.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/lib/src/path.rs -------------------------------------------------------------------------------- /lib/src/pattern.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/lib/src/pattern.rs -------------------------------------------------------------------------------- /lib/src/render.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/lib/src/render.rs -------------------------------------------------------------------------------- /lib/src/rocq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/lib/src/rocq.rs -------------------------------------------------------------------------------- /lib/src/thir_expression.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/lib/src/thir_expression.rs -------------------------------------------------------------------------------- /lib/src/thir_pattern.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/lib/src/thir_pattern.rs -------------------------------------------------------------------------------- /lib/src/thir_ty.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/lib/src/thir_ty.rs -------------------------------------------------------------------------------- /lib/src/top_level.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/lib/src/top_level.rs -------------------------------------------------------------------------------- /lib/src/ty.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/lib/src/ty.rs -------------------------------------------------------------------------------- /lib/src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/lib/src/utils.rs -------------------------------------------------------------------------------- /logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/logo.png -------------------------------------------------------------------------------- /run_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/run_tests.py -------------------------------------------------------------------------------- /rust-toolchain: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formal-land/coq-of-rust/HEAD/rust-toolchain --------------------------------------------------------------------------------