-
Notifications
You must be signed in to change notification settings - Fork 32
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Finally changed my mind about branchings.
The bug identified in the previous commit was actually not a bug. So I'm rolling back at the previous version of the branching/preconditions algorithms. However, it will be improved in the next commit.
- Loading branch information
=
committed
Nov 15, 2015
1 parent
ae0b8b6
commit 9d3bec7
Showing
1 changed file
with
31 additions
and
37 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters