dev-ml / base_quickcheck

Randomized testing framework, designed for compatibility with Base

Official package sites : https://github.com/janestreet/base_quickcheck ·

v0.17.0 :: 0/0.17 :: gentoo (Masked by set 7223)

Modified
License
MIT
Keywords
~amd64 ~arm64 ~ppc ~ppc64
USE flags
ocamlopt

v0.16.0 :: 0/0.16 :: gentoo

Modified
License
MIT
Keywords
amd64 arm arm64 ppc64 x86 ~ppc ~riscv
USE flags
ocamlopt

v0.15.0-r3 :: 0/0.15 :: gentoo

Modified
License
MIT
Keywords
amd64 arm arm64 ppc64 x86 ~ppc ~riscv
USE flags
ocamlopt

v0.14.1-r2 :: 0/0.14.1 :: gentoo

Modified
License
MIT
Keywords
~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86
USE flags
ocamlopt

v0.14.0-r1 :: 0/0.14.0 :: gentoo

Modified
License
MIT
Keywords
amd64 arm arm64 ppc64 x86 ~ppc
USE flags
ocamlopt

General

ocamlopt
Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

dev-ml / base : Standard library for OCaml

dev-ml / cinaps : Trivial metaprogramming tool

dev-ml / dune : A composable build system for OCaml

dev-ml / fieldslib : Folding over record fields

dev-ml / ocaml-migrate-parsetree : Convert OCaml parsetrees between different major versions

dev-ml / ppx_base : Base set of ppx rewriters

dev-ml / ppx_cold : Expands [@cold] into [@inline never][@specialise never][@local never]

dev-ml / ppx_compare : Generation of comparison functions from types

dev-ml / ppx_enumerate : Generate a list containing all values of a finite type

dev-ml / ppx_fields_conv : Generation of accessor and iteration functions for ocaml records

dev-ml / ppx_globalize : Generates functions to copy local values to the global heap

dev-ml / ppx_hash : PPX rewriter that generates hash functions from type expressions and definitions

dev-ml / ppx_here : Expands [%here] into its location

dev-ml / ppx_let : Monadic let-bindings

dev-ml / ppx_sexp_conv : Support Library for type-driven code generators

dev-ml / ppx_sexp_message : A ppx rewriter for easy construction of s-expressions

dev-ml / ppx_sexp_value : Standard library for ppx rewriters

dev-ml / ppxlib : Base library and tools for ppx rewriters

dev-ml / ppxlib_jane : Utilities for working with Jane Street AST constructs

dev-ml / sexplib0 : Library for automated conversion of OCaml-values to and from S-expressions

dev-ml / splittable_random : PRNG that can be split into independent streams

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

dev-ml / base : Standard library for OCaml

dev-ml / cinaps : Trivial metaprogramming tool

dev-ml / dune : A composable build system for OCaml

dev-ml / fieldslib : Folding over record fields

dev-ml / ocaml-migrate-parsetree : Convert OCaml parsetrees between different major versions

dev-ml / ppx_base : Base set of ppx rewriters

dev-ml / ppx_cold : Expands [@cold] into [@inline never][@specialise never][@local never]

dev-ml / ppx_compare : Generation of comparison functions from types

dev-ml / ppx_enumerate : Generate a list containing all values of a finite type

dev-ml / ppx_fields_conv : Generation of accessor and iteration functions for ocaml records

dev-ml / ppx_globalize : Generates functions to copy local values to the global heap

dev-ml / ppx_hash : PPX rewriter that generates hash functions from type expressions and definitions

dev-ml / ppx_here : Expands [%here] into its location

dev-ml / ppx_let : Monadic let-bindings

dev-ml / ppx_sexp_conv : Support Library for type-driven code generators

dev-ml / ppx_sexp_message : A ppx rewriter for easy construction of s-expressions

dev-ml / ppx_sexp_value : Standard library for ppx rewriters

dev-ml / ppxlib : Base library and tools for ppx rewriters

dev-ml / ppxlib_jane : Utilities for working with Jane Street AST constructs

dev-ml / sexplib0 : Library for automated conversion of OCaml-values to and from S-expressions

dev-ml / splittable_random : PRNG that can be split into independent streams

dev-ml / base_bigstring : String type based on Bigarray, for use in I/O and C-bindings

dev-ml / core : Jane Street's alternative to the standard library

dev-ml / core_kernel : System-independent part of Core

dev-ml / expect_test_helpers_core : Helpers for writing expectation tests

dev-ml / ppx_jane : Standard Jane Street ppx rewriters


7223
Alfredo Tupone
Not ready for testing
  • >=dev-lang/ocaml-5
  • >=dev-ml/camlp4-5
  • >=dev-ml/labltk-8.06.14
  • >=dev-ml/ocaml-compiler-libs-0.17
  • >=dev-ml/ppx_deriving-6.0.2
  • >=dev-ml/ppxlib-0.32.1
  • dev-ml/async:0/0.17
  • dev-ml/async_kernel:0/0.17
  • dev-ml/async_log:0/0.17
  • dev-ml/async_rpc_kernel:0/0.17
  • dev-ml/async_unix:0/0.17
  • dev-ml/base:0/0.17
  • dev-ml/base_bigstring:0/0.17
  • dev-ml/base_quickcheck:0/0.17
  • dev-ml/bin_prot:0/0.17
  • dev-ml/capitalization:0/0.17
  • dev-ml/core:0/0.17
  • dev-ml/core_kernel:0/0.17
  • dev-ml/core_unix:0/0.17
  • dev-ml/expect_test_helpers_core:0/0.17
  • dev-ml/fieldslib:0/0.17
  • dev-ml/gel:0/0.17
  • dev-ml/int_repr:0/0.17
  • dev-ml/jane-street-headers:0/0.17
  • dev-ml/jst-config:0/0.17
  • dev-ml/ocaml_intrinsics:0/0.17
  • dev-ml/ocaml_intrinsics_kernel:0/0.17
  • dev-ml/parsexp:0/0.17
  • dev-ml/patience_diff:0/0.17
  • dev-ml/ppx_assert:0/0.17
  • dev-ml/ppx_base:0/0.17
  • dev-ml/ppx_bench:0/0.17
  • dev-ml/ppx_bin_prot:0/0.17
  • dev-ml/ppx_cold:0/0.17
  • dev-ml/ppx_compare:0/0.17
  • dev-ml/ppx_custom_printf:0/0.17
  • dev-ml/ppx_diff:0/0.17
  • dev-ml/ppx_disable_unused_warnings:0/0.17
  • dev-ml/ppx_enumerate:0/0.17
  • dev-ml/ppx_expect:0/0.17
  • dev-ml/ppx_fields_conv:0/0.17
  • dev-ml/ppx_fixed_literal:0/0.17
  • dev-ml/ppx_globalize:0/0.17
  • dev-ml/ppx_hash:0/0.17
  • dev-ml/ppx_here:0/0.17
  • dev-ml/ppx_ignore_instrumentation:0/0.17
  • dev-ml/ppx_inline_test:0/0.17
  • dev-ml/ppx_jane:0/0.17
  • dev-ml/ppx_js_style:0/0.17
  • dev-ml/ppx_let:0/0.17
  • dev-ml/ppx_log:0/0.17
  • dev-ml/ppx_module_timer:0/0.17
  • dev-ml/ppx_optcomp:0/0.17
  • dev-ml/ppx_optional:0/0.17
  • dev-ml/ppx_pipebang:0/0.17
  • dev-ml/ppx_sexp_conv:0/0.17
  • dev-ml/ppx_sexp_message:0/0.17
  • dev-ml/ppx_sexp_value:0/0.17
  • dev-ml/ppx_stable:0/0.17
  • dev-ml/ppx_stable_witness:0/0.17
  • dev-ml/ppx_string:0/0.17
  • dev-ml/ppx_string_conv:0/0.17
  • dev-ml/ppx_tydi:0/0.17
  • dev-ml/ppx_typerep_conv:0/0.17
  • dev-ml/ppx_variants_conv:0/0.17
  • dev-ml/ppxlib_jane
  • dev-ml/protocol_version_header:0/0.17
  • dev-ml/sexp_pretty:0/0.17
  • dev-ml/sexplib0:0/0.17
  • dev-ml/sexplib:0/0.17
  • dev-ml/splittable_random:0/0.17
  • dev-ml/stdio:0/0.17
  • dev-ml/textutils:0/0.17
  • dev-ml/textutils_kernel:0/0.17
  • dev-ml/time_now:0/0.17
  • dev-ml/timezone:0/0.17
  • dev-ml/typerep:0/0.17
  • dev-ml/uopt:0/0.17
  • dev-ml/variantslib:0/0.17
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/base_quickcheck: add 0.17.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/base_quickcheck: Stabilize 0.16.0 ppc64, #933369
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/base_quickcheck: fix deps
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/base_quickcheck: Stabilize 0.16.0 arm64, #933369
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-ml/base_quickcheck: Stabilize 0.16.0 arm, #933369
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-ml/base_quickcheck: Stabilize 0.16.0 x86, #933369
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-ml/base_quickcheck: Stabilize 0.16.0 amd64, #933369
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/base_quickcheck: add 0.16.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/base_quickcheck: Stabilize 0.15.0-r2 arm64, #901559
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/base_quickcheck: Stabilize 0.15.0-r2 ppc64, #901559
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-ml/base_quickcheck: Stabilize 0.15.0-r2 arm, #901559
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-ml/base_quickcheck: Stabilize 0.15.0-r2 x86, #901559
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/base_quickcheck: stabilize 0.15.0-r2 for amd64
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/base_quickcheck: add ppxlib dep
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/base_quickcheck: adj deps
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/base_quickcheck: adj deps
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/base_quickcheck: 0.15.0 bump
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Yongxiang Liang · gentoo
dev-ml/base_quickcheck: Keyword 0.14.1-r1 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/base_quickcheck: destabilise for ppc
Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/base_quickcheck: tighten ppxlib dependencies
Closes: https://bugs.gentoo.org/801985 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/base_quickcheck: add 0.14.1
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/base_quickcheck: Stabilize 0.14.0 arm64, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/base_quickcheck: Stabilize 0.14.0 arm, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michael Mair-Keimberger · gentoo
dev-ml/base_quickcheck: remove whitespace, fix indent
Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/base_quickcheck: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/base_quickcheck: Stabilize 0.14.0 x86, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/base_quickcheck: Stabilize 0.14.0 amd64, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/base_quickcheck: Stabilize 0.14.0 ppc64, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/base_quickcheck: ppc64 keyworded (bug #748576)
Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/base_quickcheck: Keyword 0.14.0 ppc, #748576
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/base_quickcheck: Keyword 0.14.0 x86, #748936
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Mark Wright · gentoo
dev-ml/base_quickeck: Fix deps
Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/base_quickcheck: arm64 keyworded (bug #748936)
Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/base_quickcheck: Keyword 0.14.0 arm, #748936
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Mark Wright · gentoo
dev-ml/base_quickcheck: Dependency of dev-ml/ppx_jane
Co-Author: Alexis Ballier <aballier@gentoo.org> Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>