Commit Graph

509 Commits

Author SHA1 Message Date
gluaxspeed
a75dbe38eb imports functioning, next is core imports 2021-08-18 06:23:23 -07:00
gluaxspeed
14a1125d33 formatting 2021-08-18 02:46:40 -07:00
gluaxspeed
a66c123d17 merge better errors 2021-08-18 02:45:59 -07:00
gluaxspeed
e6948da23f merge master 2021-08-18 02:10:59 -07:00
gluaxspeed
cf5a23b38f type on call expression 2021-08-18 02:04:41 -07:00
gluaxspeed
20b0f4f2f8 fix canonicalization function type return bugs 2021-08-16 15:12:36 -07:00
gluaxspeed
8ca3ab465e circleci updated rust version 2021-08-13 10:48:38 -07:00
gluaxspeed
ad5591d6fe disable including readmes in crates documetnation while circleci doesn't support 1.54 2021-08-11 00:18:27 -07:00
gluaxspeed
622ff5a9c3 finish docs, setup ci to publish docs pages, test docs generation 2021-08-10 19:59:27 -07:00
gluaxspeed
402ad7aabb finish in code documentation, deny no doc comments 2021-08-10 14:10:27 -07:00
damirka
4f13716e5b removed dbg 2021-08-09 21:57:15 -07:00
damirka
97645eb443 remove comments, update circleci to rust 1.54 2021-08-09 21:57:15 -07:00
damirka
1792ef4993 attmpt to fix 1217 (rebased) 2021-08-09 21:56:45 -07:00
gluaxspeed
003faed13a merge master, fix tests 2021-08-04 17:30:54 -07:00
gluaxspeed
2a99a87da7 colored backtrace reports, full and 1 for leo backtrace 2021-08-04 14:19:19 -07:00
gluaxspeed
b1f93e95b3 dep clean up, clippy, leo result 2021-08-04 05:52:08 -07:00
gluaxspeed
2d7963771f clippy, use leo result everywhere 2021-08-04 04:12:03 -07:00
gluaxspeed
6302bda18e cli errors, leo result type 2021-08-04 03:36:33 -07:00
gluaxspeed
162949185f code cleanup 2021-08-04 00:42:48 -07:00
Alessandro Coglio
8e8e3fdf42
Merge pull request #1150 from AleoHQ/feature/remove-nightly-support
[Feature] Deprecate Nightly + OS CIs
2021-08-03 14:59:07 -07:00
gluaxspeed
76b8b3f0a6 merge master, clippy fixes 2021-08-03 04:00:15 -07:00
damirka
34f1c00da2 clippy & test fixes 2021-08-02 23:45:33 +03:00
damirka
a9a684ef2b adds self canonicalization for static calls 2021-08-02 18:25:12 +03:00
gluaxspeed
753039c4b4 code re-organization, dsl for errors 2021-07-31 00:01:23 -07:00
gluaxspeed
0012f9b37b Error refactoring thus far 2021-07-30 19:01:12 -07:00
howardwu
c37d7bcd39 chore(leo): bump version for new release 2021-07-29 18:59:08 -07:00
gluaxspeed
e8ad50446a errors are causing a dep cycle those need to be refactored first 2021-07-29 04:58:29 -07:00
gluaxspeed
20d64970ab merge master, color only at cli as it breaks tests, remove debug 2021-07-26 16:49:33 -07:00
gluaxspeed
780a2744ec Merge branch 'master' of github.com:AleoHQ/leo into feature/console-refactor-and-outs 2021-07-26 12:51:51 -07:00
gluaxspeed
bfe83d3bc1 merge master 2021-07-25 22:33:34 -07:00
gluaxspeed
1d72107119 inclusive range 2021-07-23 15:14:37 -07:00
gluaxspeed
a7dcb95847 warnings go to stderr as well, Make error message red 2021-07-22 02:42:41 -07:00
gluaxspeed
8028766cb4 Merge branch 'master' of github.com:AleoHQ/leo into bug/abnf-format-strings 2021-07-21 14:43:37 -07:00
gluaxspeed
b7a2626bc4 merge master 2021-07-21 12:05:17 -07:00
gluaxspeed
aa1819c368 finish up ast readme, clean up old files and comments 2021-07-21 02:47:54 -07:00
gluaxspeed
0ddfddfdc5 parser readme, started ast readme 2021-07-21 01:31:20 -07:00
gluaxspeed
a9593971b9 format string and grammar changes 2021-07-20 14:52:35 -07:00
gluaxspeed
315dcebb34 fmt stable only features, test all the platforms, cc stable 2021-07-14 13:55:01 -07:00
gluaxspeed
650a729763 Add theorem generations to tests 2021-07-12 11:45:51 -07:00
Alessandro Coglio
9202e7acc7
Merge pull request #1122 from detailyang/hotfix/ast-display
hotfix:ast:conditional statement display method
2021-07-09 15:22:24 -07:00
detailyang
56aac82801 hotfix:fix formatstring display trait 2021-07-09 11:42:59 +08:00
detailyang
85b47651a5 hotfix:ast:conditional statement display method 2021-07-08 16:15:46 +08: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
Alessandro Coglio
81d0a4c4e3
Merge pull request #1093 from AleoHQ/bugs/array-indexing
Array Indexing Fixes
2021-07-02 17:03:58 -07:00
gluax
026708d64d ast generation now in the compiler and has options 2021-06-30 23:47:20 -07:00
dependabot[bot]
4fd6cf5a14
Bump indexmap from 1.6.2 to 1.7.0
Bumps [indexmap](https://github.com/bluss/indexmap) from 1.6.2 to 1.7.0.
- [Release notes](https://github.com/bluss/indexmap/releases)
- [Commits](https://github.com/bluss/indexmap/compare/1.6.2...1.7.0)

---
updated-dependencies:
- dependency-name: indexmap
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
2021-06-30 10:21:58 +00:00
gluax
bb63e13edf fix all the bugs for the new array indexes 2021-06-29 20:55:48 -07:00
gluax
5ebea328fb const_value for array_init, and canonicalization fixes 2021-06-26 00:00:09 -07:00
Alessandro Coglio
214c5b21c9
Merge pull request #1054 from AleoHQ/bugs/1040-1041-input-bugs
input bugs fixes
2021-06-22 15:07:28 -07:00
gluax
b969774b85 check input integer types at all stages 2021-06-21 19:53:01 -07:00
howardwu
750c48ed3b chore(leo): bump version for new release 2021-06-21 14:28:28 -07:00
Alessandro Coglio
b414cde00d
Merge pull request #1043 from AleoHQ/bug/canonicalization-fixes
canonicalization fixes
2021-06-18 09:01:39 -07:00
gluax
a2850bbd02 Self bug fix, and string canonicalization fix 2021-06-17 12:47:19 -07:00
gluax
5cf5437281 char spans from string, proper col_start and stop 2021-06-16 13:35:40 -07:00
gluax
1f35308f47 depend on improved tests branch 2021-06-15 11:44:20 -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
Alessandro Coglio
04c809c0dc
Merge pull request #1027 from AleoHQ/bug/1025-assigning-slice-to-string
fix slice assignment for strings
2021-06-11 11:36:08 -07:00
gluax
2be23c4946 fmt fix 2021-06-10 11:25:15 -07:00
howardwu
6f5c02ae6d chore(leo): bump version for new release 2021-06-08 22:51:25 -07:00
Collin Chin
8a38ffed31
Update ast/src/reducer/canonicalization.rs 2021-06-08 16:46:09 -07:00
gluax
c9b565cbfb fix slice assignment for strings 2021-06-08 12:29:49 -07:00
Protryon
dc91b07e5c clippy 2021-06-04 06:14:09 -07:00
Protryon
a0acc915e9 dynamic array index assignment 2021-06-04 06:14:09 -07:00
howardwu
eaadb29448 chore(leo): bump version for new release 2021-05-31 19:53:31 -07:00
gluax
e53c35f3f2 made suggested changes 2021-05-25 16:36:59 -04:00
gluax
7145a751d9 console.log refactor, concat test... has asg or TIPhase reducer bug 2021-05-22 21:15:07 -04:00
gluax
1c57eb4196 input string syntax 2021-05-22 17:57:05 -04:00
gluax
4fe91f0f39 string canonicalization to char array 2021-05-20 12:39:36 -04:00
damirka
f404c426ed fix comments 2021-05-20 00:33:39 +03:00
damirka
32bd282030 1st draft for string parsing and ast type
- currently uses back quotes "`" for strings, change later
- ast -> asg unimplemented, strings need to be processed on
canonicalization stage
2021-05-18 18:56:55 +03: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
gluax
819fc9087f char type added to ast and asg 2021-05-12 08:39:55 -04:00
Alessandro Coglio
7a6384e118 Fix typo in error message. 2021-05-07 17:29:33 -07:00
gluax
29ca0d9a12 no empty import lists, star is a span, grammar fix 2021-05-05 16:10:51 -04:00
gluax
438c20c14d merge master, resolve conflicts, login test is failing 2021-04-26 14:43:21 -04:00
gluax
8c497f0b7a more test coverage 2021-04-19 13:53:49 -04:00
gluax
0016a1beaa update to lastest master, with FormatString rename 2021-04-15 16:55:48 -04:00
howardwu
4eac040178 chore(leo): bump version for new release 2021-04-15 13:49:42 -07:00
collin
c728fb4b19 fix error spacing 2021-04-15 12:37:22 -07:00
gluax
11c78da916 formatted string -> renamed format string 2021-04-14 16:15:27 -04:00
gluax
91634d6479 implicit input, removed from function input 2021-04-14 16:00:19 -04:00
damirka
717fa49dbf removes whitespace in error message 2021-04-14 20:53:43 +03:00
gluax
eaa07934ed resolve merge conflicts 2021-04-14 12:51:20 -04:00
Collin Chin
817b7e0157
Merge pull request #853 from AleoHQ/bug/nested-access-fix
Reversed-Accesses
2021-04-13 17:30:38 -07:00
gluax
61e791c671 type inference tests 2021-04-13 11:52:01 -04:00
Protryon
8c8089e870 fix test 2021-04-12 15:39:57 -07:00
gluax
f612ed441a type inference, and canonicalization bug fixes 2021-04-12 16:21:44 -04:00
Protryon
7e3fb20eb1 fix ast test 2021-04-12 13:15:40 -07:00
Protryon
899b8b3efd tests 2021-04-12 13:15:39 -07:00
gluax
214d9e0f8c More generic errors for reducing 2021-04-12 12:33:06 -04:00
gluax
2bb85f52c1 quick fix, it's in order in this location not reversed, add tests 2021-04-09 22:52:14 -04:00
howardwu
62ee4c3b8b chore(leo): bump version for new release 2021-04-09 14:08:52 -07:00
howardwu
bec813b014 chore(leo): bump version for new release 2021-04-09 13:45:30 -07:00
gluax
bddcef732f merge master, clean up reducer and directors 2021-04-09 12:48:59 -04:00
damirka
03b2af4aaa Merge branch 'master' into unused-code-bye-bye 2021-04-05 16:40:30 +03:00
gluax
24e5d5365b resolve all the merge conflicts 2021-03-31 14:08:38 -04:00