Mario de Sousa <msousa@fe.up.pt> [Mon, 04 Apr 2011 15:26:13 +0100] rev 276
Updating origin and license info of library fuctions.
Conclude missing counter FBs.
Mario de Sousa <msousa@fe.up.pt> [Mon, 04 Apr 2011 15:22:42 +0100] rev 275
Leave standard function names hardcoded, as these are considered keywords even though
they may not be implemented in the library.
Mario de Sousa <msousa@fe.up.pt> [Mon, 04 Apr 2011 14:32:21 +0100] rev 274
New version of bistable.txt - due to license issues.
Edouard Tisserant [Mon, 04 Apr 2011 18:54:55 +0200] rev 273
Make semantic error message compatible with beremiz
Edouard Tisserant [Mon, 04 Apr 2011 17:19:35 +0200] rev 272
Merge
Edouard Tisserant [Mon, 04 Apr 2011 17:13:03 +0200] rev 271
Fixes to make handling of standard functions in Semantic analyser compatible with code generation of standard functions
Edouard Tisserant [Mon, 04 Apr 2011 13:25:39 +0200] rev 270
Merge with changes from Mario
Mario de Sousa <msousa@fe.up.pt> [Mon, 04 Apr 2011 11:19:48 +0100] rev 269
Fixing stupid bug (that was disabling code generation).
Mario de Sousa <msousa@fe.up.pt> [Mon, 04 Apr 2011 10:48:30 +0100] rev 268
Adding Makefile for Darwin (thanks go to Manuele)
Mario de Sousa <msousa@fe.up.pt> [Mon, 04 Apr 2011 10:42:03 +0100] rev 267
starting to add proper header file with declaration of standard functions
Mario de Sousa <msousa@fe.up.pt> [Fri, 01 Apr 2011 12:19:32 +0100] rev 266
Fixing error messages for IL semantic errors (brocken in a previous changeset/commit).
Mario de Sousa <msousa@fe.up.pt> [Fri, 01 Apr 2011 10:47:24 +0100] rev 265
Updating license info (with Edouard's permission for relevant files).
Mario de Sousa <msousa@fe.up.pt> [Fri, 01 Apr 2011 10:06:19 +0100] rev 264
Updating License info (with Edoaurd's permission for relevant files).
Mario de Sousa <msousa@fe.up.pt> [Fri, 01 Apr 2011 10:03:22 +0100] rev 263
Adding some debug info
Mario de Sousa <msousa@fe.up.pt> [Thu, 31 Mar 2011 21:06:36 +0100] rev 262
Do not crash when checking semantics of undeclared symbolic_variable.
NOTE: this update may have broken the printing of error messages
during semantic analysis of IL code.