Activity
From 01/12/2017 to 02/10/2017
02/09/2017
02/03/2017
- 08:20 PM Revision 32a9cff3 (lustrec): merge pb
- 08:18 PM Revision 8097e62b (lustrec): Merge branch 'seahorn_backend' of https://cavale.enseeiht.fr/git/lustrec into seahorn_backend
- 08:15 PM Revision f525c4ae (lustrec): Started to recover specification compilation from branch proof_acsl
- Adapted the EMF backend to new reqs
02/01/2017
- 07:20 PM Revision 2e1ef4ca (lustrec): Changed the matlab function backend
- 06:53 PM Revision fbcc67c8 (lustrec): _Bool are unsigned integer. The cast as a _Bool is delayed until the end of the function
- 12:22 AM Revision 81b1caa0 (lustrec): Merge branch 'master' into seahorn_backend
- 12:21 AM Revision 301f18e6 (lustrec): remove deps
- 12:21 AM Revision 92ff8f1b (lustrec): fix tracebility
01/31/2017
- 11:38 PM Revision c85f5fa5 (lustrec): Starting to initiate a node spec aware backend
- 08:36 PM Revision b183dade (lustrec): Cleaning debug messages
- 08:34 PM Revision 8498b8ac (lustrec): Specific treatment of true/false constant to avoid declaring them as variables.
- 08:22 PM Revision a6df3992 (lustrec): Working on EMF backend to express cocospec infos as Simulink blocks
- 01:40 AM Revision 5fb5b031 (lustrec): cosmetic changes
01/13/2017
- 02:55 PM Lustrec-Tests Revision 9aa80a95 (lustrec-tests): Example of integration of S-function code into Lustre.
- 01:53 PM Lustrec-Tests Revision 908064d5 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
- 01:53 PM Lustrec-Tests Revision f5c07b4e (lustrec-tests): example of lustre node with external C code
- 01:50 PM Lustrec-Tests Revision 985b4302 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
- 01:17 PM Revision d7e04983 (lustrec): [Horn] Updated traceability of Horn backend to deal with fby (arrow machines)
Also available in: Atom