relacy-dev (0.0+git20191025.acc09bb-2)

Details

Core information at a glance

Distribution
debian
Origin
debian-forky
Repository
https://deb.debian.org/debian
Codename
forky
Component
main
Source
relacy
Architecture
s390x
Section
libdevel
Priority
optional
Maintainer
Debian Med Packaging Team <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
369 B
Size expected
47.7 kB
Size actual
47.7 kB
Size match

Dependencies

Required package dependencies

  • None

Suggested packages

Recommended additional packages

  • None

Description

meticulous synchronization algorithm verifier for relaxed memory models

Tags

Package classification tags

devel::library
role::devel-lib

Checksums

Hash values and integrity verification status

TypeActualMatch
MD5f4b6994f…7d8fe729
SHA-18317be79…80cb129e
SHA-25618997d28…d8463083
SHA-512b1c0900d…3c98e28a

Contents

Files and directories included

.
usr
usr/include
usr/include/relacy
usr/include/relacy/atomic.hpp
usr/include/relacy/atomic_events.hpp
usr/include/relacy/atomic_fence.hpp
usr/include/relacy/backoff.hpp
usr/include/relacy/base.hpp
usr/include/relacy/cli.hpp
usr/include/relacy/cli_interlocked.hpp
usr/include/relacy/cli_var.hpp
usr/include/relacy/cli_volatile.hpp
usr/include/relacy/context.hpp
usr/include/relacy/context_addr_hash.hpp
usr/include/relacy/context_base.hpp
usr/include/relacy/context_base_impl.hpp
usr/include/relacy/context_bound_scheduler.hpp
usr/include/relacy/defs.hpp
usr/include/relacy/dyn_thread.hpp
usr/include/relacy/dyn_thread_ctx.hpp
usr/include/relacy/foreach.hpp
usr/include/relacy/full_search_scheduler.hpp
usr/include/relacy/history.hpp
usr/include/relacy/java.hpp
usr/include/relacy/java_atomic.hpp
usr/include/relacy/java_var.hpp
usr/include/relacy/java_volatile.hpp
usr/include/relacy/memory.hpp
usr/include/relacy/memory_order.hpp
usr/include/relacy/pch.hpp
usr/include/relacy/platform.hpp
usr/include/relacy/pthread.h
usr/include/relacy/random.hpp
usr/include/relacy/random_scheduler.hpp
usr/include/relacy/relacy.hpp
usr/include/relacy/relacy_cli.hpp
usr/include/relacy/relacy_java.hpp
usr/include/relacy/relacy_std.hpp
usr/include/relacy/rmw.hpp
usr/include/relacy/scheduler.hpp
usr/include/relacy/signature.hpp
usr/include/relacy/slab_allocator.hpp
usr/include/relacy/stdlib
usr/include/relacy/stdlib/condition_variable.hpp
usr/include/relacy/stdlib/event.hpp
usr/include/relacy/stdlib/mutex.hpp
usr/include/relacy/stdlib/pthread.hpp
usr/include/relacy/stdlib/semaphore.hpp
usr/include/relacy/stdlib/windows.hpp
usr/include/relacy/sync_var.hpp
usr/include/relacy/test_params.hpp
usr/include/relacy/test_result.hpp
usr/include/relacy/test_suite.hpp
usr/include/relacy/thread.hpp
usr/include/relacy/thread_base.hpp
usr/include/relacy/thread_local.hpp
usr/include/relacy/thread_local_ctx.hpp
usr/include/relacy/var.hpp
usr/include/relacy/volatile.hpp
usr/include/relacy/waitset.hpp
usr/include/relacy/windows.h
usr/share
usr/share/doc
usr/share/doc/relacy-dev
usr/share/doc/relacy-dev/changelog.Debian.gz
usr/share/doc/relacy-dev/changelog.gz
usr/share/doc/relacy-dev/copyright