src - stv-count - STV counter for Australian Senate elections 2016 or later

Mode	Name	Size
-rw-r--r--	bundles-containers.adb	2379	log plain
-rw-r--r--	bundles-containers.ads	679	log plain
-rw-r--r--	bundles.adb	2231	log plain
-rw-r--r--	bundles.ads	1591	log plain
-rw-r--r--	candidates-containers.adb	6784	log plain
-rw-r--r--	candidates-containers.ads	1650	log plain
-rw-r--r--	candidates.adb	1360	log plain
-rw-r--r--	candidates.ads	1156	log plain
-rw-r--r--	crypto-asymmetric-prime_tables.ads	11870	log plain
-rw-r--r--	crypto-asymmetric.ads	1351	log plain
-rw-r--r--	crypto-types-big_numbers-binfield_utils.adb	9949	log plain
-rw-r--r--	crypto-types-big_numbers-mod_utils.adb	23775	log plain
-rw-r--r--	crypto-types-big_numbers-utils.adb	23642	log plain
-rw-r--r--	crypto-types-big_numbers.adb	32336	log plain
-rw-r--r--	crypto-types-big_numbers.ads	16423	log plain
-rw-r--r--	crypto-types-random.adb	2281	log plain
-rw-r--r--	crypto-types-random.ads	1627	log plain
-rw-r--r--	crypto-types-random_source-file.adb	5661	log plain
-rw-r--r--	crypto-types-random_source-file.ads	1514	log plain
-rw-r--r--	crypto-types-random_source.adb	1546	log plain
-rw-r--r--	crypto-types-random_source.ads	911	log plain
-rw-r--r--	crypto-types.adb	29111	log plain
-rw-r--r--	crypto-types.ads	14270	log plain
-rw-r--r--	crypto.ads	1143	log plain
-rw-r--r--	csv.adb	5304	log plain
-rw-r--r--	csv.ads	646	log plain
-rw-r--r--	election.adb	16773	log plain
-rw-r--r--	election.ads	1750	log plain
-rw-r--r--	preferences.adb	8072	log plain
-rw-r--r--	preferences.ads	1052	log plain
-rw-r--r--	rationals.adb	8583	log plain
-rw-r--r--	rationals.ads	3782	log plain
-rw-r--r--	simple_time.adb	1351	log plain
-rw-r--r--	simple_time.ads	309	log plain
-rw-r--r--	stv.adb	8734	log plain