bigeasy / packet / 397

Builds Branch Commit Type Ran Committer Via Coverage
397 master Upgrade Proof to 0.0.47. Closes #325. push bigeasy travis-ci pending completion   set done
396 master Implement unpacking of unsigned integers. Closes #323. push bigeasy travis-ci pending completion   set done
394 master No parens in pack if not necessary. Closes #321. push Alan Gutierrez travis-ci pending completion   set done
393 master Rename Programmatic function to `$`. Closes #320. push Alan Gutierrez travis-ci pending completion   set done
392 master Test unpack without a shift. See #317. push bigeasy travis-ci pending completion   set done
391 master Convert pack sketch to a test. Closes #319. push bigeasy travis-ci pending completion   set done
390 master Some code must be instrumented or coverage barfs. See #318. See #317. push bigeasy travis-ci pending completion   set done
387 master Use `signage` for signed whole integers. Closes #316. push bigeasy travis-ci pending completion   set done
386 master Sketch two's compliment signage fixup. Closes #315. push bigeasy travis-ci pending completion   set done
385 master Sketch bit-packing unsigned integers. Closes #313. push bigeasy travis-ci pending completion   set done
384 master Implement single cycle using Programmatic. Closes #312. push bigeasy travis-ci pending completion   set done
383 master Implement double cycle using Programmatic. Closes #311. push bigeasy travis-ci pending completion   set done
382 master Tidy some line endings I missed. See #306. push bigeasy travis-ci pending completion   set done
381 master Remove `out.txt`. Remove a working file that was checked in accidentally. push bigeasy travis-ci pending completion   set done
380 master Implement signed short cycle using Programmatic. Closes #310. push bigeasy travis-ci pending completion   set done