2 Commits

Author	SHA1	Message	Date
Nicolas Setton	d3959e2ec6	Solidify the .adc mechanism and add protections ... Make the .adc systematic, and add protection against pragma Import and the use of machine code.	2018-07-22 18:51:13 -04:00
Nicolas Setton	ea3a7fc6e7	Add an "universal" spec ... Needed to be able to run all combinations of inlined widgets: with or without SPARK, and with or without main.	2018-06-20 14:28:30 -04:00