Project

General

Profile

Activity

From 08/27/2018 to 09/25/2018

09/25/2018

05:59 PM Revision b98638f7 (lustrec): Added new functions to generate i/o and nodes
Arnaud Dieumegard
03:56 PM Revision 13872a54 (lustrec): Added missing transformation methods squelettons for mini_vhdl to lu...
Arnaud Dieumegard
03:55 PM Revision 0cb37f54 (lustrec): Added missing Open pattern matching case
Arnaud Dieumegard
01:16 PM Revision 8b30c441 (lustrec): Added lustrei README file
Arnaud Dieumegard
01:08 PM Lustrec-Tests Revision 6c964a9b (lustrec-tests): Cocospec files
Pierre-Loïc Garoche
01:07 PM Lustrec-Tests Revision 489a769e (lustrec-tests): Added two_counters example
Arnaud Dieumegard
11:23 AM Revision 8fa4e28e (lustrec): [bug solved] do not normalize eexpr in annotations, only in specific...
Pierre-Loïc Garoche
10:16 AM Revision 987fa573 (lustrec): Merge branch 'git-configure' into cocospec
Pierre-Loïc Garoche
10:12 AM Revision 3471cb4d (lustrec): Better management of git branch in configure.ac
Pierre-Loïc Garoche

09/24/2018

02:22 PM Lustrec-Tests Revision d6042e96 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
Arnaud Dieumegard
02:22 PM Lustrec-Tests Revision 47142ed7 (lustrec-tests): Counters, programmable pulse, d-latch VHDL examples
Arnaud Dieumegard
02:18 PM Revision 949b2e1e (lustrec): Normalizing eexpr
Pierre-Loïc Garoche
02:15 PM Revision 3b16e10b (lustrec): Extraction of signals assignments in component instantiation concurr...
Arnaud Dieumegard
10:45 AM Revision 08cbfc23 (lustrec): Added Open vhdl_name_t case in pattern matchings
Arnaud Dieumegard

09/21/2018

03:25 PM Revision 1569a55a (lustrec): Merge branch 'cocospec' of https://cavale.enseeiht.fr/git/lustrec in...
Pierre-Loïc Garoche

09/14/2018

06:02 PM Revision 27446b88 (lustrec): Improving connection with CDash
Pierre-Loïc Garoche
04:34 PM Revision 92458d14 (lustrec): doc: add HTML grammar file
Christophe Garion
04:32 PM Revision e82e03c6 (lustrec): doc: add HTML grammar file
Christophe Garion
04:27 PM Lustrec-Tests Revision dd62ff27 (lustrec-tests): Improving integration with CDash
Pierre-Loïc Garoche
02:49 PM Revision a0b18d45 (lustrec): parser: fix Menhir end-of-stream errors
Christophe Garion
01:44 PM Revision 1ac315e3 (lustrec): clean Lustre parser file (mainly by commenting...)
Christophe Garion
10:43 AM Revision 57392da1 (lustrec): solve error in lexer introduced by previous merge
Christophe Garion
10:36 AM Revision 3b5419a8 (lustrec): finishing solving strange conflicts for merge...
Christophe Garion

09/13/2018

03:36 PM Revision 4f26dcf5 (lustrec): Renamed annots into contracts. Preparing for syntax extension
Pierre-Loïc Garoche
03:14 PM Revision 17e1d0f4 (lustrec): - Removed the kind2 file (parser/lexer/types)
- Cleaned a little bit our parser: removal of old prelude constructs Pierre-Loïc Garoche
02:58 PM Revision f09146ae (lustrec): Merge branch 'cocospec' of https://cavale.enseeiht.fr/git/lustrec in...
Christophe Garion
01:55 PM Revision 37d3e0eb (lustrec): Cocospec discussions in the TODO.org
Pierre-Loïc Garoche

09/10/2018

04:37 PM Revision 315cbfda (lustrec): Beginning of squeleton for mini_vhdl refactoring
Arnaud Dieumegard
04:36 PM Revision d040e852 (lustrec): Modified output display for check mode
Arnaud Dieumegard

08/31/2018

10:56 AM Revision ee7f4a55 (lustrec): vhdl 2 mini-vhdl code cleaning
Arnaud Dieumegard
10:12 AM Revision 9195145a (lustrec): First version of implicit memories explicitation
Arnaud Dieumegard
10:06 AM Revision 40ac0ede (lustrec): Mini vhdl utils simplification
Arnaud Dieumegard
10:05 AM Revision e15a8d65 (lustrec): Added open in vhdl ast
Arnaud Dieumegard
10:04 AM Revision 83e95762 (lustrec): Vhdl yojson parsing/printing (open)
Arnaud Dieumegard
10:04 AM Revision 5cef1e41 (lustrec): Vhdl pp update (open)
Arnaud Dieumegard
10:03 AM Revision 990ae4ee (lustrec): Mini vhdl pp update (If, Case, Use clause)
Arnaud Dieumegard

08/29/2018

04:57 PM Revision 7025c701 (lustrec): component instantiation generic map resolution
Arnaud Dieumegard
04:51 PM Revision 10d196bc (lustrec): Bug fix: pp for unary operations
Arnaud Dieumegard
04:30 PM Revision ba9fd1cc (lustrec): Resolution of association lists for component instantiation
Arnaud Dieumegard
04:29 PM Revision a16d29bf (lustrec): Communalisation of mini-vhdl structure utils
Arnaud Dieumegard

08/28/2018

03:52 PM Revision 70836642 (lustrec): Updated checks display and adde small obvious checks
Arnaud Dieumegard
03:51 PM Revision d5b99b54 (lustrec): Code cleaning in vhdl to mini-vhdl transformation
Arnaud Dieumegard

08/27/2018

05:38 PM Lustrec-Tests Revision 1a2296da (lustrec-tests): Update of d-latch sample
Arnaud Dieumegard
05:37 PM Revision 70ec69a7 (lustrec): Added missing sensitivity list resolution fold
Arnaud Dieumegard
05:36 PM Revision a33a345a (lustrec): Added -check flag to start vhdl model verification
Arnaud Dieumegard
05:36 PM Revision 010428a7 (lustrec): DB tuple update to contain assigned elements in component
Arnaud Dieumegard
03:07 PM Revision 6a2c1a43 (lustrec): vhdl and mini-vhdl process printing
Arnaud Dieumegard
02:42 PM Revision b6ff3e98 (lustrec): Removed concurrent assignment statement from mini-vhdl grammar
Arnaud Dieumegard
02:40 PM Revision b2ca2f67 (lustrec): Mini-vhdl pretty printing for sequential statements and processes
Arnaud Dieumegard
02:39 PM Revision 23b37f25 (lustrec): Concurrent signal assignment statement transformation to concurrent ...
Arnaud Dieumegard
02:38 PM Revision dcae4909 (lustrec): Clean ppx deriving comments
Arnaud Dieumegard
 

Also available in: Atom