Sat, 18 Mar 2017 22:15:19 +0000merge
Mario de Sousa <msousa@fe.up.pt> [Sat, 18 Mar 2017 22:15:19 +0000] rev 1036
merge

Sat, 18 Mar 2017 22:02:14 +0000merge
mjsousa [Sat, 18 Mar 2017 22:02:14 +0000] rev 1035
merge

Sat, 18 Mar 2017 21:50:00 +0000merge
mjsousa [Sat, 18 Mar 2017 21:50:00 +0000] rev 1034
merge

Sun, 19 Feb 2017 20:13:02 +0000Fix date conversion function (seconds to Date_and_Time). First day of month was falling on previous month.
mjsousa [Sun, 19 Feb 2017 20:13:02 +0000] rev 1033
Fix date conversion function (seconds to Date_and_Time). First day of month was falling on previous month.

Wed, 25 Jan 2017 19:50:39 +0000Fix error locations messed up in previous commit.
mjsousa [Wed, 25 Jan 2017 19:50:39 +0000] rev 1032
Fix error locations messed up in previous commit.

Wed, 25 Jan 2017 18:29:55 +0000fix compilation of SFC transitions written in IL (compiler was entering endless loop)
Andrey Skvortsov <andrej.skvortzov@gmail.com> [Wed, 25 Jan 2017 18:29:55 +0000] rev 1031
fix compilation of SFC transitions written in IL (compiler was entering endless loop)

Wed, 25 Jan 2017 18:25:35 +0000fix SFC timed qualifier (D, L, ...) with variable time (was generating wrong C code)
Andrey Skvortsov <andrej.skvortzov@gmail.com> [Wed, 25 Jan 2017 18:25:35 +0000] rev 1030
fix SFC timed qualifier (D, L, ...) with variable time (was generating wrong C code)

Wed, 25 Jan 2017 18:22:41 +0000Fix segmentation fault bug introduced by previous commit
Andrey Skvortsov <andrej.skvortzov@gmail.com> [Wed, 25 Jan 2017 18:22:41 +0000] rev 1029
Fix segmentation fault bug introduced by previous commit

Tue, 24 Jan 2017 12:44:44 +0000Correcty determine the datatype (TIME) of the parameters of SFC actions with timed qualifiers
mjsousa [Tue, 24 Jan 2017 12:44:44 +0000] rev 1028
Correcty determine the datatype (TIME) of the parameters of SFC actions with timed qualifiers

Mon, 23 Jan 2017 12:50:07 +0000Check that flex is installed during ./configure
Andrey Skvortsov <andrej.skvortzov@gmail.com> [Mon, 23 Jan 2017 12:50:07 +0000] rev 1027
Check that flex is installed during ./configure