Branch: Tag:

2019-08-11

2019-08-11 12:11:02 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Calendar.mkexpert: Improve robustness of generated expert system.

Move the probe times to between transition times (instead of
at transition times) to improve robustness in case transition
times move around.

2019-05-18

2019-05-18 15:19:07 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Calendar.mkexpert: Added some notes.

2019-05-04

2019-05-04 09:12:19 by Arne Goedeke <el@laramies.com>

Merge remote-tracking branch 'origin/master' into new_utf8

2019-04-05

2019-04-05 09:14:36 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Merge branch 'patches/pike174' into 8.0

* patches/pike174:
Calendar.mkexpert: Changed selection heuristic.
Calendar.mkexpert: Adjusted indentation of result.
Calendar: Added script to (re-)generate the time zone expert system.

2019-03-25

2019-03-25 10:51:53 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Calendar.mkexpert: Changed selection heuristic.

Prefer a wide split to a shallow split.

This gives an expert tree closer to the original.

2019-03-25 10:51:31 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Calendar.mkexpert: Adjusted indentation of result.

2019-03-25 10:51:01 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Calendar: Added script to (re-)generate the time zone expert system.

The expert system has been updated a single time (2008-01-13)
since it was implemented on 2000-10-01, and it seems to miss
some recent time zones, as well as guess wrong.

It is unknown how the decision points in original expert system
were selected (by hand?), so the new ones differ quite a bit.

Fixes some of [Pike-174].

2019-03-24

2019-03-24 18:13:48 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Calendar.mkexpert: Changed selection heuristic.

Prefer a wide split to a shallow split.

This gives an expert tree closer to the original.

2019-03-23

2019-03-23 12:15:55 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Calendar.mkexpert: Adjusted indentation of result.

2019-03-22

2019-03-22 15:42:21 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Calendar: Added script to (re-)generate the time zone expert system.

The expert system has been updated a single time (2008-01-13)
since it was implemented on 2000-10-01, and it seems to miss
some recent time zones, as well as guess wrong.

It is unknown how the decision points in original expert system
were selected (by hand?), so the new ones differ quite a bit.

Fixes some of [Pike-174].