Results 19 comments of livnev

This fixes #9

@akolotov Unfortunately, it's not possible to go in and out of the DSR without incurring a rounding error. This is because DAI balances and `Pot` balances are related by the...

@k1rill-fedoseev apologies, what I said about the error being bounded at 1 wei of DAI was false. I should have said that it is bounded at 1 wei of `pie`,...

> thanks @livnev for explanation! > > In general, this approach is OK since it is assumed that DSR>0 and `(pie * chi) - invested dai` will always be more...

@marvin8 FYI coingecko [lists CHAI](https://www.coingecko.com/en/coins/chai)

I was told issue #734 might be relevant to this PR.

@kmbarry1 can you get these optimisations to pass the spec? 😛

Agree that this is poorly defined. Here are some possible definitions of the terms: `gem`: internal token balance, unencumbered collateral balance `ink`: (encumbered) collateral balance

Hi @gbalabasquer, thanks for your attention and suggestions: 1. It seemed better to avoid introducing the concept of `Ilk`s (and per-`Ilk` data) in the `Vow`, seeing as currently the `Vow`...

I'm seeing these tests fail also on `x86_64-darwin` when building with `nix`.