Quoting Connor Abbott (2018-12-04 01:58:28)
> On Mon, Dec 3, 2018 at 11:39 PM Dylan Baker wrote:
> >
> > Quoting Jason Ekstrand (2018-12-03 14:12:41)
> > > On Mon, Dec 3, 2018 at 3:50 PM Dylan Baker wrote:
> > >
> > > Quoting Connor Abbott (2018-11-29 10:32:02)
> > > > Before this
On Mon, Dec 3, 2018 at 11:39 PM Dylan Baker wrote:
>
> Quoting Jason Ekstrand (2018-12-03 14:12:41)
> > On Mon, Dec 3, 2018 at 3:50 PM Dylan Baker wrote:
> >
> > Quoting Connor Abbott (2018-11-29 10:32:02)
> > > Before this commit, there were two copies of the algorithm: one in C,
> >
Quoting Jason Ekstrand (2018-12-03 14:12:41)
> On Mon, Dec 3, 2018 at 3:50 PM Dylan Baker wrote:
>
> Quoting Connor Abbott (2018-11-29 10:32:02)
> > Before this commit, there were two copies of the algorithm: one in C,
> > that we would use to figure out what bit-size to give the
Quoting Jason Ekstrand (2018-12-03 14:12:41)
> On Mon, Dec 3, 2018 at 3:50 PM Dylan Baker wrote:
>
> Quoting Connor Abbott (2018-11-29 10:32:02)
> > Before this commit, there were two copies of the algorithm: one in C,
> > that we would use to figure out what bit-size to give the
On Mon, Dec 3, 2018 at 3:50 PM Dylan Baker wrote:
> Quoting Connor Abbott (2018-11-29 10:32:02)
> > Before this commit, there were two copies of the algorithm: one in C,
> > that we would use to figure out what bit-size to give the replacement
> > expression, and one in Python, that emulated the
Quoting Connor Abbott (2018-11-29 10:32:02)
> Before this commit, there were two copies of the algorithm: one in C,
> that we would use to figure out what bit-size to give the replacement
> expression, and one in Python, that emulated the C one and tried to
> prove that the C algorithm would never
On Thu, Nov 29, 2018 at 12:32 PM Connor Abbott wrote:
> Before this commit, there were two copies of the algorithm: one in C,
> that we would use to figure out what bit-size to give the replacement
> expression, and one in Python, that emulated the C one and tried to
> prove that the C algorithm
Before this commit, there were two copies of the algorithm: one in C,
that we would use to figure out what bit-size to give the replacement
expression, and one in Python, that emulated the C one and tried to
prove that the C algorithm would never fail to correctly assign
bit-sizes. That seemed