207 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Jordi Baylina	0a707648fc	0.5.24 v0.5.24	2020-09-17 01:09:31 +02:00
Jordi Baylina	263dc73906	FIX Bad optimization	2020-09-17 01:09:24 +02:00
Jordi Baylina	8e730d93a4	64 size r1cs	2020-09-04 09:10:49 +02:00
Jordi Baylina	bbe10438e0	0.5.23 v0.5.23	2020-08-31 11:28:23 +02:00
Jordi Baylina	c2cef8d80c	deps	2020-08-31 11:28:11 +02:00
Jordi Baylina	2200408986	0.5.22 v0.5.22	2020-08-31 11:18:06 +02:00
Jordi Baylina	5f13d37fdc	Better info in signal not assigned	2020-08-31 11:13:26 +02:00
Jordi Baylina	3b46b74d4a	0.5.21 v0.5.21	2020-08-24 09:31:42 +02:00
Jordi Baylina	aa2d768465	assert working	2020-08-24 09:31:35 +02:00
Jordi Baylina	f02ceb2508	Big component entry tables	2020-08-17 12:02:24 +02:00
Jordi Baylina	d014d67032	0.5.20 v0.5.20	2020-08-17 11:22:40 +02:00
Jordi Baylina	2e1b35a94d	Fix Offset referenced by an iteger	2020-08-17 11:22:21 +02:00
Jordi Baylina	7cef1be2c3	0.5.19 v0.5.19	2020-08-13 18:56:39 +02:00
Jordi Baylina	4b631994ca	c to cpp	2020-08-13 18:56:30 +02:00
Jordi Baylina	7239abcef1	0.5.18 v0.5.18	2020-08-12 02:26:33 +02:00
Jordi Baylina	633f755e34	Fix testers with fastfile	2020-08-12 02:26:15 +02:00
Jordi Baylina	923b19c414	Fix: Error description function not found	2020-08-12 01:36:01 +02:00
Jordi Baylina	90cc7d5072	Remove streams c and wasm gen	2020-08-07 17:10:30 +02:00
Jordi Baylina	145d5a21ad	BigArray in wit2sig	2020-08-06 22:59:19 +02:00
Jordi Baylina	cbb0b229bc	Big array in r1cs labels	2020-08-05 14:32:05 +02:00
Jordi Baylina	1d14e8c603	BigArray require	2020-07-30 05:06:58 +02:00
Jordi Baylina	1e2fb12631	BigArray in code	2020-07-30 05:04:15 +02:00
Jordi Baylina	0e1a1bcc23	BigArray in CBuild	2020-07-29 19:40:24 +02:00
Jordi Baylina	989987bfc2	deps	2020-07-29 09:16:43 +02:00
Jordi Baylina	5f3ef322a7	Simplify buildC	2020-07-28 12:50:23 +02:00
Jordi Baylina	3c8e61b9a4	log buildC	2020-07-27 05:00:47 +02:00
Jordi Baylina	c39423e411	0.5.17 v0.5.17	2020-07-25 14:01:31 +02:00
Jordi Baylina	06b6c1a49e	Fast write constraints	2020-07-25 13:55:17 +02:00
Jordi Baylina	6b712f3587	0.5.16 v0.5.16	2020-07-23 15:56:47 +02:00
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	89cea4755c	0.5.15 v0.5.15	2020-07-21 08:47:27 +02:00
Jordi Baylina	9bf6ecc4f3	Reducing constraints big array	2020-07-21 08:47:10 +02:00
Jordi Baylina	59d591c988	0.5.14 v0.5.14	2020-07-18 14:55:09 +02:00
Jordi Baylina	9fe8be9828	optimize optimize constraints	2020-07-18 14:55:00 +02:00
Jordi Baylina	7e24d6f57d	0.5.13 v0.5.13	2020-07-04 19:55:45 +02:00
Jordi Baylina	8655573b34	r1cs builder fix	2020-07-04 19:54:47 +02:00
Jordi Baylina	8fc6e3f1c6	0.5.12 v0.5.12	2020-07-02 06:00:10 +02:00
Jordi Baylina	c32d303d27	deps	2020-07-02 05:59:00 +02:00
Jordi Baylina	744d3b241c	deps and verbos	2020-07-02 05:33:31 +02:00
Jordi Baylina	1a5f7d1a2b	0.5.11 v0.5.11	2020-04-27 12:03:38 +02:00
Jordi Baylina	434e7ac498	deps	2020-04-27 12:03:29 +02:00
Jordi Baylina	99afb4312e	Fix negative short composition	2020-04-27 11:57:32 +02:00
Jordi Baylina	67ec7c5d5b	0.5.10 v0.5.10	2020-04-19 19:29:06 +02:00
Jordi Baylina	a76f3b5988	deps	2020-04-19 19:28:57 +02:00
Jordi Baylina	bc9d395e70	0.5.9 v0.5.9	2020-04-19 18:38:19 +02:00
Jordi Baylina	7fc457ac90	fastfile	2020-04-19 18:38:10 +02:00
Jordi Baylina	8c4980c3f9	0.5.8 v0.5.8	2020-04-18 20:53:21 +02:00
Jordi Baylina	767ca60008	Use native big int	2020-04-18 20:53:13 +02:00
Jordi Baylina	f25842f67c	0.5.7 v0.5.7	2020-04-07 13:02:51 +02:00