Bug#886481: RFP: herbie -- Synthesis for floating-point expressions

2019-04-26 Thread Nicolas Braud-Santoni
Control: clone -1 -2 Control: retitle -2 ITP: herbie -- Synthesis for floating-point expressions Control: owner -2 ! Control: block -1 by -2 Hi Roman, I also have interest and use for Herbie being packaged into Debian. I intent to publish a package for it in the near future (started the packagin

Processed: Re: Bug#886481: RFP: herbie -- Synthesis for floating-point expressions

2019-04-26 Thread Debian Bug Tracking System
Processing control commands: > clone -1 -2 Bug #886481 [wnpp] RFP: herbie -- Synthesis for floating-point expressions Bug 886481 cloned as bug 928045 > retitle -2 ITP: herbie -- Synthesis for floating-point expressions Bug #928045 [wnpp] RFP: herbie -- Synthesis for floating-point expressions Chan

Bug#886481: RFP: herbie -- Synthesis for floating-point expressions

2018-01-06 Thread Roman Lebedev
Package: wnpp Severity: wishlist -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 * Package name: herbie Version : 1.1 Upstream Author : Pavel Panchekha * URL : https://herbie.uwplse.org/ * License : MIT Programming Lang: Racket Description : Synthesis