10 Commits

Author	SHA1	Message	Date
Tristan Ravitch	4ca53dfb5c	Submodule updates ... The code was already updated, but there were some missing submodule updates	2018-05-21 17:53:10 -07:00
Tristan Ravitch	1ebf0cabb7	Submodule updates ... These updates include a new version of cabal required to build macaw-symbolic. macaw-symbolic is also now added to the cabal.project file.	2018-03-29 09:57:17 -07:00
Tristan Ravitch	43babd43cf	Add macaw-x86 to the cabal.project file	2018-03-28 17:00:38 -07:00
Kevin Quick	ce8ebff929	Switch back to main s-cargot package: pretty-printing is now fast.	2018-03-05 13:36:53 -08:00
Kevin Quick	8d020b18b8	Update (temporarily) to kquick branch of s-cargot with fast pretty-printing.	2018-02-16 13:48:16 -08:00
Kevin Quick	4a8a84ba9b	Add s-cargot-letbind submodule.	2018-02-16 13:40:41 -08:00
Ben Selfridge	372301aecc	s-cargot now under submodules	2018-01-31 16:44:16 -08:00
Tristan Ravitch	8e981b94bd	Update the macaw and semmc submodules ... The semmc submodule seemed to point to a non-existent commit.	2017-10-02 09:19:15 -07:00
Tristan Ravitch	b298b26355	Remove the macaw submodule (it moved)	2017-10-02 09:16:22 -07:00
Ben Selfridge	bf9b320e38	first commit	2017-08-28 15:48:55 -07:00