Age | Commit message (Expand) | Author |
---|---|---|
2017-08-04 | Set default language to smt lib 2.6 (including as a base language for sygus),... | ajreynol |
2014-11-07 | Properly distinguish which EQC to assign values in datatypes, use assertRepre... | ajreynol |
2014-11-05 | More work on datatypes theory combination: fix bug in care graph, do not assi... | ajreynol |