Started 3 yr 7 mo ago
Took 4.6 sec on master

Success Build #218 (Mar 30, 2017 2:11:48 PM)

Changes
  1. Move bool conversion to comprehension strategies (commit: e6571f9) (details / githubweb)
  2. Add support for forall (quantified) expressions (commit: 16ce987) (details / githubweb)
  3. Test translation of forall (quantified expressions) (commit: c99cf60) (details / githubweb)
  4. Support 'exists' quantified expressions (commit: 475ab28) (details / githubweb)
  5. More testing of 'forall' and 'exists' (commit: 77af864) (details / githubweb)

Started by GitHub push by peterwvj (2 times)

Revision: 77af8646faf669047a1e3bcb2cfef206d4ff0afd
  • refs/remotes/origin/development