This repository has been archived on 2021-05-25. You can view files and clone it, but cannot push or open issues or pull requests.

RunasSudo ba2fece73e BLT editor: Fix bug where name not saved		2021-03-11 22:39:30 +11:00
..
blt	BLT editor: Fix bug where name not saved	2021-03-11 22:39:30 +11:00
vendor	Add unit tests for various election methods and JS engine	2020-12-31 16:50:19 +11:00
index.html	Fix print stylesheet	2021-02-28 22:08:02 +11:00
index.js	Hide loss to fraction in JS report if all zero	2021-01-15 16:23:10 +11:00
main.css	Fix print stylesheet	2021-02-28 22:08:02 +11:00
worker.js	Implement guarded fixed-point arithmetic	2021-01-14 22:31:24 +11:00