14 Commits

Author	SHA1	Message	Date
howardwu	bf82bf4d1b	chore(leo): bump version for new release	2020-08-28 23:26:19 -07:00
howardwu	194f1daf42	Update Cargo.toml	2020-08-28 22:08:37 -07:00
howardwu	12971b9cbb	Update Cargo.toml	2020-08-27 01:33:00 -07:00
collin	098ca28231	use tracing in ast	2020-08-21 16:40:34 -07:00
howardwu	94411aaabf	add bench path	2020-08-21 02:56:38 -07:00
howardwu	4da4fc4344	Update cargo.toml	2020-08-21 02:54:04 -07:00
howardwu	0405ff4f89	Bump version and repair Leo update description	2020-08-19 03:00:30 -07:00
howardwu	b81129db67	Adds benchmarks for serialization	2020-08-02 20:33:05 -07:00
howardwu	3ccfd2c764	Adds ci_skip	2020-08-02 19:57:28 -07:00
howardwu	00c10870e2	Implements working typed ast serialization	2020-08-01 21:50:47 -07:00
howardwu	d3894ff546	Adds AST JSON generator	2020-07-28 22:26:28 -07:00
howardwu	47bfd2e096	Adds serialization of Leo AST for unit testing and rformal verification	2020-07-28 21:18:43 -07:00
howardwu	7f566782e3	Refactors SyntaxError to leo-ast	2020-06-06 23:23:26 -07:00
howardwu	a72a333877	Migrates ast to leo-ast module	2020-06-06 23:17:40 -07:00