Project

General

Profile

Revision:

Revisions

# Date Author Comment
dae7afb1 09/26/2018 05:00 PM Arnaud Dieumegard

Comments update
02440160 09/26/2018 02:50 PM Arnaud Dieumegard

vhdl and mini_vhdl pp: remove empty lines and useless linebreaks in maps
a972e0f8 09/26/2018 12:40 PM Arnaud Dieumegard

Help comments on mini_vhdl to lustre transformation
639e5db9 09/26/2018 11:31 AM Arnaud Dieumegard

Added node variables generation from signals/variables definitions in architecture
35107b42 09/26/2018 10:51 AM Arnaud Dieumegard

Code cosmetics
dd48d8c9 09/26/2018 09:50 AM Arnaud Dieumegard

Mini_vhdl to lsutre code cleaning
b98638f7 09/25/2018 05:59 PM Arnaud Dieumegard

Added new functions to generate i/o and nodes
13872a54 09/25/2018 03:56 PM Arnaud Dieumegard

Added missing transformation methods squelettons for mini_vhdl to lustre transformation
0cb37f54 09/25/2018 03:55 PM Arnaud Dieumegard

Added missing Open pattern matching case
8b30c441 09/25/2018 01:16 PM Arnaud Dieumegard

Added lustrei README file
8fa4e28e 09/25/2018 11:23 AM Pierre-Loïc Garoche

[bug solved] do not normalize eexpr in annotations, only in specification.
987fa573 09/25/2018 10:16 AM Pierre-Loïc Garoche

Merge branch 'git-configure' into cocospec
3471cb4d 09/25/2018 10:12 AM Pierre-Loïc Garoche

Better management of git branch in configure.ac
949b2e1e 09/24/2018 02:18 PM Pierre-Loïc Garoche

Normalizing eexpr
3b16e10b 09/24/2018 02:15 PM Arnaud Dieumegard

Extraction of signals assignments in component instantiation concurrent statements
08cbfc23 09/24/2018 10:45 AM Arnaud Dieumegard

Added Open vhdl_name_t case in pattern matchings
1569a55a 09/21/2018 03:25 PM Pierre-Loïc Garoche

Merge branch 'cocospec' of https://cavale.enseeiht.fr/git/lustrec into cocospec
27446b88 09/14/2018 06:02 PM Pierre-Loïc Garoche

Improving connection with CDash
92458d14 09/14/2018 04:34 PM Christophe Garion

doc: add HTML grammar file
e82e03c6 09/14/2018 04:32 PM Christophe Garion

doc: add HTML grammar file
a0b18d45 09/14/2018 02:49 PM Christophe Garion

parser: fix Menhir end-of-stream errors
1ac315e3 09/14/2018 01:44 PM Christophe Garion

clean Lustre parser file (mainly by commenting...)
57392da1 09/14/2018 10:43 AM Christophe Garion

solve error in lexer introduced by previous merge
3b5419a8 09/14/2018 10:36 AM Christophe Garion

finishing solving strange conflicts for merge...
4f26dcf5 09/13/2018 03:36 PM Pierre-Loïc Garoche

Renamed annots into contracts. Preparing for syntax extension
17e1d0f4 09/13/2018 03:14 PM Pierre-Loïc Garoche

- Removed the kind2 file (parser/lexer/types)
- Cleaned a little bit our parser: removal of old prelude constructs
f09146ae 09/13/2018 02:58 PM Christophe Garion

Merge branch 'cocospec' of https://cavale.enseeiht.fr/git/lustrec into cocospec
37d3e0eb 09/13/2018 01:55 PM Pierre-Loïc Garoche

Cocospec discussions in the TODO.org
315cbfda 09/10/2018 04:37 PM Arnaud Dieumegard

Beginning of squeleton for mini_vhdl refactoring
d040e852 09/10/2018 04:36 PM Arnaud Dieumegard

Modified output display for check mode
ee7f4a55 08/31/2018 10:56 AM Arnaud Dieumegard

vhdl 2 mini-vhdl code cleaning
9195145a 08/31/2018 10:12 AM Arnaud Dieumegard

First version of implicit memories explicitation
40ac0ede 08/31/2018 10:06 AM Arnaud Dieumegard

Mini vhdl utils simplification
e15a8d65 08/31/2018 10:05 AM Arnaud Dieumegard

Added open in vhdl ast
83e95762 08/31/2018 10:04 AM Arnaud Dieumegard

Vhdl yojson parsing/printing (open)
5cef1e41 08/31/2018 10:04 AM Arnaud Dieumegard

Vhdl pp update (open)
990ae4ee 08/31/2018 10:03 AM Arnaud Dieumegard

Mini vhdl pp update (If, Case, Use clause)
7025c701 08/29/2018 04:57 PM Arnaud Dieumegard

component instantiation generic map resolution
10d196bc 08/29/2018 04:51 PM Arnaud Dieumegard

Bug fix: pp for unary operations
ba9fd1cc 08/29/2018 04:30 PM Arnaud Dieumegard

Resolution of association lists for component instantiation
a16d29bf 08/29/2018 04:29 PM Arnaud Dieumegard

Communalisation of mini-vhdl structure utils
70836642 08/28/2018 03:52 PM Arnaud Dieumegard

Updated checks display and adde small obvious checks
d5b99b54 08/28/2018 03:51 PM Arnaud Dieumegard

Code cleaning in vhdl to mini-vhdl transformation
70ec69a7 08/27/2018 05:37 PM Arnaud Dieumegard

Added missing sensitivity list resolution fold
a33a345a 08/27/2018 05:36 PM Arnaud Dieumegard

Added -check flag to start vhdl model verification
010428a7 08/27/2018 05:36 PM Arnaud Dieumegard

DB tuple update to contain assigned elements in component
6a2c1a43 08/27/2018 03:07 PM Arnaud Dieumegard

vhdl and mini-vhdl process printing
b6ff3e98 08/27/2018 02:42 PM Arnaud Dieumegard

Removed concurrent assignment statement from mini-vhdl grammar
b2ca2f67 08/27/2018 02:40 PM Arnaud Dieumegard

Mini-vhdl pretty printing for sequential statements and processes
23b37f25 08/27/2018 02:39 PM Arnaud Dieumegard

Concurrent signal assignment statement transformation to concurrent process statement
dcae4909 08/27/2018 02:38 PM Arnaud Dieumegard

Clean ppx deriving comments
304640aa 08/24/2018 04:52 PM Arnaud Dieumegard

update of mini-vhdl to lustre
3831b5cc 08/24/2018 04:51 PM Arnaud Dieumegard

Update of mini-vhdl pp
4aa05aca 08/24/2018 04:51 PM Arnaud Dieumegard

Building explicit process from concurrent signl assignment
4a92cb37 08/24/2018 01:50 PM Arnaud Dieumegard

Bug fix: resolve entity/arch reference from component instantiation declaration
4a0ba157 08/24/2018 01:49 PM Arnaud Dieumegard

Minor comments update
e4811e4c 08/04/2018 12:58 AM Bourbouh

add more conversion libraries
1732ef44 07/31/2018 02:35 PM Arnaud Dieumegard

Start of the Lustre generator
76f9de64 07/31/2018 11:05 AM Arnaud Dieumegard

mutable object field storing architecture<->entities<->contexts relation, generation of MiniVHDL component instantiation
96cb9cf2 07/31/2018 11:04 AM Arnaud Dieumegard

Added MiniVHDL versions of component instantiation and concurretn statement
9c1ed3ad 07/30/2018 06:26 PM Arnaud Dieumegard

PP order for components and packages
768e8c07 07/30/2018 06:05 PM Arnaud Dieumegard

PP for packages in minivhdl
b15439da 07/30/2018 06:04 PM Arnaud Dieumegard

Update of the command line
cd7d074b 07/30/2018 05:33 PM Arnaud Dieumegard

Added command line parameters
4a37b02a 07/30/2018 05:33 PM Arnaud Dieumegard

Typo correction
3340aff0 07/30/2018 04:05 PM Arnaud Dieumegard

Some code comments
5bbf7413 07/30/2018 03:59 PM Arnaud Dieumegard

definition of the mini-vhdl types + pp + transformation from vhdl structure
58f8ddf5 07/27/2018 04:23 PM Arnaud Dieumegard

Split PP and Yojson in separate ml for vhdl ast
b0c77300 07/26/2018 06:05 PM Arnaud Dieumegard

PP update: component instantiation type, archi format, port & generic decl in components, signal conditions, return statements expression
1f593d5d 07/26/2018 03:12 PM Arnaud Dieumegard

Printer corrections: signal_condition, conditional_signal, elsif, when conditions, F***ing non-brekaing characters
fc44085e 07/25/2018 04:08 PM Arnaud Dieumegard

PP for procedure call
7f5d0cde 07/25/2018 04:01 PM Arnaud Dieumegard

Qualified expressions, default values for expressions, pp for association_elements
a3f47fb5 07/25/2018 02:26 PM Arnaud Dieumegard

Unbounded array definition printing
d4c98bae 07/25/2018 11:42 AM Arnaud Dieumegard

Use clauses in package definition
d3a35600 07/25/2018 11:29 AM Arnaud Dieumegard

Conditional signals selection, waveform with delay
3d099916 07/24/2018 04:49 PM Arnaud Dieumegard

PP for Subprogram
32614c2d 07/24/2018 03:17 PM Arnaud Dieumegard

Correction of Procedure declaration pp
99ac6a26 07/24/2018 03:16 PM Arnaud Dieumegard

Default value for ProcedureCall assocs
eab3066b 07/24/2018 02:43 PM Arnaud Dieumegard

Aggregate pp, correction of element_assoc pp
7f55f63f 07/24/2018 02:35 PM Arnaud Dieumegard

Default value corrections
ec031ed0 07/24/2018 01:31 PM Arnaud Dieumegard

Added support for declarative items
77bdbec5 07/24/2018 10:53 AM Arnaud Dieumegard

Added support for use clause in architecture declarations
9d5959cb 07/24/2018 10:19 AM Arnaud Dieumegard

Update of component instantiation pp
239f4429 07/24/2018 03:05 AM Bourbouh

fix rem and mod
8be49798 07/24/2018 02:39 AM Bourbouh

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec
4d841db7 07/24/2018 02:38 AM Bourbouh

add tanh
44998c1e 07/23/2018 05:59 PM Arnaud Dieumegard

Corrections on component instantiation
3b8ba4b5 07/23/2018 04:58 PM Arnaud Dieumegard

Added support for Component declarations in packages
21b75edb 07/23/2018 03:40 PM Arnaud Dieumegard

Pretty printing of assert statements
1f15a1b9 07/23/2018 03:32 PM Arnaud Dieumegard

Constant expression printing with units, Format for case statements, process formatting and name
ab6312e7 07/23/2018 02:54 PM Arnaud Dieumegard

Added support for constants units
ac6b9224 07/23/2018 01:54 PM Arnaud Dieumegard

Main executable now throws exceptions when parsing errors
248eb65e 07/23/2018 01:54 PM Arnaud Dieumegard

Added support for Array,Record,Enumeration constructs
6d3b5007 07/20/2018 04:52 PM Arnaud Dieumegard

Added support for ProcedureCall statements
6f9095f6 07/19/2018 05:42 PM Arnaud Dieumegard

Update of the component instantiation type to add architecture name reference
27332198 07/19/2018 01:40 PM Arnaud Dieumegard

Added support for component instantiation
389493d3 07/18/2018 11:21 AM Arnaud Dieumegard

code cleaning
4fda48d3 07/17/2018 04:01 PM Arnaud Dieumegard

Cleaned main importer, now outputs only the vhdl code
d4175560 07/17/2018 04:00 PM Arnaud Dieumegard

Correction of Variables,Signals,Constants definitions of initial values. Now uses an expression.
5f3d7be6 07/17/2018 02:00 PM Arnaud Dieumegard

PP correction for separating spaces
(301-400/1484) Per page: 25, 50, 100

Also available in: Atom