d2b9ba9ae0
Fixed compare() mishap
39f938226e
Ensure termination in while/for
432dbf32dc
Merge branch 'elias'
0ca8a19bf7
Smarter bwd_binary in interval domain
1fbdff1ec6
Let user choose domain
041d492986
Fixed up signs, less naive func support