/src/plugins/scopes - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/plugins/scopes @ 75c459f4

Name	Size	Revision	Age	Author	Comment
dune	210 Bytes	719ae9fd	over 2 years	Lélio Brun	migration draft on dune
scopes.ml	15 KB	75c459f4	about 2 years	Lélio Brun	start with Spec AST generation

#	Date	Author	Comment
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
6eeafd52	03/13/2019 05:22 PM	Pierre-Loïc Garoche	bug solved: issues with main node input access when using scope plugin
59803095	11/16/2018 11:30 PM	Pierre-Loïc Garoche	Merge branch 'unstable' into lustrec-seal

Also available in: Atom