/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ 1b721bfd

Name	Size	Revision	Age	Author	Comment
C		1bff14ac	almost 6 years	Pierre-Loïc Garoche	- Added a field lustre_eq to machine instructio...
EMF		1b721bfd	almost 6 years	Pierre-Loïc Garoche	bug fixed: Inputs for branches solved
Horn		397d5ae3	almost 6 years	Pierre-Loïc Garoche	Copied Printers.pp_expr functions to Horn backe...
Java		a2d97a3e	almost 9 years	Pierre-Loïc Garoche	Updated the licence info and header for each fi...
backends.ml	530 Bytes	524060b3	almost 6 years	Pierre-Loïc Garoche	Ongoin work on EMF backend. Commit to store a w...

#	Date	Author	Comment
1b721bfd	07/11/2017 08:09 AM	Pierre-Loïc Garoche	bug fixed: Inputs for branches solved
2823bc51	07/11/2017 01:16 AM	Pierre-Loïc Garoche	Proper integer index for enumerated branches
c82ea2ca	07/11/2017 01:07 AM	Pierre-Loïc Garoche	Enumerated datatypes as integer
2475c9e8	07/10/2017 11:43 PM	Pierre-Loïc Garoche	Refactored EMF backend. Handle now the call to existing math and conv libraries
dd71e482	07/10/2017 06:52 PM	Pierre-Loïc Garoche	EMF backend: each branch provides the inputs and outputs
a6b58a46	07/10/2017 05:14 PM	Bourbouh	Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable
ab1c9ed2	07/10/2017 05:03 PM	Bourbouh	small modifs in EMF format
27d18db9	07/08/2017 05:29 PM	Pierre-Loïc Garoche	Branchs output in EMF is only the intersection of each branch defined flows
9f0f88dd	07/07/2017 10:53 PM	Pierre-Loïc Garoche	Full rewrite of EMF backend.
524060b3	07/07/2017 07:11 AM	Pierre-Loïc Garoche	Ongoin work on EMF backend. Commit to store a working version. More work to do on clocks and resets

Also available in: Atom