| .. |
|
console
|
bump snarkvm module versions to 0.5.4
|
2021-06-08 10:25:41 -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
|
ast generation now in the compiler and has options
|
2021-06-30 23:47:20 -07:00 |
|
expression
|
the identifiers differ, change it to name
|
2021-07-02 18:29:48 -07:00 |
|
function
|
check input integer types at all stages
|
2021-06-21 19:53:01 -07:00 |
|
output
|
type inference char reducer fixed, outputs fixed
|
2021-06-15 11:23:08 -07:00 |
|
phases
|
type inference char reducer fixed, outputs fixed
|
2021-06-15 11:23:08 -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
|
fix all the bugs for the new array indexes
|
2021-06-29 20:55:48 -07:00 |
|
value
|
update to snarkvm-0.6.0
|
2021-06-28 22:01:01 +03:00 |
|
compiler.rs
|
fix typo in name of initial ast file
|
2021-07-11 21:29:50 -07:00 |
|
lib.rs
|
removed old compiler tests
|
2021-05-12 19:39:27 +03:00 |
|
option.rs
|
refactor proof options to theorem options
|
2021-07-02 15:26:13 -07:00 |
|
phase.rs
|
rename stage -> phase
|
2021-04-21 15:22:20 -07:00 |
