127 Branches 6 Tags

Name	Name	Last commit message	Last commit date
Latest commit SumitPadhiyar Formatting change in crowbar test number output Jun 17, 2021 6a92906 · Jun 17, 2021 History 22,003 Commits
asmcomp	asmcomp	Correct type for atomic_load	Aug 21, 2020
boot	boot	Initial implementation of Mutexes and Condition Variables	Aug 20, 2020
build-aux	build-aux	Fixing typos in various files (#2246)	Feb 13, 2019
bytecomp	bytecomp	Merge commit '17ef07600017306e55d2bb434d681fa0085e26d4' into parallel…	Apr 29, 2020
compilerlibs	compilerlibs	Re-add some .gitignores from trunk	Apr 18, 2018
config/auto-aux	config/auto-aux	Merge commit '0cdb711f358010c850c1236e28180a885e0eaa65' into parallel…	Apr 27, 2020
debugger	debugger	Avoid duplicated mark_loops	Oct 17, 2019
driver	driver	Fix check for incompatible -c and -o options	Oct 15, 2019
file_formats	file_formats	Remove Misc.may_map and similar	May 23, 2019
lambda	lambda	rebase ocaml-multicore PR332: Distinguish between recursive and concu…	May 1, 2020
lex	lex	Build system: make ocamllex silent by default (#8664)	May 7, 2019
man	man	Merge pull request #9169 from gasche/best-fit-manual	Dec 11, 2019
manual	manual	Merge commit 'b1a88cca5edcd572652b84ed2539d6f7335eb268' into parallel…	Apr 30, 2020
middle_end	middle_end	rebase ocaml-multicore PR328: Get multicore compiler working with fla…	May 1, 2020
ocamldoc	ocamldoc	Merge commit '2035065219403c945dd6f39cab066d36aea9ed1c' into parallel…	Apr 30, 2020
ocamltest	ocamltest	Added scheduler module to compiler build	Feb 12, 2021
otherlibs	otherlibs	Formatting change in crowbar test number output	Jun 17, 2021
parsing	parsing	Merge commit '8e928caea7c47e6ba8508cf2caaaa1ba9f8dca85' into parallel…	Apr 29, 2020
runtime	runtime	Added scheduler module to compiler build	Feb 12, 2021
stdlib	stdlib	Resolved condition variable atomic wait bug	Apr 21, 2021
testsuite	testsuite	Merge pull request #374 from ctk21/force_major_slice_on_minor_collection	Jul 29, 2020
tools	tools	Add --enable-warn-error	Jun 1, 2020
toplevel	toplevel	Warn about unused functor parameters (#8891)	Oct 14, 2019
typing	typing	Patch of PR #418	Feb 19, 2021
utils	utils	Merge commit '6423e5c9d11cfac1c07208aec9f761f37c1640f0' into parallel…	Apr 30, 2020
yacc	yacc	Windows Unicode handling for ocamlyacc	Apr 16, 2019
.depend	.depend	Merge commit '4ecd0e477677c4a16cc0f964d6fb85eb48fb1ff0' into parallel…	Apr 30, 2020
.depend.menhir	.depend.menhir	add a .depend.menhir file for menhir parser dependencies	Sep 1, 2018
.gitattributes	.gitattributes	More compatibility macros to Caml_state (#9202)	Dec 26, 2019
.gitignore	.gitignore	Merge commit 'dbd717e817307dc6a527dd54cc1c9765b30cfad2' into parallel…	Apr 29, 2020
.gitmodules	.gitmodules	Merge commit '852b595ff3b84788c31338053488a7ed5944b431' into parallel…	Mar 26, 2020
.mailmap	.mailmap	adding Jeremy Yallop to the list of Approvers	Mar 25, 2019
.ocp-indent	.ocp-indent	Adding an ocp-indent customization file for the project.	Sep 11, 2013
.travis.yml	.travis.yml	Move OCAMLRUNPARAM=v=0,V=1 to only run when using USE_RUNTIME=d in th…	Jul 24, 2020
BOOTSTRAP.adoc	BOOTSTRAP.adoc	Merge the asmrun and byterun directories into the runtime directory	Jun 28, 2018
CONTRIBUTING.md	CONTRIBUTING.md	Optimization contributions should come with numbers	Oct 1, 2019
Changes	Changes	last commit before tagging 4.10.0	Feb 21, 2020
HACKING.adoc	HACKING.adoc	Allow by-host worktree-sharable configure caches	Oct 5, 2019
INSTALL.adoc	INSTALL.adoc	Let make's default target build the compiler	Sep 30, 2019
LICENSE	LICENSE	Promote to 4.04.2 => bootstrap succeeded	Mar 9, 2018
Makefile	Makefile	Merge commit '2035065219403c945dd6f39cab066d36aea9ed1c' into parallel…	Apr 30, 2020
Makefile.best_binaries	Makefile.best_binaries	nicer style in Makefile.best_binaries	Oct 12, 2019
Makefile.common.in	Makefile.common.in	Build system: share rules to compile C files (#8930)	Sep 11, 2019
Makefile.config.in	Makefile.config.in	Merge commit 'dbd717e817307dc6a527dd54cc1c9765b30cfad2' into parallel…	Apr 29, 2020
Makefile.dev	Makefile.dev	Suppress huge output from make when cleaning	Aug 28, 2019
Makefile.menhir	Makefile.menhir	Makefile.menhir enhancement	Jan 10, 2019
Makefile.tools	Makefile.tools	Remove the unused BYTECODE_ONLY and NATIVECODE_ONLY make variables	Sep 30, 2019
News	News	Fixing misspellings	May 21, 2019
README.md	README.md	Update README.md	May 4, 2021
README.stock.adoc	README.stock.adoc	New README file with multicore specific information.	May 1, 2020
README.win32.adoc	README.win32.adoc	Ensure Makefile.config gets Windows-style prefix	Nov 25, 2019
VERSION	VERSION	Merge commit '9d2a531ea9738f47d6fe71c6e0a0255dda613f4b' into parallel…	Apr 30, 2020
aclocal.m4	aclocal.m4	Add attribute(align()) detection and fix XLC build.	Nov 25, 2019
appveyor.yml	appveyor.yml	Split the AppVeyor build into two jobs	Sep 7, 2018
autogen	autogen	Allow Git config options to be passed to configure	Oct 5, 2019
configure	configure	Temporarily disable -Wdeclaration-after-statement	Jun 1, 2020
configure.ac	configure.ac	Temporarily disable -Wdeclaration-after-statement	Jun 1, 2020
dune	dune	dune: fix build	Oct 18, 2019
dune-project	dune-project	Provide a way to build the bytecode compiler using Dune (#2093)	Oct 10, 2018
ocaml-variants.opam	ocaml-variants.opam	Enabled afl-instrument globally	Mar 24, 2021

Repository files navigation

ParaFuzz

Multi-core OCaml concurrency bug detection tool

Setup

Create parafuzz switch

opam switch create parafuzz --empty --repositories=parfuzz-multicore=git+https://github.com/SumitPadhiyar/multicore-opam.git,default

Install parafuzz

opam pin add -k path .

Install dune-2.7.1

opam install dune.2.7.1

Install parafuzz-lib

opam pin add -k path otherlibs/parafuzz-lib/

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Repository files navigation

ParaFuzz

Setup

Install parafuzz-lib

About

Releases

Packages

Contributors 3

Languages

License

SumitPadhiyar/parafuzz

Folders and files

Latest commit

History

Repository files navigation

ParaFuzz

Setup

Install parafuzz-lib

About

Topics

Resources

License

Stars

Watchers

Forks

Releases

Packages 0

Contributors 3

Languages

Packages