5 commits

Author	SHA1	Message	Date
Gabriel Ebner	a26e2c9108	feat(library/module): intermediary data structure for environment modifications	2016-12-20 10:15:19 -08:00
Gabriel Ebner	a8df381d20	feat(*): parallel compilation	2016-11-29 11:12:40 -08:00
Leonardo de Moura	e6fbbbbc2d	feat(util/rb_map): add unsigned_map	2016-10-03 16:26:58 -07:00
Leonardo de Moura	a20abd61e8	feat(library/tactic): implement rewrite and kabstract using occurrences object	2016-07-18 10:10:37 -04:00
Leonardo de Moura	579f643d1d	refactor(library): move kabstract to tactic folder	2016-07-18 09:57:02 -04:00

Renamed from src/library/kabstract.cpp (Browse further)