6 Commits

Author	SHA1	Message	Date
Dave Cunningham	c60056c75f	Feature-complete commandline interface (#138) ... * Feature-complete commandline interface * Make errors match cpp implementation	2017-11-03 22:00:30 -04:00
Dave Cunningham	f965f9ee04	For compatability, emit the \n within the library, not the cmd (#137) ... * For compatability, emit the \n within the library, not the commandline tool * Also add manifestString to library	2017-10-29 21:41:01 -04:00
Stanisław Barzowski	2db3d1c3cc	TLA support	2017-10-12 20:00:45 -04:00
Stanisław Barzowski	8b843564bf	Support --ext-str and --ext-code options	2017-10-03 14:31:53 -04:00
Stanisław Barzowski	0c86c9e109	Support of +:, in, in super ... Also profiling	2017-09-28 22:21:46 -04:00
Stanisław Barzowski	370534ccc4	Basic commandline (so we can start testing compatibility)	2017-08-08 14:30:44 -04:00