jeeves

jeeves copied to clipboard

``` Kyles-MBP-2:jeeves micinski$ nosetests tests/gallery/authentication E ====================================================================== ERROR: Failure: OSError (No such file /Users/micinski/projects/jeeves/tests/gallery/authentication) ---------------------------------------------------------------------- Traceback (most recent call last): File "/Library/Python/2.7/site-packages/nose-1.3.7-py2.7.egg/nose/failure.py", line 42, in runTest raise self.exc_class(self.exc_val) OSError: No...

kmicinski

I installed Z3, and to confirm that Jeeves was working as expected, I did the following: ``` >>> from z3 import * >>> solve(x > 2, y < 10, x...

kmicinski

The type of `varLabel` parameter is `fast.AST.Var` but the documentation states that the type is `string`. ``` >>> l = JeevesLib.mkLabel('l') >>> l.__class__ ```

Ch0c0late

jeanqasaur

jeanqasaur

jeanqasaur

jeanqasaur

On the main GitHub page (https://github.com/jeanqasaur/jeeves) the "About" section has a link (jeeveslang.org) which redirects to an adult site. Suggest changing the URL to https://projects.csail.mit.edu/jeeves/ or https://github.com/jeanqasaur/jeeves.

hoosierEE