6 Commits

Author	SHA1	Message	Date
Nicolas Abril	ae5e79c1be	Fix readback of numeric operations	2024-06-07 17:59:41 +02:00
Nicolas Abril	3e9b3c4083	Adapt Bend to new hvm number operation format	2024-05-21 16:23:40 +02:00
Nicolas Abril	d62b73ce83	[sc-663] Update tests for rebase	2024-05-20 14:50:49 +02:00
Nicolas Abril	f7a238c58a	[sc-663] Add num-scott adt encoding, it a cli opt	2024-05-20 14:47:50 +02:00
Nicolas Abril	22477b1807	Explain dependencies, add to FAQ, improve readback err msg	2024-05-19 14:37:54 +02:00
Nicolas Abril	e1dd23d96c	Update tests to use .bend extension, fix test uite	2024-05-15 00:25:46 +02:00