Activity
From 07/02/2018 to 07/31/2018
07/31/2018
- 02:35 PM Revision 1732ef44 (lustrec): Start of the Lustre generator
- 02:34 PM Lustrec-Tests Revision 6ba539c0 (lustrec-tests): Added test laucher for lustre generation
- 11:05 AM Revision 76f9de64 (lustrec): mutable object field storing architecture<->entities<->contexts relation, generation of MiniVHDL component instantiation
- 11:04 AM Revision 96cb9cf2 (lustrec): Added MiniVHDL versions of component instantiation and concurretn statement
07/30/2018
- 06:27 PM Lustrec-Tests Revision 1c688dd0 (lustrec-tests): Continue even if generation fails
- 06:26 PM Revision 9c1ed3ad (lustrec): PP order for components and packages
- 06:07 PM Lustrec-Tests Revision 33a42553 (lustrec-tests): Makefile update for new version of lustrei with command line parameters
- 06:07 PM Lustrec-Tests Revision 928e4486 (lustrec-tests): Test file update for typo
- 06:05 PM Revision 768e8c07 (lustrec): PP for packages in minivhdl
- 06:04 PM Revision b15439da (lustrec): Update of the command line
- 05:33 PM Revision cd7d074b (lustrec): Added command line parameters
- 05:33 PM Revision 4a37b02a (lustrec): Typo correction
- 04:05 PM Revision 3340aff0 (lustrec): Some code comments
- 03:59 PM Revision 5bbf7413 (lustrec): definition of the mini-vhdl types + pp + transformation from vhdl structure
07/27/2018
- 05:46 PM Lustrec-Tests Revision 26dc0008 (lustrec-tests): Added example from some courses
- 04:23 PM Revision 58f8ddf5 (lustrec): Split PP and Yojson in separate ml for vhdl ast
07/26/2018
- 06:12 PM Lustrec-Tests Revision ddabd63e (lustrec-tests): Updated tests for lustrei vhdl import
- 06:05 PM Revision b0c77300 (lustrec): PP update: component instantiation type, archi format, port & generic decl in components, signal conditions, return statements expression
- 03:12 PM Revision 1f593d5d (lustrec): Printer corrections: signal_condition, conditional_signal, elsif, when conditions, F***ing non-brekaing characters
07/25/2018
- 08:44 PM Bug #68 (Rejected): Error compiling lustresf
- Compiling binary lustrec
Compiling binary lustret
Compiling binary lustresf
+ mkdir /home/ktrinh/cocosim/cocosim2/... - 04:18 PM Lustrec-Tests Revision 52162cf5 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
- 04:18 PM Lustrec-Tests Revision 2051e520 (lustrec-tests): Added tests for vhdl import and export (pp)
- 04:08 PM Revision fc44085e (lustrec): PP for procedure call
- 04:01 PM Revision 7f5d0cde (lustrec): Qualified expressions, default values for expressions, pp for association_elements
- 02:26 PM Revision a3f47fb5 (lustrec): Unbounded array definition printing
- 11:42 AM Revision d4c98bae (lustrec): Use clauses in package definition
- 11:29 AM Revision d3a35600 (lustrec): Conditional signals selection, waveform with delay
07/24/2018
- 04:49 PM Revision 3d099916 (lustrec): PP for Subprogram
- 03:17 PM Revision 32614c2d (lustrec): Correction of Procedure declaration pp
- 03:16 PM Revision 99ac6a26 (lustrec): Default value for ProcedureCall assocs
- 02:43 PM Revision eab3066b (lustrec): Aggregate pp, correction of element_assoc pp
- 02:35 PM Revision 7f55f63f (lustrec): Default value corrections
- 01:31 PM Revision ec031ed0 (lustrec): Added support for declarative items
- 10:53 AM Revision 77bdbec5 (lustrec): Added support for use clause in architecture declarations
- 10:19 AM Revision 9d5959cb (lustrec): Update of component instantiation pp
- 03:05 AM Revision 239f4429 (lustrec): fix rem and mod
- 02:39 AM Revision 8be49798 (lustrec): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec
- 02:38 AM Revision 4d841db7 (lustrec): add tanh
07/23/2018
- 05:59 PM Revision 44998c1e (lustrec): Corrections on component instantiation
- 04:58 PM Revision 3b8ba4b5 (lustrec): Added support for Component declarations in packages
- 03:40 PM Revision 21b75edb (lustrec): Pretty printing of assert statements
- 03:32 PM Revision 1f15a1b9 (lustrec): Constant expression printing with units, Format for case statements, process formatting and name
- 02:54 PM Revision ab6312e7 (lustrec): Added support for constants units
- 01:54 PM Revision ac6b9224 (lustrec): Main executable now throws exceptions when parsing errors
- 01:54 PM Revision 248eb65e (lustrec): Added support for Array,Record,Enumeration constructs
07/20/2018
07/19/2018
- 05:42 PM Revision 6f9095f6 (lustrec): Update of the component instantiation type to add architecture name reference
- 01:40 PM Revision 27332198 (lustrec): Added support for component instantiation
07/18/2018
07/17/2018
- 04:01 PM Revision 4fda48d3 (lustrec): Cleaned main importer, now outputs only the vhdl code
- 04:00 PM Revision d4175560 (lustrec): Correction of Variables,Signals,Constants definitions of initial values. Now uses an expression.
- 02:00 PM Revision 5f3d7be6 (lustrec): PP correction for separating spaces
- 01:39 PM Revision 3bc26d43 (lustrec): PP support for concurrent assignment, processes
- 10:50 AM Revision 52323a31 (lustrec): PP for Exit, Null and Return statements
- 10:42 AM Revision cfe98135 (lustrec): Update of importer to display only last version of pretty printed vhdl code
- 10:42 AM Revision 00970bbf (lustrec): Update of default values for some option constructions + added end if and end case closing of if and case blocks
07/16/2018
- 05:48 PM Revision f779d524 (lustrec): Update of the vhdl pretty printer
- 05:07 PM Revision 7775659c (lustrec): Update of the _tags.in file to include required packages
- 10:44 AM Revision 40364f53 (lustrec): New version of the vhdl import + compilation
07/13/2018
- 11:34 PM Revision d0d8fe27 (lustrec): Updating dependencies in the READ:E
- 08:34 PM Git access is now open
- Anonymous read access to lustrec git:
git clone https://cavale.enseeiht.fr/git/lustrec - 08:32 PM Release of LustreC 1.5 Xia/Shao Kang
- New release available at https://cavale.enseeiht.fr/redmine/attachments/download/114/lustrec-1.5-Xia-Shao-Kang-src.tgz
- 08:25 PM Revision d7e89c59 (lustrec): Merge branch 'master' into unstable
- 08:25 PM Revision 88df55b3 (lustrec): Merge branch 'merge' into unstable
- 08:21 PM Revision de041ec0 (lustrec): Update the configure to prepare the next release 1.6 Xia/Zhu
- 08:05 PM Revision 83dc064f (lustrec): Byte/String bug reappeared
- 07:52 PM Revision f9d0c175 (lustrec): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec
- 07:44 PM Revision c1c4263c (lustrec): Preparing release of 1.5 Xia/Shao Kang
- 07:39 PM Revision 681f591b (lustrec): Preparing release 1.6 Xia/Zhu
- 05:22 PM Bug #67 (Closed): Lusi generation failed because of parser in unstable branch
- Temporary disabling of Mehnir and Kind2 parser for annotation. Still work in progress.
- 05:20 PM Bug #57 (Closed): horn-traces backend not working when not initialising a pre operator
- Solved with commit 2d2144c04d8df16bfae1936b93eb7eeb8e5fcc4c
- 05:18 PM Revision 2d2144c0 (lustrec): Solved bug#57: issues when indirect init of a pre in horn-traces
07/12/2018
- 07:43 PM Bug #55 (Closed): assertions generation in Horn clauses (smt2 file)
- Solved in current unstable version 1.5-827
- 07:35 PM Revision bc9fd714 (lustrec): Temporily disabling Mehnir as a parser.
- 04:04 PM Revision b0c381d0 (lustrec): Merge branch 'vhdl' of https://cavale.enseeiht.fr/git/lustrec into lustrec-seal
07/11/2018
- 04:52 PM Revision e1102543 (lustrec): Renaming of cst_val_t type as vhdl_cst_val_t
- 04:49 PM Revision d3f0059e (lustrec): New version of the VHDL importer with pretty printing based on ppx_show
- 09:32 AM Revision 62b6a61c (lustrec): Functional VHDL importer
07/09/2018
- 05:05 PM Revision eb07b479 (lustrec): Added support for subprograms, variables assignments, aggregate, others
07/04/2018
Also available in: Atom