Adds Parallel State Machine Testing#28

Closed

jeffh wants to merge 31 commits intomasterfrom

par-statem-attempt-2

Commits on Feb 4, 2015

Cooperative Scheduling using fibers.
jeffh
committed
Added threads-based scheduler.
jeffh
committed
Deleted Fiber implementation.
jeffh
committed
Deleted FOXLinearizer
jeffh
committed
Added Foxling - a clang proprocessor.
jeffh
committed
Added basic FoxlingCompiler wrapper.
jeffh
committed
Converted some large stack allocations to heap.
jeffh
committed
Added Clang Compiler Plugin for Xcode.
jeffh
committed
Refactored public API for state machine generation.
jeffh
committed
Minor tweaks. Documentation comments
jeffh
committed
Internal refactors.
jeffh
committed
Added Foxling tests to script.
jeffh
committed
Adding foxling tests to travis would be useful
jeffh
committed
Added pack/unpack scripts for prebuilt LLVM
jeffh
committed
Added ability to download prebuilt LLVM from s3.
jeffh
committed
Added Fox-OSX-Specs to shared schemes.
jeffh
committed
Disable modules for Foxling. Apple Clang has a custom module implementation (to support Swift + ObjC interop).
jeffh
committed
New state machine test API can pass mutated property results to FOXForAll/FOXForSome via exceptions. This preserves original debuggability while allowing users to add setup/teardown code for the su…
jeffh
committed
Fixed occational crash when a thread being scheduled by Fox yields during pthread_exit()
jeffh
committed
Code formatting
jeffh
committed
Refactor. Optimize imports and renamed new state machine api
jeffh
committed
Basic layout for parallel tests docs. Updated generator reference
jeffh
committed
Added more documentation for paralle testing.
jeffh
committed
Small optimization of FOXSequence.
jeffh
committed
Fixed FOXBind test to not be flaky.
jeffh
committed
Documentation tweaks. Rewording pass on parallel docs.
jeffh
committed
Fixed hardcoded paths in Foxling.
jeffh
committed
Fixed analyze warnings.
jeffh
committed
Sequences and rose trees are encodable and copyable.
jeffh
committed
Removed spec linting (again)
jeffh
committed

Commits on Feb 5, 2015

Fixed warnings.
jeffh
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Adds Parallel State Machine Testing#28

Adds Parallel State Machine Testing#28
jeffh wants to merge 31 commits intomasterfrom
par-statem-attempt-2

Commits on Feb 4, 2015

Cooperative Scheduling using fibers.

Added threads-based scheduler.

Deleted Fiber implementation.

Deleted FOXLinearizer

Added Foxling - a clang proprocessor.

Added basic FoxlingCompiler wrapper.

Converted some large stack allocations to heap.

Added Clang Compiler Plugin for Xcode.

Refactored public API for state machine generation.

Minor tweaks. Documentation comments

Internal refactors.

Added Foxling tests to script.

Adding foxling tests to travis would be useful

Added pack/unpack scripts for prebuilt LLVM

Added ability to download prebuilt LLVM from s3.

Added Fox-OSX-Specs to shared schemes.

Disable modules for Foxling. Apple Clang has a custom module implementation (to support Swift + ObjC interop).

New state machine test API can pass mutated property results to FOXForAll/FOXForSome via exceptions. This preserves original debuggability while allowing users to add setup/teardown code for the su…

Fixed occational crash when a thread being scheduled by Fox yields during pthread_exit()

Code formatting

Refactor. Optimize imports and renamed new state machine api

Basic layout for parallel tests docs. Updated generator reference

Added more documentation for paralle testing.

Small optimization of FOXSequence.

Fixed FOXBind test to not be flaky.

Documentation tweaks. Rewording pass on parallel docs.

Fixed hardcoded paths in Foxling.

Fixed analyze warnings.

Sequences and rose trees are encodable and copyable.

Removed spec linting (again)

Commits on Feb 5, 2015

Fixed warnings.