7 Commits

Author	SHA1	Message	Date
folex	f9924bcfb3	Optional call output (#20)	2020-11-09 14:44:04 +03:00
vms	7cdac944c3	Treat empty string as empty call evidence path (#18)	2020-11-09 14:07:40 +03:00
vms	bcb0f18e9e	Fix Par state serialization in xor with inner par (#19)	2020-11-09 13:37:52 +03:00
folex	1786ab8f4b	LALRPOP parser for AIR (#13)	2020-11-03 17:43:58 +03:00
vms	12398697f2	add bencher	2020-11-01 17:23:27 +03:00
vms	f67b3bc079	move to the new FCE version	2020-11-01 10:30:24 +03:00
vms	fbca76444b	New data format (#12)	2020-10-30 20:29:05 +03:00