diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-11-01 10:08:19 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-01 10:08:19 -0500 |
commit | bdcc170e1bf5bb62904c4a3ebbdc9902096799ba (patch) | |
tree | ae8e7ea4eb10d94cfdc1dac3c9d49a00e7baa0a2 /contrib/get-antlr-3.4 | |
parent | 5b6551c529506592da7c66e39a911d9299944eb8 (diff) |
(Move-only) Refactor and document theory model part 2 (#1305)
* Move type set to its own file and document.
* Move theory engine model builder to its own class.
* Working on documentation.
* Document Theory Model.
* Minor
* Document theory model builder.
* Clang format
* Address review.
Diffstat (limited to 'contrib/get-antlr-3.4')
0 files changed, 0 insertions, 0 deletions