whitequark f417725b10 build.res: if not specified, request resource #0. ... This markedly differs from oMigen system, which would request consecutive resources. The difference is deliberate; most resources are singular, so it does not matter for them, and for resources where it does matter, which pins are requested should not depend on order of execution of `platform.request`.		2019-06-03 02:54:17 +00:00
..
__init__.py	build.plat: implement.	2019-06-01 16:43:27 +00:00
dsl.py	build.dsl: require a dict for extras instead of a stringly array.	2019-06-02 23:36:21 +00:00
plat.py	build.{res,plat}: propagate extras to pin fragment factories.	2019-06-03 01:58:43 +00:00
res.py	build.res: if not specified, request resource #0.	2019-06-03 02:54:17 +00:00