Activity for opbdp
-
pb committed [r38]
timing, cleanup
-
OrdInt small cleanup
-
flush cerr before exit
-
cool, map finally works after a couple of decades ;-)
-
cleanup, const whitespace atoms
-
cleanup simplerbtree, whitespace
-
const, simplestring, no functional change
-
whitespace
-
just whitespace
-
get rid of streaminclude
-
typo
-
did not use inefficient dl lists for decades
-
-Wextra
-
remove another dead store
-
typo and eliminate dead store
-
eliminate useless assignment
-
logic error simple string
-
opbdp-1.1.5 released
-
opbdp released /opbdp/opbdp-1.1.5/opbdp-1.1.5.tgz
-
-
-
release 1.1.5
-
fix comments, change generated variable names from __NL__ to NL__
-
fix parsing of large coefficients (sizeof(Coefficient) > sizeof(int)) in the nonlinear case
-
no literal random not possible
-
!=0 -> >0 for coeffs
-
ignore executable
-
minimal cleanup assign PolPBTerm
-
free -> delete[]
-
remove executable bit from sources
-
executable bit set on old exe
-
remove register, for c++1z
-
fix warning new c++ version
1
