|
|
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 |
|
|
|
29dc5aa1ac
|
Members directory reading.
|
2023-03-15 11:57:18 +01:00 |
|
|
|
83b27f4de4
|
Members directory reading.
|
2023-03-15 11:51:49 +01:00 |
|
|
|
8803c11f5e
|
Finish utils split out.
|
2023-03-14 23:17:12 +01:00 |
|
|
|
5b32f3a30a
|
Split out utils so that we don't need SRFI.
|
2023-03-14 23:13:26 +01:00 |
|
|
|
98a772cee9
|
Add skeleton of members base.
|
2023-03-14 23:04:10 +01:00 |
|
|
|
9564563199
|
Add help to orig.
|
2023-03-14 21:13:20 +01:00 |
|
|
|
bd098dfc12
|
Remove old command-line parsing.
|
2023-03-14 21:12:39 +01:00 |
|
|
|
84c5aac95e
|
Improve command-line syntax.
|
2023-03-14 21:10:18 +01:00 |
|
|
|
0f9e5e2313
|
Make sure the warning case returns false.
|
2023-03-14 20:13:04 +01:00 |
|
|
|
06159627aa
|
Work on ignoring errors and giving warnings.
|
2023-03-14 16:57:20 +01:00 |
|
|
|
82319aaa4d
|
Cleanup Makefile dependencies.
|
2023-03-14 16:47:25 +01:00 |
|
|
|
3697f5169d
|
Finish the build infrastructure for separate linking.
|
2023-03-14 14:50:10 +01:00 |
|
|
|
a700e483db
|
Work on dependencies.
|
2023-03-14 12:02:30 +01:00 |
|
|
|
db18163193
|
Start work on build infrastructure.
|
2023-03-14 11:55:02 +01:00 |
|
|
|
ed3c8fef63
|
Add simple shell script for running under csi.
|
2023-03-14 11:50:00 +01:00 |
|
|
|
36e6e3c3cf
|
Use the new ANSI module.
|
2023-03-14 11:48:55 +01:00 |
|
|
|
f90041a0ff
|
Actual ANSI color and bold attribute generation.
|
2023-03-14 11:18:26 +01:00 |
|
