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

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

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>