4 Commits

Author	SHA1	Message	Date
Michele Guerini Rocco	6010a9361b	add INI configuration file ... This adds a new configuration file based on the INI format. The new format will allow adding GRAY parameters without breaking compatibility with existing configurations, unlike as of the old gray_params.data.	2022-05-22 01:02:19 +02:00
Michele Guerini Rocco	e81308d048	add option to set parameters from the command-line	2022-05-11 01:15:07 +02:00
Michele Guerini Rocco	add59dbdda	src: use the logging system everywhere	2022-05-11 01:15:04 +02:00
Michele Guerini Rocco	01a6f9145c	initial gray CLI work ... This lays down the basis for the gray command-line interface. All options works but currently --units and -v/-q have no effect.	2022-05-11 01:15:02 +02:00