Commit Graph

4 Commits

Author SHA1 Message Date
4ee557ff5d Rebrand license headers. 2020-02-10 01:53:43 +00:00
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