|
|
6f8ba3350a
|
Bump version.
|
2023-03-19 21:54:10 +01:00 |
|
|
|
48ec6a5dcf
|
Display comments in highlights.
|
2023-03-19 21:53:18 +01:00 |
|
|
|
39554768b3
|
Report errors in the member file.
|
2023-03-19 21:49:54 +01:00 |
|
|
|
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 |
|
