Project

General

Profile

Revision:

Revisions

# Date Author Comment
83f4b59c 02/25/2019 01:07 PM Guillaume DAVY

Ada: Correct the subcalls to reset for node with polymorphic type(like arrow)

808da3ff 02/25/2019 12:33 PM Guillaume DAVY

Ada: Correct state print for variable assignement

b1ac8bbf 02/25/2019 11:35 AM Guillaume DAVY

Ada: Add a pp_with for general with ada statement

695db4da 02/25/2019 11:34 AM Guillaume DAVY

Ada: - Replace MStep and Mbranch output by Null to have compilable Ada.
- Correct pp_value to print state access when the variable is memory

721ce555 02/25/2019 10:01 AM Guillaume DAVY

Ada: Removed useless function

ec473179 02/21/2019 10:04 PM Christophe Garion

ada: pretty print assignment statement for state

09b24e7a 02/21/2019 03:49 PM Guillaume DAVY

Ada: Start exporting spec

a2922b84 02/21/2019 03:43 PM Christophe Garion

Merge branch 'ada' of https://cavale.enseeiht.fr/git/lustrec into ada

19f000f6 02/21/2019 03:42 PM Christophe Garion

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec into ada

c85c2e3d 02/21/2019 03:42 PM Christophe Garion

Ada: pretty printing functions for values and assignments in adb

f2c916b4 02/21/2019 02:27 PM Guillaume DAVY

Ada: Correct some errors on the type checking due to polymorphic type.

8c8d009b 02/21/2019 02:27 PM Guillaume DAVY

Ada: Removed from adb the print of clear and init.

e4b630c5 02/21/2019 02:26 PM Guillaume DAVY

Merge branch 'lustrec-seal' of https://cavale.enseeiht.fr/git/lustrec into ada

e6492c59 02/21/2019 10:45 AM Guillaume DAVY

Ada: Change some loggging feature

5e54ab9c 02/21/2019 10:01 AM Guillaume DAVY

Ada: Add new function to print package name from node spec to be called by adb backend.

e20d2d2e 02/20/2019 06:23 PM Guillaume DAVY

Merge branch 'ada' of https://cavale.enseeiht.fr/git/lustrec into ada

9e5f8085 02/20/2019 06:09 PM Guillaume DAVY

Ada: Add support for arrows as an independent generic package, instantiated in each
package using it. It required a lot of refactoring.

f3e8fc18 02/19/2019 11:02 PM Christophe Garion

Ada: typo

08c4ec02 02/19/2019 11:01 PM Christophe Garion

fix conflicts

fd8aeeac 02/19/2019 10:59 PM Christophe Garion

Ada: pretty printing of reset function

903317e7 02/19/2019 05:40 PM Guillaume DAVY

Ada: Remove generation of init and clear and some refactoring around
prototype.

12946cbe 02/19/2019 12:48 PM Arnaud Dieumegard

Added component instantiation flattening

59b5eb05 02/19/2019 12:47 PM Arnaud Dieumegard

Utility vhdl_name prefixing function

6cfa0edc 02/19/2019 12:47 PM Arnaud Dieumegard

MiniVHDL printer corrections

50fb3395 02/19/2019 09:42 AM Arnaud Dieumegard

Use clause printing correction

dc429e2f 02/18/2019 02:29 PM Guillaume DAVY

Merge branch 'ada' of https://cavale.enseeiht.fr/git/lustrec into ada

c203d676 02/18/2019 02:29 PM Guillaume DAVY

Ada Change private to limited private for State type package.

768f60f0 02/14/2019 05:11 PM Christophe Garion

Ada: first pretty printing functions for adb

69cd79c6 02/14/2019 05:02 PM Guillaume DAVY

Ada: Temporary change

4ba20be4 02/14/2019 02:47 PM Guillaume DAVY

Ada: Add local variable declaration for step

2ddbde7d 02/14/2019 02:42 PM Guillaume DAVY

Ada: Last correction was incorrect

e6705d79 02/14/2019 02:38 PM Guillaume DAVY

Ada: Correct a bad copy-paste

fd834769 02/14/2019 02:35 PM Guillaume DAVY

Ada: Add the generation of the wrapper file : the main ada file and the project. It is called
only if the main node option is given to lustrec. This feature implied some refactoring. Also
added some OCaml Doc to undocummented functions.

7cbb6d8a 02/13/2019 07:38 PM Guillaume DAVY

Ada: Add to the machine state all its subinstance states. Improve also identifier cleaning

c419ca44 02/13/2019 02:47 PM Guillaume DAVY

Ada: Changed type name for states and normalized variable name to match ada requirements.

3d85297f 02/12/2019 08:00 PM Guillaume DAVY

Ada: Add prototype of the four procedure in the adb generation

c06b3b47 02/12/2019 06:46 PM Guillaume DAVY

Ada: Add the state variable in the ads, type definition and as parameter of all procedure

b12a91e0 02/12/2019 03:22 PM Guillaume DAVY

Ada: Move some functions from ada_backend_ads.ml to ada_backend_common.ml

81e2ad2f 02/12/2019 03:21 PM Guillaume DAVY

Ada: Remove useless comment

bdc471f3 02/12/2019 02:57 PM Guillaume DAVY

3 main modifications :
- Create a new file : ada_backend_common.ml which contains all the function common to adb and ads.
- Add comment to function
- Generate the procedure prototype in the ads

48a6309c 02/12/2019 11:15 AM Guillaume DAVY

Basic structure for Ada backend

f20d8ac7 02/11/2019 03:05 PM Christophe Garion

Ada: skeletons for Ada compiler

80adb7bd 01/07/2019 01:21 PM Arnaud Dieumegard

refactoring for utils and ast transformations

a73dd470 01/07/2019 01:20 PM Arnaud Dieumegard

Refactoring of utils

5cfb7200 01/04/2019 05:13 PM Arnaud Dieumegard

Initial commit for signals lattice building

7fb1bdba 01/04/2019 03:59 PM Arnaud Dieumegard

Code refactoring

ccd386cb 01/04/2019 03:54 PM Arnaud Dieumegard

Added on keywork for wait statement and removed is keywork in process definition when sensitivity list is empty

00b2e06b 01/04/2019 03:48 PM Arnaud Dieumegard

rewriting of processes to transform sensitivity list to wait on statement

bd1f1929 01/04/2019 03:46 PM Arnaud Dieumegard

Added sensitivity list to Wait statements in VHDL and MiniVHDL

4515d925 01/04/2019 03:00 PM Arnaud Dieumegard

Added MiniVHDL package pp

(101-150/1423) Per page: 25, 50, 100

Also available in: Atom