TypeChef casestudy SQLite (version 3.7.16.1)

  1. no setup necessary simply run ./run.sh in folder sqlite-amalgamation-3071601
  2. TypeChef folder must be at ".." relative to this file; project TypeChef is available from https://github.com/ckaestne/TypeChef

NOTES:

  • openfeatures.txt has been extracted based on #ifdefs in sqlite3.c
  • several lexer errors have been fixed and are documented in partial_configuration.h
  • several type errors have been fixed and are documented in partial_configuration.h
  • two alternatives have been extracted and added to fm.txt