Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo


pre_2to3 Log

Commit Date  
[4dca5a] (8.9 kB) by mtnyogi

Merged with Release 1.1.

2010-03-10 19:14:42 View
[081917] (9.1 kB) by mtnyogi

Added blank lines between methods, deleted doctest calls.

Also changed module imports in knowledge_engine.py and goal.py to prevent
import cycles.

2010-03-05 20:24:53 View
[efe1d1] (9.0 kB) by mtnyogi

merge with release_1 test changes

2009-10-28 15:00:00 View
[9c767a] (9.2 kB) by mtnyogi

Added compiler_version.

2009-10-28 13:29:42 View
[3e0ae6] (9.0 kB) by mtnyogi

Cleaning up test scripts.

2009-10-24 19:45:30 View
[5ea7f1] (8.9 kB) by mtnyogi

- This should be the last batch of initial changes to get testpyke working on

2009-03-25 20:48:51 View
[31b2a6] (9.0 kB) by mtnyogi

- Fix for bug 2496575.
- Changed engine.__init__ arguments (again!).
- Refactored engine intialization logic.
- This code passes testpyke and testexamples.

2009-01-13 14:33:06 View
[2bb500] (9.0 kB) by mtnyogi

- updated documentation to reflect the changes in lookup and prove.
- fixed the problem with ./testdocs not honoring "from __future__ import
- made sure the copyright statements for all files that have changed in 2008
include 2008 in them.
- regenerated the html documentation.

./testall passes all tests now.

2008-09-24 19:46:26 View
[8c02ba] (9.0 kB) by mtnyogi

Changed lookup and prove to return context managers that return iterators when
"entered". Still have 2 .txt files in doc that fail tests.

Also need to convert prove_n to do the same thing.

All examples work.

2008-09-14 18:28:29 View
[f66b44] (8.9 kB) by mtnyogi

1. Added `first` clause.
2. Started documenting the new forall/notany/python/first clauses.
3. Added code to recompile .krb files when the pyke version changes.
4. Moved string format that generates sql command out of with clause and into
when clause in sqlgen (since it doesn't change for each execution of the

This passes the testall tests.
The documentation still needs more work.

2008-05-20 17:54:31 View
[fc35ed] (8.6 kB) by mtnyogi

First batch of changes for code generation of BC forall. Not done yet, but
testall still works...

2008-05-03 01:48:19 View
[734c69] (8.5 kB) by mtnyogi

1. Took out tmp_itertools getting ready for python3.0.
2. Added test scripts starting with top-level testall script.

2008-04-11 02:35:46 View
[170e42] (8.5 kB) by mtnyogi

1. Moved pyke.compiler to pyke.krb_compiler so that it doesn't conflict with
the built-in compiler package.
2. Added the knapsack example.

2008-03-19 15:05:52 View