Skip to content
Snippets Groups Projects
Commit 7654ff44 authored by erwan's avatar erwan
Browse files

Reflect the changes in rdbg 1.109 done in the Event interface. 

Basically, I have added the missing fields
parent f4e24e44
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
_oasis
+ 1
− 1
View file @ 7654ff44
OASISFormat: 0.4 OASISFormat: 0.4
Name: lustre-v6 Name: lustre-v6
Version: 1.714 Version: 1.715
Synopsis: The Lustre V6 Verimag compiler Synopsis: The Lustre V6 Verimag compiler
Description: This package contains: Description: This package contains:
(1) lus2lic: the (current) name of the compiler (and interpreter via -exec). (1) lus2lic: the (current) name of the compiler (and interpreter via -exec).
......
src/lv6version.ml
+ 2
− 2
View file @ 7654ff44
(** Automatically generated from Makefile *) (** Automatically generated from Makefile *)
let tool = "lus2lic" let tool = "lus2lic"
let branch = "master" let branch = "master"
let commit = "714" let commit = "715"
let sha_1 = "4921d8393f86044569a89270e71dcc6d466e29a7" let sha_1 = "f4e24e44d35687d99fd07d55d1ffb567a25195bc"
let str = (branch ^ "." ^ commit ^ " (" ^ sha_1 ^ ")") let str = (branch ^ "." ^ commit ^ " (" ^ sha_1 ^ ")")
let maintainer = "erwan.jahier@univ-grenoble-alpes.fr" let maintainer = "erwan.jahier@univ-grenoble-alpes.fr"
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment