Activity for Luca DallOlio
-
Luca DallOlio committed [d6fc46]
Contributing a simple sftp plugin
-
Cleanup following reviewer advices
-
moved
-
fixed bug with MultipleConditionedExpression and affectedvariables in conditions
-
better usage of MultipleConditionedExpression during solve and replace
-
activated initial and repeat conditions, workaround for constant facts
-
fix problem with solver and ==, >=, <=
-
fixed nasty bug with prolog solution, removed some layers of nasty workarounds :p
-
slightly better version of minimize (at least only works on a single variable)
-
better handling of never entering a while loop
-
formatting + fixed de morgan rules in OR conditions
-
postincrement fixed (needed to clone the initial value to protect from postincrement side effects)
-
fixed block and linear coupling tests, postincrement still wrong, added initial value calculation
-
now parser is used from static methods, using a...
-
first version of a symbolic test
-
back suffix not needed, so removed! yay!
-
back suffix :-)
-
library update (not yey tuprolog, it is not in ...
-
some more rational
-
rationals
-
fixed (as in "no more unstable") nestedloops
-
partially fixed factorial, now green, but would...
-
recursion test works!!!
-
intermediary commit, much much better handling ...
-
first part of function call placeholder
-
still some way to go, but many tests are fixed :-)
-
fixed subtle placeholder binding bug
-
format and unary minus in parsing
-
added symbolic simplifier test
-
added unit tests, infix writes rationals
-
-
1
