jbearer / hspl / 132

Builds Branch Commit Type Ran Committer Via Coverage
132 ternary Add a syntactic construct for conditional statements. The "cond" block allows the user to specify a series of conditions (goals) and actions. The first condition to succeed has its action executed and the block terminates. Syntactically, the cons... push jbearer travis-ci pending completion   set done
131 master Provide a goal for introducing a new cut frame. This is used to implement Once in terms of Cut, and Once is now removed. Predicate goals still implicitly introduce a cut frame. Closese #16 push jbearer travis-ci pending completion   set done
130 cutframe Provide a goal for introducing a new cut frame. This is used to implement Once in terms of Cut, and Once is now removed. Predicate goals still implicitly introduce a cut frame. Closese #16 push jbearer travis-ci pending completion   set done
128 master Remove Cabal builds from Travis They weren't doing anything but take a long time anyway push jbearer travis-ci pending completion   set done
127 alternatives-n Remove Cabal builds from Travis They weren't doing anything but take a long time anyway push jbearer travis-ci pending completion   set done
126 alternatives-n Increase Travis timeout for Cabal build push jbearer travis-ci pending completion   set done
124 cleanup-api Clean up public interface. * Move some implementation details into an internal module * Rename/provide aliases so that the user sees names like 'Goal' rather than the more cryptic 'GoalWriter' * Provide wrappers in terms of the new types, e.g. ... push jbearer travis-ci pending completion   set done
123 alternatives-n Implement findN and bagOfN predicates. These are like findAll and bagOf, but they return at most N results. Closes #5 push jbearer travis-ci pending completion   set done
122 master Increase travis timeout for cabal build push jbearer travis-ci pending completion   set done
121 cleanup-api Clean up public interface. * Move some implementation details into an internal module * Rename/provide aliases so that the user sees names like 'Goal' rather than the more cryptic 'GoalWriter' * Provide wrappers in terms of the new types, e.g. ... push jbearer travis-ci pending completion   set done
120 travis Increase travis timeout for cabal build push jbearer travis-ci pending completion   set done
119 alternatives-n Implement findN and bagOfN predicates. These are like findAll and bagOf, but they return at most N results. Closes #5 push jbearer travis-ci pending completion   set done
118 master Create a public interface for the debugger. The interface exposes configuration and entrypoints for the debugger, and is written in terms of Control.Hspl types (e.g. GoalWriter) Closes #2 push jbearer travis-ci pending completion   set done
117 debugger Create a public interface for the debugger. The interface exposes configuration and entrypoints for the debugger, and is written in terms of Control.Hspl types (e.g. GoalWriter) Closes #2 push jbearer travis-ci pending completion   set done
116 forall Implement a forAll predicate. Analagous to Prolog's forall, forAll cond action succeeds if, for every time cond succeeds, action also succeeds. No variables are bound. Closes #6 push jbearer travis-ci pending completion   set done