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

Close

Commit [r8365] Maximize Restore History

- first shot at implementing assumptions

rkaminski 2014-04-01

changed /trunk/gringo/app/clingo/src/clingo_app.cc
changed /trunk/gringo/app/clingo/src/clingo_app.hh
changed /trunk/gringo/app/gringo/main.cc
changed /trunk/gringo/app/pyclingo/src/clingo_lib.cc
changed /trunk/gringo/app/pyclingo/src/clingo_lib.hh
changed /trunk/gringo/app/shared/include/clingocontrol.hh
changed /trunk/gringo/app/shared/src/clingocontrol.cc
changed /trunk/gringo/libgringo/gringo/control.hh
changed /trunk/gringo/libgringo/src/lua.cc
changed /trunk/gringo/libgringo/src/python.cc
/trunk/gringo/app/clingo/src/clingo_app.cc Diff Switch to side-by-side view
Loading...
/trunk/gringo/app/clingo/src/clingo_app.hh Diff Switch to side-by-side view
Loading...
/trunk/gringo/app/gringo/main.cc Diff Switch to side-by-side view
Loading...
/trunk/gringo/app/pyclingo/src/clingo_lib.cc Diff Switch to side-by-side view
Loading...
/trunk/gringo/app/pyclingo/src/clingo_lib.hh Diff Switch to side-by-side view
Loading...
/trunk/gringo/app/shared/include/clingocontrol.hh Diff Switch to side-by-side view
Loading...
/trunk/gringo/app/shared/src/clingocontrol.cc Diff Switch to side-by-side view
Loading...
/trunk/gringo/libgringo/gringo/control.hh Diff Switch to side-by-side view
Loading...
/trunk/gringo/libgringo/src/lua.cc Diff Switch to side-by-side view
Loading...
/trunk/gringo/libgringo/src/python.cc Diff Switch to side-by-side view
Loading...