gluaxspeed 68fd0433b6 trying to debug why circleci and codecov fail		2021-07-22 23:04:13 -07:00
..
console	format string and grammar changes	2021-07-20 14:52:35 -07:00
constraints	Merge branch 'master' into compiler-tests	2021-05-05 11:56:00 +03:00
definition	global consts work, time to add them to reducers and phases	2021-03-29 12:55:49 -04:00
errors	format string and grammar changes	2021-07-20 14:52:35 -07:00
expression	Updates Leo to snarkVM v0.7.4	2021-07-17 00:42:24 -07:00
function	Updates Leo to snarkVM v0.7.4	2021-07-17 00:42:24 -07:00
output	cleaner output, and log writer	2021-07-11 23:42:14 -07:00
phases	format string and grammar changes	2021-07-20 14:52:35 -07:00
prelude	bump snarkvm module versions to 0.5.4	2021-06-08 10:25:41 -07:00
program	Format and clean up, enable default on snarkvm_algorithms	2021-03-04 11:09:24 -08:00
statement	countdown loops	2021-07-22 22:17:33 -07:00
value	Updates Leo to snarkVM v0.7.4	2021-07-17 00:42:24 -07:00
compiler.rs	Refactor Proof/Theorem to Snapshots	2021-07-14 03:24:08 -07:00
lib.rs	fmt and clippy	2021-07-16 03:28:06 -07:00
option.rs	Refactor Proof/Theorem to Snapshots	2021-07-14 03:24:08 -07:00
phase.rs	rename stage -> phase	2021-04-21 15:22:20 -07:00
test.rs	trying to debug why circleci and codecov fail	2021-07-22 23:04:13 -07:00