Package - relacy-dev

Package:  relacy-dev
apt-get install relacy-dev
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/r/relacy/relacy-dev_0.0+git20191025.acc09bb-2_all.deb (Size: 46.6KiB)

PropertyValue
Packagerelacy-dev
Sourcerelacy
Version0.0+git20191025.acc09bb-2
Installed-Size369
MaintainerDebian Med Packaging Team
Architectureall
Descriptionmeticulous synchronization algorithm verifier for relaxed memory models
Description-md55fb023c0fbccebd3496fe6030812d152
Multi-Archforeign
Homepagehttps://github.com/dvyukov/relacy
Tagdevel::library, role::devel-lib
Sectionlibdevel
Priorityoptional
Filenamepool/main/r/relacy/relacy-dev_0.0+git20191025.acc09bb-2_all.deb
Size47736
MD5sumf4b6994fac0c2f5e2bb4fac17d8fe729
SHA25618997d285cd3fdf4cdad995fe4ae151edaf38e970254ae6a2a2ecb45d8463083

Files in package

  • /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/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/doc/relacy-dev/changelog.Debian.gz
  • /usr/share/doc/relacy-dev/changelog.gz
  • /usr/share/doc/relacy-dev/copyright