David Tonhofer

Results 62 issues of David Tonhofer

This is https://en.wikipedia.org/wiki/Manas_International_Airport ICAO: UCFM, formerly UAFM. UAFM is in the dataset, but not UCFM. As is the custom, "UCFM" can be found in "gps_code" instead.

It's not in there at all: https://en.wikipedia.org/wiki/Platov_International_Airport

This is https://en.wikipedia.org/wiki/Logro%C3%B1o%E2%80%93Agoncillo_Airport Is is found with ident = LELO instead, which apparently is the military airport of the same name. The ICAO code LERJ can be found in the...

# About As the Java API doc on the ANTLR 4 site does not permit searching (it fails with 404) I tried to build the Javadoc from source. This was...

type:improvement
comp:doc

1) Code cleaned up here and there, javadoc extended. 2) Handling for "transitional" Country Codes added. These are country codes that are "sunsetting" and should not be used anymore. However,...

The link in the README http://www.consol.com/opensource/nagios/check-mysql-health seems dead as you get bounced to the front page of www.consol.com Better: https://www.consol.com/it-services/it-consulting/open-source-monitoring/database-monitoring/ and then https://labs.consol.de/nagios/check_mysql_health/

The section on "Global Constraints" lists "all_different" but not "alldifferent": https://www.minizinc.org/doc-2.5.5/en/lib-globals.html?highlight=global%20constraints#index-29 However, "alldifferent" seems to be the preferred spelling according to the tutorial (and the online course): https://www.minizinc.org/doc-2.5.5/en/predicates.html?highlight=alldifferent This is...

Such a feature would be helpful to rapidly check for the presence of badly spelled symbols, or help in (possibly selectively) replacing them. It could also be an option of...

While autocomplete may help in writing prose or code in excessively verbose programming languages, it doesn't do much for MiniZinc which is very terse. People are not going to get...

For some reason, I am continually accumulating whitespace after the text when editing in the IDE. While this has no effect on compilation and execution, it has an effect on...