Repository navigation
Prune to improve bounded evaluation #7
Description
Although the constant folding already permits us to do a lot of recursive stuff given that it is bounded, we sometimes get into a situation where the evaluation would be bounded but we cannot conclude it without the help of an SMT solver. We should add support for this! Note that this issue is blocked by #9, which should be resolved first.
Activity
[-]Pruning for improving bounded evaluation[/-][+]Pruning to improving bounded evaluation[/+][-]Pruning to improving bounded evaluation[/-][+]Prune to improve bounded evaluation[/+]