Project

General

Profile

Revision:

Revisions

# Date Author Comment
08788a01 03/21/2019 09:42 PM Pierre-Loïc Garoche

Merge branch 'ada' into lustrec-seal

4034b51c 03/21/2019 09:42 PM Pierre-Loïc Garoche

more explanation in case of failure. Still dirty

f5769e61 03/21/2019 07:55 PM Pierre-Loïc Garoche

Better JSON for EMF backend

861f327f 03/21/2019 07:41 PM Pierre-Loïc Garoche

Resolved sort order of nodes

61e0c3c4 03/21/2019 07:23 PM Guillaume DAVY

Ada:
- Correct the merge with lustrec-seal
- Improve support for builtin function(still work to do)
- Add generation of a gpr file for lib(without main).
- Add var initialisation in the reset, still work to do.

1fd3d002 03/21/2019 05:20 PM Pierre-Loïc Garoche

Cocospec: parsing, normalizing and processing machines for contracts.

42f91c0b 03/21/2019 05:19 PM Pierre-Loïc Garoche

Better EMF output, solved some invalid JSON produced

71999483 03/21/2019 05:18 PM Pierre-Loïc Garoche

Cleaning C backend - removing unused functiions
Preparing for coming ACSL

4d2d6777 03/18/2019 10:29 PM Pierre-Loïc Garoche

INSTALL file

de671495 03/18/2019 08:31 PM Pierre-Loïc Garoche

Merging branches, disabling the specification print in Ada backend. Should be re-enabled at some point

ab26e196 03/18/2019 04:52 PM Pierre-Loïc Garoche

Merge branch 'lustrec-seal' into ada

d5ec9f63 03/18/2019 04:31 PM Pierre-Loïc Garoche

Minor modif on seal

6517aa0e 03/18/2019 03:34 PM Pierre-Loïc Garoche

Reorganizing folders

c3b0a8c9 03/16/2019 03:28 PM Pierre-Loïc Garoche

Merge branch 'salsa' into lustrec-seal

61df3cb9 03/16/2019 06:23 AM Pierre-Loïc Garoche

Reformating plugin signatures. Better report management

f0a067e9 03/15/2019 10:14 PM Pierre-Loïc Garoche

Better production of trace files.
By default traces are not produced. Requires the option -t to produce them

70be4acf 03/15/2019 12:40 AM Pierre-Loïc Garoche

Serious refactoring of scopes plug-in:
- now properly records the scopes
- only register requested ones

57bf28d9 03/13/2019 05:23 PM Pierre-Loïc Garoche

Merge branch 'unstable' into salsa

6eeafd52 03/13/2019 05:22 PM Pierre-Loïc Garoche

bug solved: issues with main node input access when using scope plugin

525eebd1 03/13/2019 01:27 PM Guillaume DAVY

Ada: Correct branch exporting to handle boolean match(using an ada if)

379715f7 03/13/2019 10:42 AM Guillaume DAVY

Ada: Improve input/output of main ada file

29eebf22 03/12/2019 03:45 PM Pierre-Loïc Garoche

New -salsa-disable option

406818e7 03/12/2019 03:17 PM Pierre-Loïc Garoche

Merge branch 'unstable' into salsa

663e3554 03/12/2019 02:26 PM Pierre-Loïc Garoche

num as a package

6e3cdaf6 03/12/2019 01:18 PM Guillaume DAVY

Ada: Add pretty printer for case

f4cba4b8 03/12/2019 11:23 AM Pierre-Loïc Garoche

Some progress on compiling cocospec contract.
Contract resolution still need to be done as well as dealing with the machine code level and so on.

8d22ea35 03/12/2019 09:48 AM Guillaume DAVY

Ada: Some indentation

09d7b39f 03/11/2019 07:38 PM Guillaume DAVY

Ada: Add generation of step calls and refactor prototypes and ads printing to handle staless
instance.

3de9f6e4 03/11/2019 02:52 PM Guillaume DAVY

Ada: Refactor the instantiation code and instance code, instead of passing the machine list
to the pp_file and all subfunction in adb generation we pass a list of typed instance which
contains the submachines directly with the instance name and the substitution.

1ed1c8b8 02/26/2019 01:55 PM Guillaume DAVY

Ada: Corrections of some bugs discovered with lustrec-tests

03143434 02/25/2019 01:40 PM Guillaume DAVY

Ada: Add readers and printers for main.adb to match c tests.

2edf6b6d 02/25/2019 01:39 PM Guillaume DAVY

Ada: Add the prefix ada for variable named with an Ada reserved name.

dda9eb32 02/25/2019 01:38 PM Guillaume DAVY

Ada: Correct contract printing

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.

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

Also available in: Atom