805 Commits

Author	SHA1	Message	Date
Eric McCarthy	a8840d5264	fix typo in name of initial ast file ... `inital_ast.json` --> `initial_ast.json`	2021-07-11 21:29:50 -07:00
gluaxspeed	b767dcd08f	Merge branch 'master' of github.com:AleoHQ/leo into feature/circuit-constant-value	2021-07-08 04:14:32 -07:00
Alessandro Coglio	6d56aa9c81	Merge pull request #1090 from AleoHQ/feature/cli-generates-proofs ... Ast Proof Generation In CLI	2021-07-03 14:40:07 -07:00
gluax	a496841563	the identifiers differ, change it to name	2021-07-02 18:29:48 -07:00
gluax	6022f42fa5	Merge branch 'master' of github.com:AleoHQ/leo into feature/circuit-constant-value	2021-07-02 17:33:31 -07:00
gluax	f650e12baf	circuit cosnt_value	2021-07-02 17:32:37 -07:00
gluax	41f4eed360	refactor proof options to theorem options	2021-07-02 15:26:13 -07:00
gluax	026708d64d	ast generation now in the compiler and has options	2021-06-30 23:47:20 -07:00
gluax	bb63e13edf	fix all the bugs for the new array indexes	2021-06-29 20:55:48 -07:00
Alessandro Coglio	2e0dab122b	Merge pull request #1074 from AleoHQ/bug/ternery-and-canonicalization-fixes ... Bug-Fix: Canonicalization, Array Init, Array Indexing	2021-06-29 11:12:49 -07:00
gluax	5c3b48a25b	slight rework to access to clean it up and fix other missed cases, added tests	2021-06-28 14:10:26 -07:00
damirka	dcf3de40e9	update to snarkvm-0.6.0	2021-06-28 22:01:01 +03:00
gluax	b96cc7b08c	remove debug stmt	2021-06-26 20:46:54 -07:00
gluax	15402584c0	fix array indexing assigning	2021-06-26 20:44:48 -07:00
gluax	af1aca3d9f	parse returns leo error not rust error	2021-06-21 23:10:55 -07:00
gluax	b969774b85	check input integer types at all stages	2021-06-21 19:53:01 -07:00
gluax	a6f4052dde	type inference char reducer fixed, outputs fixed	2021-06-15 11:23:08 -07:00
gluax	7d29ef0d5e	custom serializer/deserializer	2021-06-14 15:56:39 -07:00
gluax	d1ca1108fb	scalar chars refactor, some stuff got fixed, some stuff broke	2021-06-11 16:16:21 -07:00
gluax	77c3b9872a	fmt fix	2021-06-08 14:52:13 -07:00
Max Bruce	e4b88f3095	Update compiler/src/value/integer/integer.rs ... Co-authored-by: Collin Chin <16715212+collinc97@users.noreply.github.com>	2021-06-08 14:52:12 -07:00
p	e816ae4ac3	fix array dyn mut	2021-06-08 14:52:12 -07:00
p	a8f687f904	fix treating inputs as constants in to_usize	2021-06-08 14:52:12 -07:00
collin	04907c3e84	bump snarkvm module versions to 0.5.4	2021-06-08 10:25:41 -07:00
p	5cd05d7376	fix bounds check	2021-06-04 11:42:14 -07:00
Protryon	e6b7f0fce3	bounds check	2021-06-04 07:35:50 -07:00
Protryon	dc91b07e5c	clippy	2021-06-04 06:14:09 -07:00
Protryon	936a35ebd2	fmt	2021-06-04 06:14:09 -07:00
Protryon	f8c4139c3a	misc cleanup	2021-06-04 06:14:09 -07:00
Protryon	a0acc915e9	dynamic array index assignment	2021-06-04 06:14:09 -07:00
damirka	d979a06eac	fix output of characters in out file	2021-06-03 15:38:58 +03:00
gluax	91f27bc046	explicit type resolves issue, will make bug for implict	2021-05-22 22:26:24 -04:00
gluax	7145a751d9	console.log refactor, concat test... has asg or TIPhase reducer bug	2021-05-22 21:15:07 -04:00
gluax	c4a1bd6955	merge and print strings like strings, rather than arrays	2021-05-20 12:50:49 -04:00
gluax	4fe91f0f39	string canonicalization to char array	2021-05-20 12:39:36 -04:00
gluax	b6479b754f	tests are passing interestingly but idk if they should be, == doesn't work for input on fields	2021-05-19 16:48:34 -04:00
Alessandro Coglio	7aa3fa3b1a	Merge pull request #920 from AleoHQ/compiler-tests ... [Tests] Compiler tests	2021-05-19 12:56:18 -07:00
gluax	3cc3c7ab02	call the char methods	2021-05-19 14:24:57 -04:00
gluax	768a597e04	merge in field operator updates	2021-05-19 13:25:58 -04:00
collin	c936ca5f11	remove old field type code	2021-05-18 18:57:44 -07:00
collin	9c94422530	bump snarkvm module versions to 0.2.3	2021-05-18 18:53:07 -07:00
collin	2b1b2839b0	add field type refactor code	2021-05-18 18:35:54 -07:00
gluax	edf236158d	add unimplemented other comparators in fields so chars can call them	2021-05-18 12:29:01 -04:00
gluax	08022bb383	char eq operators in, they just call the field ones for now, so when those are in they will work	2021-05-18 12:04:58 -04:00
collin	abeb796cbb	use field eq method	2021-05-17 16:32:44 -07:00
collin	d24623d9d2	fix field subtraction	2021-05-17 16:16:42 -07:00
gluax	1377fc5d75	output file now does 'a', swapped to compiler tests, we fail char tests for now since no constraints	2021-05-14 15:34:39 -04:00
gluax	6e71c8ab4f	addex hex, octal, and direct unicode	2021-05-13 14:33:01 -04:00
gluax	29cd920075	input, output and compiler tests	2021-05-13 07:16:59 -04:00
gluax	0ef7ca3d8e	just need to fix input file parsing for chars to work	2021-05-12 18:56:27 -04:00