5 Commits

Author	SHA1	Message	Date
krangelov	f3e579bbb1	implement DB_scopes	2021-08-08 16:17:24 +02:00
krangelov	2d6bcd1953	a better API for loading PGF & NGF files	2021-08-06 16:50:21 +02:00
krangelov	36e87668e0	make sure that changes in the database are always flushed	2021-08-05 20:05:29 +02:00
krangelov	84789c9fbf	finished reading the abstract syntax	2021-08-05 12:37:12 +02:00
krangelov	8f0a1b8fee	started a new database-backed runtime from scratch	2021-07-30 12:08:28 +02:00