/src/plugins - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/plugins @ 642e116d

Name	Revision	Age	Author	Comment
mpfr	f6acf47b	almost 9 years	Pierre-Loïc Garoche	Plugin based framework
salsa	642e116d	over 6 years	Pierre-Loïc Garoche	Ongoing work on salsa: introduce slicing of expr
scopes	3ca27bc7	about 7 years	Pierre-Loïc Garoche	- Addtional encapsulation of machine_code instr...

#	Date	Author	Comment
642e116d	03/09/2018 09:52 AM	Pierre-Loïc Garoche	Ongoing work on salsa: introduce slicing of expr
94c457b7	02/13/2018 05:16 PM	Pierre-Loïc Garoche	Updated Salsa plugin to latest version of Salsa. Some issues wrt machine type features. Work in progress
9b8acef5	12/19/2017 05:51 PM	Pierre-Loïc Garoche	[salsa] cleaning verbose logs
3ca27bc7	06/23/2017 04:07 AM	Pierre-Loïc Garoche	- Addtional encapsulation of machine_code instr in a struct to enable future extension of type with more metadata. - Improved EMF backend with META information
64385d42	06/22/2017 11:44 PM	Pierre-Loïc Garoche	Turn an option to off by default: it was triggering scope plugin automatically
e7def055	06/22/2017 05:24 PM	Pierre-Loïc Garoche	Updated scope plugin
2fdbc781	04/27/2017 10:42 PM	Pierre-Loïc Garoche	Cleaning output: - no more classic display for ocamlc - compilation warnings removed
d2d9d4cb	04/26/2017 11:25 PM	Pierre-Loïc Garoche	Missing files
0f36882c	11/29/2015 01:20 PM	Xavier Thirioux	several bugs/oddities corrected: - bizarre date stamping (when generating .lusi files) - bug in loading libraries, forbidding several (transitive) imports of the same library. - plugin scopes was wrongly always activated
f6acf47b	11/26/2015 06:17 PM	Pierre-Loïc Garoche	Plugin based framework

Also available in: Atom