/src/plugins - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/plugins @ 518951ed

Name	Size	Revision	Age	Author	Comment
mpfr		e5d77428	about 3 years	Pierre-Loïc Garoche	Solved issue btw mpfr and conv functions (int_t...
salsa		1fd3d002	about 3 years	Pierre-Loïc Garoche	Cocospec: parsing, normalizing and processing m...
scopes		dc732cf2	about 3 years	Pierre-Loïc Garoche	Solved scopes print order
.merlin	3 Bytes	ae7d913d	over 3 years	Pierre-Loïc Garoche	Merlin files

#	Date	Author	Comment
e5d77428	05/09/2019 10:19 AM	Pierre-Loïc Garoche	Solved issue btw mpfr and conv functions (int_to_real was not handled)
dc732cf2	04/29/2019 10:29 PM	Pierre-Loïc Garoche	Solved scopes print order
1fd3d002	03/21/2019 05:20 PM	Pierre-Loïc Garoche	Cocospec: parsing, normalizing and processing machines for contracts.
c3b0a8c9	03/16/2019 03:28 PM	Pierre-Loïc Garoche	Merge branch 'salsa' into lustrec-seal
61df3cb9	03/16/2019 06:23 AM	Pierre-Loïc Garoche	Reformating plugin signatures. Better report management
f0a067e9	03/15/2019 10:14 PM	Pierre-Loïc Garoche	Better production of trace files. By default traces are not produced. Requires the option -t to produce them
70be4acf	03/15/2019 12:40 AM	Pierre-Loïc Garoche	Serious refactoring of scopes plug-in: - now properly records the scopes - only register requested ones
57bf28d9	03/13/2019 05:23 PM	Pierre-Loïc Garoche	Merge branch 'unstable' into salsa
6eeafd52	03/13/2019 05:22 PM	Pierre-Loïc Garoche	bug solved: issues with main node input access when using scope plugin
29eebf22	03/12/2019 03:45 PM	Pierre-Loïc Garoche	New -salsa-disable option

Also available in: Atom