/src/plugins/scopes - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/plugins/scopes @ ca7ff3f7

Name	Size	Revision	Age	Author	Comment
dune	212 Bytes	ca7ff3f7	over 1 year	Lélio Brun	reformatting
scopes.ml	14.9 KB	ca7ff3f7	over 1 year	Lélio Brun	reformatting

#	Date	Author	Comment
ca7ff3f7	06/17/2021 11:33 AM	Lélio Brun	reformatting
6d1693b9	06/14/2021 07:06 PM	Lélio Brun	work on spec generation almost done
75c459f4	05/04/2021 06:24 PM	Lélio Brun	start with Spec AST generation
ca7e8027	02/05/2021 02:36 PM	Lélio Brun	fix almost all warnings
719ae9fd	02/03/2021 02:47 PM	Lélio Brun	migration draft on dune
dc732cf2	04/29/2019 10:29 PM	Pierre-Loïc Garoche	Solved scopes print order
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

Also available in: Atom