Activity for Benjamin Kaufmann
-
Benjamin Kaufmann committed [e73904]
Fixed bugs in TypeTraits' scalar, array, const and volatile detection.
-
new version better supports return type void
-
corrected constructor parameter in ObjectLevelLockable::Lock
-
changed SingletonHolder::MakeInstance in accordance with Bug-report #691687
-
added isFunctionPointer and restructured code
-
fixed bug in DerivedToFront. Renamed MakeTypeList -> MakeTypelist
-
ported RefCountedMT. Corrected NoCopy
-
added support for return type void
-
new more stable version
-
Added missing parameter to OnUnknownType
-
replaced pointer-dummy parameters with Type2Type-parameters
-
different workaround for void returns than functor.h
-
different workaround for void returns than visitor.h
-
no message
-
VC6 port of DataGenerators.h
-
no message
-
Added protected destructors to private implementation classes
-
Changed default values for return types to void
-
New transparent workaround for Field-Functions
-
workaround for error C2182: '__formal' illegal use of type 'void'
-
added helper-macros for specializing std::less
-
no message
-
no message
-
no message
-
fixed bugs in FnDispatcher::Add and FunctorDispatcher::Add
-
no message
-
no message
-
new explicit template argument specification workaround for FnDispatcher::Add
-
no message
-
added Loki-Namespace-Qualification to definition of ClassLevelLockable's static member.
-
no message
-
Added operator=-workaround for pointer-assignment
-
Changed value parameter to reference parameter in FunctorBase and FunctorVoidBase Ctors
-
no message
-
Tag for clasp-3.2.0 release
-
* messed up import
-
tag for clasp-3.2.0 release
-
* check for master conflict in endStep()
-
* updated release tag
-
Tag for clasp-3.1.5 release
-
cleanup part 2 of n
-
cleanup part 1 of n
-
IntermediateFormatBackend now uses Potassco::As...
-
const correctness and print order
-
started refactoring of aspif interface
-
whitespace
-
updated clasp to latest revision
-
simplified cleanup
-
simplified Propagator interface and added funct...
-
fixed some gcc warnings
-
fixed mapping of PropagateInit::threads
-
bug fix
-
simplified scoped lock/unlock objects
-
member cleanup
-
moved propagator lock management to clasp and s...
-
cleanup
-
ClingoPropagator cleanup
-
switched to std::mutex
-
fix for bug #116
-
simplified and renamed TheoryPropagator
-
updated clasp and fixed a problem in TheoryProp...
-
Model generator failed to enforce enum limit
-
theory propagators now applied in FIFO order
-
simplified SolveResult
-
updated clasp
-
fixed bug in aspif to smodels converter
-
volatile and/or static clauses in theory propag...
-
updated clasp
-
BUG_FIX: wrong condition types ClaspAPIBackend
-
removed occurrence tag in aspif of theory atoms
-
updated to latest clasp revision
-
corrected constructor parameter in ObjectLevelL...
-
different workaround for void returns than func...
-
Added missing parameter to OnUnknownType
-
Fixed bugs in TypeTraits' scalar, array, const ...
-
added isFunctionPointer and restructured code
-
changed SingletonHolder::MakeInstance in accord...
-
no message
-
new version better supports return type void
-
added support for return type void
-
fixed bug in DerivedToFront. Renamed MakeTypeLi...
-
ported RefCountedMT. Corrected NoCopy
-
different workaround for void returns than visi...
-
new more stable version
-
replaced pointer-dummy parameters with Type2Typ...
-
no message
-
no message
-
fixed bugs in FnDispatcher::Add and FunctorDisp...
-
Changed value parameter to reference parameter ...
-
no message
-
no message
-
workaround for error C2182: '__formal' illegal ...
-
no message
-
no message
-
Added protected destructors to private implemen...
-
added Loki-Namespace-Qualification to definitio...
-
New transparent workaround for Field-Functions
-
new explicit template argument specification wo...
-
added helper-macros for specializing std::less
1 >
