Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix timeout, cancellation and instant display logic | Hans Boehm | 2015-05-01 | 1 | -0/+7 |
* | Fix strings, stability bug, easy UI & correctness issues | Hans Boehm | 2015-04-29 | 1 | -1/+7 |
* | Fix decimal log(), rename positive_den() | Hans Boehm | 2015-04-23 | 1 | -10/+11 |
* | Internationalize display again. Plus minor cleanups. | Hans Boehm | 2015-04-15 | 1 | -0/+1 |
* | Fix UI holes and bugs. Fix eval bugs. | Hans Boehm | 2015-04-15 | 1 | -4/+10 |
* | Add tests, fix BoundedRational bugs | Hans Boehm | 2015-04-07 | 1 | -3/+7 |
* | Add BoundedRational evaluation | Hans Boehm | 2015-03-10 | 1 | -0/+488 |