Fardale
Fardale
I started working on CCFilename, a lot of function depend on OS specific definition. Therefore I add the possibility to match the os_type using the preprocessor.
Removing function that are always present in 4.08.
To understand better the behaviour of the program, several parts of the program should be benchmarked. - the complete unification procedure - each part of the unification loop - the...
Currently, the normal form is not stable by substitution. Tuples are represented as sorted arrays, this property is not preserved by substitution. There are 3 possible ways to fix it:...
To avoid crash when reading the database from the disk, a magic number corresponding to the version of Dowsing could be added at the start of the file.
When thelounge crash, it is not automatically restart by systemd. To have this behavior, you need to add the directive `Restart=on-failure` in the Service section.
I realised that the min function from the Monomorphic module is using the polymorphic compare and is therefore slower than it should be.
Currently, with `'a -> 'b` `c1 * c2 * c3 * c4 * c5 * c6 * c7 * c8 -> 'b` the number of AC solutions tried and the...