|
asptut
|
2010-10-15
|
tkren
|
[r2388]
Add asptut.
|
|
dlvhex
|
2012-08-04
|
chrisr86
|
[r4019]
implement nogood caching
|
|
dlvhex-actionplugin
|
2012-08-08
|
stefanogermano
|
[r4020]
Added new class (ActionPluginBase).
|
|
dlvhex-actionplugin-addons
|
2010-04-24
|
tkren
|
[r2011]
Fix content.
|
|
dlvhex-aggregateplugin
|
2012-03-09
|
peterschueller
|
[r3644]
tagging release
|
|
dlvhex-benchmarks
|
2012-07-17
|
chrisr86
|
[r3992]
update EBL functions
|
|
dlvhex-build
|
2012-05-07
|
peterschueller
|
[r3806]
improved comment
|
|
dlvhex-buildbot
|
2012-04-12
|
peterschueller
|
[r3746]
added builders for clasp
|
|
dlvhex-decisiondiagramplugin
|
2011-07-06
|
chrisr86
|
[r2996]
fix two bugs in mergingplugin in decisiondiagra...
|
|
dlvhex-dlplugin
|
2012-05-29
|
chrisr86
|
[r3918]
add another wine benchmark
|
|
dlvhex-mathematicaplugin
|
2011-02-09
|
agoldmann
|
[r2674]
added second external atom linearSolve, includi...
|
|
dlvhex-mcs
|
2012-07-17
|
chrisr86
|
[r3994]
update according to modifications in Query class
|
|
dlvhex-mergingplugin
|
2012-05-21
|
chrisr86
|
[r3889]
fix bug
|
|
dlvhex-scriptplugin
|
2012-05-03
|
chrisr86
|
[r3797]
implement basic version of new UFS encoding (no...
|
|
dlvhex-stringplugin
|
2012-05-03
|
chrisr86
|
[r3797]
implement basic version of new UFS encoding (no...
|
|
dlvhex-website
|
2012-07-10
|
chrisr86
|
[r3975]
update experiments section
|
|
dlvhex-wordnetplugin
|
2012-03-09
|
peterschueller
|
[r3646]
tagging release
|
|
dlvhex-xpathplugin
|
2011-10-20
|
peterschueller
|
[r3180]
moving libcurl flags to the end
|
