Pregmod v1019-114

See merge request !782

Pregmod v1019-113

See merge request !781

SFanon stuff

See merge request !780

SFanon's stuff

See merge request !779

Pregmod v1019-112

See merge request !778

Pregmod v1019-111

See merge request !776

Pregmod v1019-110

See merge request !775

Pregmod v1019-109

See merge request !774

Pregmod v1019-108

See merge request !773

Pregmod v1019-107

See merge request !772

Pregmod v1019-106

See merge request !771

Pregmod v1019-104

See merge request !770

Pregmod v1019-103

See merge request !769

Pregmod v1019-103

See merge request !768

Pregmod v102.

See merge request !767

Renaming compilers for simplicity.

See merge request !766

Pregmod v1019-101

See merge request !765

Pregmod v1019-100

See merge request !764

Pregmod v1019-99

See merge request !763