Joeri Exelmans 6b5931343d Merge remote-tracking branch 'github/master' into development 3 mesiacov pred
..
eval.py ac6334eb84 make it a bit clearer where an exception was thrown 11 mesiacov pred
loader.py e046f2f972 nice visualization 3 mesiacov pred
module_to_dict.py 9e74075066 can call custom functions from condition code while pattern matching / rewriting + added example to runner_translate.py 11 mesiacov pred
prompt.py c738e8bcd1 Extract language-independent 'Simulator' class from woods example 1 rok pred
simulator.py 5e5865d0d5 base_case of len == 0 added (same as Interactive decisionMaker) 6 mesiacov pred
timer.py 38e120e6c8 improve profiler 11 mesiacov pred