6 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Adrián Arroyo Calle	00d0502cbd	Rename init_file to disable_init_file	2021-08-23 09:53:15 +02:00
Adrián Arroyo Calle	dce0c43e26	Read scryerrc if goals specified but not -f specified	2021-08-20 14:15:16 +02:00
Adrián Arroyo Calle	80e228f236	Clean the code	2021-08-20 14:06:57 +02:00
Adrián Arroyo Calle	8ee2545b05	Add a -f switch to load alternative initialization files	2021-08-20 14:00:32 +02:00
Adrián Arroyo Calle	9bcc56e337	Make it line	2021-08-20 12:40:27 +02:00
Adrián Arroyo Calle	3c5a94452a	Fix #1009 by providing a naive num-bigint implementation of count_ones	2021-08-20 12:38:15 +02:00