|  | 9a71545e3e | Do not display error symbols in member-record. | 2023-03-19 21:03:47 +01:00 |  | 
				
					
						|  | 7a5975df63 | Handles list of error symbols. | 2023-03-19 21:00:22 +01:00 |  | 
				
					
						|  | dd8719f554 | Prepare error symbol. | 2023-03-19 20:54:55 +01:00 |  | 
				
					
						|  | 58c5a78829 | Suspended for at least 24 months. | 2023-03-19 20:43:00 +01:00 |  | 
				
					
						|  | 7e171bbcef | Period matching. | 2023-03-19 20:29:11 +01:00 |  | 
				
					
						|  | 1880239973 | Generic formatting. | 2023-03-19 20:23:23 +01:00 |  | 
				
					
						|  | f7d062f097 | Finish member-format for nick and id. | 2023-03-19 19:49:54 +01:00 |  | 
				
					
						|  | cd6051e376 | Fix handling joined in the base. | 2023-03-19 19:32:56 +01:00 |  | 
				
					
						|  | 6a53913e48 | Output to file. | 2023-03-19 19:26:23 +01:00 |  | 
				
					
						|  | 65b799ad0e | Add stats gnuplot source. | 2023-03-19 19:23:51 +01:00 |  | 
				
					
						|  | e472292232 | Basic stats. | 2023-03-19 19:23:37 +01:00 |  | 
				
					
						|  | ed6d9913de | Preliminary stats. | 2023-03-19 19:10:36 +01:00 |  | 
				
					
						|  | a4a296f36b | Fix month computation. | 2023-03-19 19:06:22 +01:00 |  | 
				
					
						|  | 5ff4aaff1b | Compute stats. | 2023-03-19 19:00:09 +01:00 |  | 
				
					
						|  | 5f62bb319e | Use month data type for joined key. | 2023-03-19 18:55:32 +01:00 |  | 
				
					
						|  | cd2a08e2ec | Prepare stats infrastructure. | 2023-03-19 18:30:09 +01:00 |  | 
				
					
						|  | 15926d124e | Id extraction and filtering. | 2023-03-19 08:00:53 +01:00 |  | 
				
					
						|  | 2c96707029 | Id extraction and filtering. | 2023-03-19 08:00:42 +01:00 |  | 
				
					
						|  | faf18b928e | Destroyed, students, suspended predicates and base info. | 2023-03-19 07:53:48 +01:00 |  | 
				
					
						|  | 4b453162cf | Work on predicates. | 2023-03-19 07:24:45 +01:00 |  | 
				
					
						|  | d183e658b1 | Fix open period checking. | 2023-03-18 16:50:51 +01:00 |  | 
				
					
						|  | 637128ae92 | Record filtering and basic property retrieval. | 2023-03-18 16:36:09 +01:00 |  | 
				
					
						|  | 9e12a43307 | Export mr predicates, update dependencies. | 2023-03-18 16:29:29 +01:00 |  | 
				
					
						|  | b27ddb32e4 | Implement and test suspended and destroyed. | 2023-03-18 16:16:15 +01:00 |  | 
				
					
						|  | 4c5b3db247 | Improve period checking with current month. | 2023-03-18 16:02:21 +01:00 |  | 
				
					
						|  | 798cfe318c | Start testing member-record, fix current month inference. | 2023-03-18 15:54:25 +01:00 |  | 
				
					
						|  | 023befa8f8 | Split out member-record module. | 2023-03-18 14:18:30 +01:00 |  | 
				
					
						|  | fcf9b57f8d | Add ANSI styles. | 2023-03-18 14:04:12 +01:00 |  | 
				
					
						|  | e6d383b020 | Look for invalid ids. | 2023-03-16 22:54:18 +01:00 |  | 
				
					
						|  | e1ffc98c53 | Streamline 4-digit primes tests. | 2023-03-16 22:36:43 +01:00 |  | 
				
					
						|  | c122df4c9e | Add to dependencies as well. | 2023-03-16 22:26:27 +01:00 |  | 
				
					
						|  | d92ef2124c | Add primes module skeleton. | 2023-03-16 22:24:24 +01:00 |  | 
				
					
						|  | 87cff0a8c8 | Finish card splitting to pairs of id and label. | 2023-03-16 21:42:12 +01:00 |  | 
				
					
						|  | 0d20884637 | Credit conversions. | 2023-03-16 21:21:39 +01:00 |  | 
				
					
						|  | 342797575f | Port last bits and pieces of orig tool. | 2023-03-16 19:53:54 +01:00 |  | 
				
					
						|  | 4419d0de21 | Static and dynamic builds. | 2023-03-16 19:23:25 +01:00 |  | 
				
					
						|  | 3dd329af5b | Work on both shared and static linking. | 2023-03-16 14:31:03 +01:00 |  | 
				
					
						|  | 0005e70632 | Clean link files. | 2023-03-16 14:10:19 +01:00 |  | 
				
					
						|  | 1a6f339d9d | Work on static linkage. | 2023-03-16 14:05:47 +01:00 |  | 
				
					
						|  | dbb7ab7fd8 | Load members, find them by id or nick. | 2023-03-16 12:04:51 +01:00 |  | 
				
					
						|  | a38992edf7 | Use member id as primary key. | 2023-03-16 11:28:38 +01:00 |  | 
				
					
						|  | 77204b80e4 | Dictionary reduce, prepare members-base usage. | 2023-03-16 11:24:04 +01:00 |  | 
				
					
						|  | e26b78b254 | Optional progress in loading the members-base. | 2023-03-16 10:50:29 +01:00 |  | 
				
					
						|  | 62882aab27 | Basic loading. | 2023-03-16 10:41:59 +01:00 |  | 
				
					
						|  | 165794f317 | Implement dict-filter. | 2023-03-16 10:34:08 +01:00 |  | 
				
					
						|  | 33f02bd329 | Implement dict-map. | 2023-03-16 10:22:50 +01:00 |  | 
				
					
						|  | 6e614feab3 | Filter only 4-digit files or symlinks. | 2023-03-15 15:01:22 +01:00 |  | 
				
					
						|  | 0e5b59cab0 | Lists of symbols - 4-digit checking. | 2023-03-15 12:55:44 +01:00 |  | 
				
					
						|  | 69eed25e80 | 4digit string recognition | 2023-03-15 12:47:47 +01:00 |  | 
				
					
						|  | 669c17123b | Aliases and files recording. | 2023-03-15 12:37:03 +01:00 |  |