31 Commits

Author	SHA1	Message	Date
Jordi Baylina	26cad30222	faster write r1cs	2020-07-23 15:55:27 +02:00
Jordi Baylina	f48de61ca9	lIdx BigArray	2020-07-21 14:34:53 +02:00
Jordi Baylina	9bf6ecc4f3	Reducing constraints big array	2020-07-21 08:47:10 +02:00
Jordi Baylina	9fe8be9828	optimize optimize constraints	2020-07-18 14:55:00 +02:00
Jordi Baylina	744d3b241c	deps and verbos	2020-07-02 05:33:31 +02:00
Jordi Baylina	767ca60008	Use native big int	2020-04-18 20:53:13 +02:00
Jordi Baylina	eb8cb0af74	Almost ready for 0.5.0	2020-03-26 17:42:25 +01:00
Jordi Baylina	ef899e618b	Wasm generation finished	2020-03-16 20:37:08 +01:00
Jordi Baylina	8f63d18ff4	Begining of wasm	2020-03-09 21:16:56 +01:00
Jordi Baylina	6c1a3e7687	Isolate code generation to output different languages	2020-02-04 19:21:37 +01:00
Jordi Baylina	111c91c70d	bigarray	2020-01-30 07:25:48 +01:00
Jordi Baylina	3a9766a008	write code in stream mode	2020-01-27 13:08:11 +07:00
Jordi Baylina	63fd72cdc7	Assembly library started	2020-01-14 22:43:58 +01:00
Jordi Baylina	da969a5e16	Construction phase redone	2019-12-23 19:34:52 +01:00
Jordi Baylina	e62c1cdbc3	Fixes and tests passed	2019-12-16 21:37:14 +01:00
Jordi Baylina	6cdb006909	constants	2019-11-30 22:59:14 +01:00
Jordi Baylina	93330f065b	for loops	2019-11-28 15:18:52 +01:00
Jordi Baylina	66291a0efe	C generation	2019-11-23 19:12:58 +01:00
Jordi Baylina	51ff27b9c6	Verbose added	2019-09-22 12:56:05 +02:00
Jordi Baylina	d04eff6c0d	Optimize optimization and fix out<==in	2019-09-18 17:43:14 +02:00
Jordi Baylina	832077fbe9	Fix Optimization	2019-09-15 18:55:28 +02:00
Jordi Baylina	6642d4cf93	Fix: include allways reduce constants	2019-06-21 10:42:49 +02:00
Jordi Baylina	534efcf355	fast mode	2019-06-16 00:27:42 +02:00
Jordi Baylina	5e58584a01	Verbose and error if main is not defined	2018-10-24 20:27:34 +02:00
Jordi Baylina	4fa0c79e26	If without else	2018-10-24 19:59:50 +02:00
Jordi Baylina	99a7489fa2	Some fixes and new version	2018-10-21 19:44:19 +02:00
Jordi Baylina	ac9f051067	Optimization added for removing linear combination only constraints with an internal variable	2018-10-14 10:43:03 +02:00
bellesmarta	dc7bc00ba6	Canvies en el README i a la descripció del Copyright i tal	2018-09-10 18:52:40 +02:00
Jordi Baylina	9c67e47588	Spelling fixes	2018-09-09 14:08:15 +02:00
Jordi Baylina	89b711050d	Dependencies updated and publish	2018-09-05 05:25:32 +02:00
Jordi Baylina	ff2ecd310e	First test added	2018-09-05 03:48:58 +02:00