Commit Graph

  • 97272fa9d7 wip groups collin 2020-05-12 19:07:15 -0700
  • ab4a9c6058 syntax for nested arrays. enforce_eq for nested arrays collin 2020-05-12 13:42:10 -0700
  • 7422c66d95 full support for arrays as inputs collin 2020-05-11 21:31:06 -0700
  • 75a47c55dd fix struct field validation. make if conditional parenthesis optional collin 2020-05-11 13:18:40 -0700
  • daf68d7aee Merge branch 'master' into development collin 2020-05-11 12:08:21 -0700
  • abb50628a0 deprecate crate failure in favor of thiserror collin 2020-05-09 15:34:54 -0700
  • bd553714e1
    Merge pull request #6 from AleoHQ/development Howard Wu 2020-05-08 19:02:05 -0700
  • 6ab1ce6e71 update readme collin 2020-05-08 16:39:14 -0700
  • 36018853a7 impl compiler error handling collin 2020-05-08 16:35:00 -0700
  • dee7b2782e add u16, u64, u128 collin 2020-05-06 18:49:12 -0700
  • 73e431e9eb refactor integer module, add uint8 type collin 2020-05-06 17:22:00 -0700
  • 6919f62d44 impl leo-inputs collin 2020-05-06 12:29:33 -0700
  • dcd484a62f fix imports collin 2020-05-05 18:40:25 -0700
  • d7167f5b2b fix syntax for _type, struct fields, protected names collin 2020-05-05 18:04:25 -0700
  • 983cd6675a Merge branch 'development' of https://github.com/AleoHQ/language into development collin 2020-05-05 17:36:21 -0700
  • e720409ca3 refactor main function parameters collin 2020-05-05 17:24:34 -0700
  • ebbc6ee014 Adds leo input pest grammar howardwu 2020-05-04 19:34:10 -0700
  • d3989c36fd remove comments, update readme collin 2020-05-04 16:52:32 -0700
  • 10ca30ac93 impl pass by value functions collin 2020-05-04 16:42:40 -0700
  • 98a7d0bdf6 impl 0, 1 or more return arg collin 2020-05-04 11:40:29 -0700
  • b091d6c63b fix conflicts collin 2020-05-04 10:33:03 -0700
  • 1350834bcd Implements caching of builds and setups for reusable work howardwu 2020-05-02 20:10:22 -0700
  • fa4f786f22 impl let statements collin 2020-05-02 19:03:50 -0700
  • 7d5a5b71c3 Move proving and verification keys to outputs folder howardwu 2020-05-02 18:11:38 -0700
  • 5f5a3399ac Adds command howardwu 2020-05-02 18:08:04 -0700
  • 853faf54f6 Adds verification key output support howardwu 2020-05-02 17:38:14 -0700
  • f86c9d8076 Adds proving key file howardwu 2020-05-02 17:28:20 -0700
  • 219f90cb17 Adds starter integration tests for u32 howardwu 2020-05-01 22:10:40 -0700
  • b9afcff602 u32 assert equal collin 2020-04-30 20:46:59 -0700
  • b683e93762 impl assert_eq( , ) collin 2020-04-30 14:00:30 -0700
  • 1bfc31c4d5 impl field comparator functionality collin 2020-04-30 12:13:23 -0700
  • f071764548 fix field pow. fix eq vs enforce_eq collin 2020-04-30 11:36:35 -0700
  • e5513d7bcf add exponentiation assignment collin 2020-04-30 10:34:49 -0700
  • 90658f362d impl operator assign statements collin 2020-04-30 10:27:13 -0700
  • 48ab4747e0 fix multiple assignment bug collin 2020-04-27 17:15:54 -0700
  • 1dcaa06ef0 early function termination collin 2020-04-27 16:59:44 -0700
  • c5fc02b51d fix for loop syntax collin 2020-04-27 16:06:50 -0700
  • f69032c833 impl if else conditional statements collin 2020-04-27 14:36:05 -0700
  • efbf4f54e9
    Merge pull request #5 from AleoHQ/feature/compiler Howard Wu 2020-04-26 22:37:45 -0700
  • d115870815 Moves compiler.rs to leo-compiler module howardwu 2020-04-26 22:37:08 -0700
  • 026b59a67a Rename program to compiler howardwu 2020-04-26 22:34:15 -0700
  • 85eb6cf6a8 Merge branch 'master' of https://github.com/AleoHQ/language into feature/compiler howardwu 2020-04-26 22:29:22 -0700
  • 32fb130d0e Merge branch 'development' collin 2020-04-25 23:39:42 -0700
  • a76a109b3c add semicolons after imports and statements collin 2020-04-25 23:38:58 -0700
  • bfcdaf2b07 impl specific import, import *, import aliasing collin 2020-04-25 23:25:48 -0700
  • 9f60cf3393 Adds command howardwu 2020-04-25 18:25:36 -0700
  • a72e4ce4a3 Optimize implementation to use subcommands howardwu 2020-04-25 18:11:49 -0700
  • 9daeb358ba Add command to Leo howardwu 2020-04-25 17:40:02 -0700
  • c5fdbb85e0 Cleanup main.rs howardwu 2020-04-25 17:19:48 -0700
  • 108789a52f Move compiled program output to info logging howardwu 2020-04-25 17:18:49 -0700
  • b85aa8f547 Adds command to Leo howardwu 2020-04-25 16:02:31 -0700
  • 18768bbec7 Adds command howardwu 2020-04-25 01:47:10 -0700
  • dcb5f542a8 Adds input directory to howardwu 2020-04-25 00:35:11 -0700
  • 2f1e5acec4 Cleanup howardwu 2020-04-25 00:25:35 -0700
  • fb4e5ee8e1 Adds main function with howardwu 2020-04-25 00:19:20 -0700
  • 83065845df Complete command howardwu 2020-04-24 23:56:26 -0700
  • 93b47602dd Rename from new to init howardwu 2020-04-24 21:15:33 -0700
  • 59cf617a08 enforce explicit types in defnitions and arrays collin 2020-04-24 12:34:09 -0700
  • 8c5be763ff Compiler wip howardwu 2020-04-23 23:57:05 -0700
  • e31d3205d2
    Merge pull request #4 from AleoHQ/development Collin Chin 2020-04-23 21:25:55 -0700
  • 9e163428a9 merge master collin 2020-04-23 21:22:29 -0700
  • 675a80c00e impl multiple assignment collin 2020-04-23 21:18:54 -0700
  • 0a49dd1ec3 Adds compiler module howardwu 2020-04-23 18:52:43 -0700
  • fb24c4267f wip collin 2020-04-23 18:34:14 -0700
  • 1ec03fdb09 Migrate to workspace howardwu 2020-04-23 18:33:43 -0700
  • 7500f9a5fd
    Merge pull request #1 from AleoHQ/development Collin Chin 2020-04-23 17:46:17 -0700
  • 6ec4f99af5 add readme collin 2020-04-23 17:43:58 -0700
  • 2255bac5a1 add function and {} collin 2020-04-23 16:24:31 -0700
  • ac9707da92 remove old code collin 2020-04-23 15:29:21 -0700
  • 34d8a552e7 refactor type resolution collin 2020-04-23 15:24:05 -0700
  • 1e5c2a7ef9 enforce function return type collin 2020-04-22 13:26:52 -0700
  • fa37bc4a40 add implicit integer type. various fixes collin 2020-04-22 12:45:16 -0700
  • ccd6092ff3 merge development collin 2020-04-22 11:43:00 -0700
  • ffedd297fc impl and constrain function parameter visibility collin 2020-04-21 23:01:20 -0700
  • 6a6197d4f2 Update logging howardwu 2020-04-21 00:07:52 -0700
  • 51c52c8676 Updates howardwu 2020-04-20 22:12:09 -0700
  • 8702ad5ccd Clean up howardwu 2020-04-20 21:51:57 -0700
  • 966f4c90ca Rename language.pest to leo.pest howardwu 2020-04-20 21:41:15 -0700
  • f1c318d8e0 Migrate aleo_program to program howardwu 2020-04-20 21:38:04 -0700
  • a42d9eeb10 Updates Cargo.toml howardwu 2020-04-20 21:34:15 -0700
  • db4cea8967 Update .program to .leo howardwu 2020-04-20 21:31:17 -0700
  • 0cfcc8d55f Removes the csv example howardwu 2020-04-20 21:28:47 -0700
  • 0d71b00b3c
    Update README.md Howard Wu 2020-04-20 21:16:47 -0700
  • 26d8010080 remove zokrates progam collin 2020-04-20 18:53:27 -0700
  • ff4fc0cc20 add file docs collin 2020-04-20 18:52:39 -0700
  • 9bf0dc9a4a refactor constraints module collin 2020-04-20 18:41:55 -0700
  • 16d27629f9 impl field element operations collin 2020-04-20 17:40:45 -0700
  • 1bbe71d726 add and constrain explict type for u32 collin 2020-04-20 13:06:47 -0700
  • dbbf816645 constraints basic imports collin 2020-04-17 16:05:20 -0700
  • 1e9e49db57 parse imports collin 2020-04-17 12:51:02 -0700
  • 1743c7a1f1 constraints bool and field spreads collin 2020-04-16 22:46:51 -0700
  • e1db8ed483 constraints modify array and struct values in place collin 2020-04-16 19:17:10 -0700
  • 6b6bce38cb impl function scope collin 2020-04-16 15:15:13 -0700
  • 455c0b631a constraints for loops collin 2020-04-16 11:36:23 -0700
  • 0a8cda3d7f Rename Function's name from 'variable' to 'function_name', and adds FunctionName type in pest and types howardwu 2020-04-15 23:58:47 -0700
  • 59d2fa861a Fix bug: parse mixed space and tab case howardwu 2020-04-15 23:12:11 -0700
  • 833590ad40 clean up output collin 2020-04-15 22:17:44 -0700
  • ac48138621 constraints function calls, params, returns collin 2020-04-15 18:46:54 -0700
  • 3bc7118d71 constraint struct access collin 2020-04-15 16:52:17 -0700
  • 025d9ab45d constraints array access collin 2020-04-15 13:47:53 -0700