Commit Graph

3 Commits

Author SHA1 Message Date
a2256ebe1b Add file headers. 2018-08-07 20:06:44 +01:00
90af295fa1 Correct previous database version initializing strings. 2018-04-28 20:14:52 +01:00
02b9981681 Update DB to version 15: Machines can have an arbitrary number of processors,
so use an interconnection table, `processors_by_machine`.
2018-04-28 13:16:53 +01:00