Age | Commit message (Expand) | Author |
---|---|---|
2016-12-29 | Reordering sep and sets in Makefile.theories. | Tim King |
2016-06-17 | Support for separation logic. Enable cbqi by default for pure BV. | ajreynol |
2015-10-26 | This commit removes using absolute paths in the generation of the .subdirs fi... | Tim King |