reporting merge requestshttps://git.dynare.org/Archives/reporting/-/merge_requests2023-11-17T11:10:39Zhttps://git.dynare.org/Archives/reporting/-/merge_requests/8Make naming of globals consistent2023-11-17T11:10:39ZJohannes PfeiferMake naming of globals consistenthttps://git.dynare.org/Archives/reporting/-/merge_requests/4Fix bug on windows2015-11-11T14:10:47ZFerhatMihoubiFix bug on windowshttps://git.dynare.org/Archives/reporting/-/merge_requests/3Bug fixes and enhancement2015-10-15T10:12:26ZFerhatMihoubiBug fixes and enhancement