Version from 2011-03-08 supporting match expression with variable and value patterns. Extracted from code I did for Bemol homeworks
Version from 2011-03-26 with added guards, variable references, or expressions and supporting discriminated unions
Version from 2011-03-27 with bug fixes
Version from 2011-03-28 uses move constructors and adds dedicated wildcard type
Version from 2011-03-29 introduces solvers
Version from 2011-03-30 minor optimizations plus introduction of memoized_cast
Version from 2011-04-03 Further experiments with memoized_cast
Version from 2011-04-04 Further experiments with memoized_cast
Version from 2011-04-06 Further experiments with memoized_cast
Version from 2011-04-07 Vtblmap extracted into its own header. Minor fixes and improvements
Version from 2011-04-08 Minor improvements with throw() specification
Version from 2011-04-10 Further experiments with type switch
Version from 2011-04-11 Minor improvements
Version from 2011-04-17 Cleanup of directory. Added spreadsheet to compare performance. Added multiple msvc projects
Version from 2011-04-18 Minor changes
Version from 2011-04-20 Added generic code for timing on different platforms. Added comparison with OCaml code. Realized visitors get inlined so comparison is not fare
Version from 2011-04-20 Added generic code for timing on different platforms. Added comparison with OCaml code. Realized visitors get inlined so comparison is not fare
Version from 2011-04-21 Minor changes
Version from 2011-04-22 Config file and own macros
Version from 2011-04-24 Further experiments with memoized_cast