ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-29 05:02:52 +03:00
Code Issues Packages Projects Releases Wiki Activity
1,318 Commits 54 Branches 46 Tags 340 MiB
f1490a994b
Commit Graph

1318 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
collin
f1490a994b impl dynamic check errors 2020-10-23 15:23:48 -07:00
collin
3331ee77c4 impl dynamic check circuits 2020-10-22 22:31:07 -07:00
collin
d41e6779c7 impl dynamic check function and circuit lookups 2020-10-22 15:36:35 -07:00
collin
ff62d9db7e impl dynamic check solving for equality checks 2020-10-22 12:40:35 -07:00
collin
31ace3168f handle console function call statement 2020-10-21 20:59:25 -07:00
collin
e5015ccce7 impl dynamic checker iteration statement 2020-10-21 20:50:14 -07:00
collin
cfb5e1b5f7 impl dynamic checker conditional statement 2020-10-21 20:15:08 -07:00
collin
71d3969ac5 impl dynamic checker expression statement 2020-10-21 16:13:52 -07:00
collin
07a17e2846 impl dynamic checker assign statement wip 2020-10-20 20:36:15 -07:00
collin
f30f615655 impl dynamic checker definition statements 2020-10-20 13:14:16 -07:00
collin
d8fd17fb41 impl dynamic checker set membership type assertions 2020-10-19 17:18:31 -07:00
collin
65437d3c05 dynamic check parse circuit and circuit access expressions 2020-10-19 16:03:45 -07:00
collin
22bc891172 dynamic check parse array access expressions 2020-10-19 14:11:39 -07:00
collin
0c6a72c35f dynamic check parse tuple expressions 2020-10-19 12:38:14 -07:00
collin
a8967298ea dynamic check parse array expressions 2020-10-19 10:46:10 -07:00
collin
d8075c14e2 add scope for loop and non-loop variables 2020-10-19 01:40:36 -07:00
collin
e50029c466 fix errors, focus on dynamic checks 2020-10-18 23:53:37 -07:00
collin
8de889ada5 impl expression operations logical and relational 2020-10-17 18:48:20 -07:00
collin
154fa45b4d impl expression operations 2020-10-17 16:47:33 -07:00
collin
42a892480a impl definition statements 2 2020-10-16 14:39:39 -07:00
collin
1849a5ddcc impl definition statements 1 2020-10-16 14:15:53 -07:00
collin
43bcc2b210 pass type to expressions 2020-10-16 12:33:46 -07:00
collin
3acb8b9f65 pass function body to statements 2020-10-16 10:52:55 -07:00
collin
13d3a78659 use variable table in expressions 1 2020-10-15 22:30:05 -07:00
collin
f1a692e8d5 fix resolver errors 3 final 2020-10-15 20:20:02 -07:00
collin
8f34904fdc fix resolver errors wip 2 2020-10-15 19:57:26 -07:00
collin
323992696c use typed assignee access 2020-10-15 18:11:39 -07:00
collin
3bd6d2e6b6 use simpler assignee access in leo typed 2020-10-15 18:04:58 -07:00
collin
a4dab9594d fix resolver errors wip 2020-10-15 17:58:56 -07:00
collin
5edbcf0e05 add work from resolver branch 2020-10-15 17:06:34 -07:00
collin
5188d3b6b4 parse conditional expression types 2020-10-14 18:34:43 -07:00
collin
6e8170a58f parse expression types for operations 2020-10-14 18:11:35 -07:00
collin
0702e1f92f update type assertions for new types 2020-10-14 17:10:51 -07:00
collin
a9b16cfaa8 update symbol table tests 2020-10-14 16:37:19 -07:00
collin
3221615f51 fix stack check error naming 2020-10-14 16:27:55 -07:00
collin
de6f6ae7ae add variable table to function body 2020-10-14 15:12:55 -07:00
collin
cc6cf4e6a5 add new dynamic check protocol 2020-10-13 09:06:52 -07:00
collin
d29d01f4ff move types into new static-check module 2020-10-12 12:32:29 -07:00
collin
e0750158f5 add type variable 2020-10-12 11:33:42 -07:00
collin
a66cc3afda deprecate resolved node trait 2020-10-11 12:56:01 -07:00
collin
a5975eb5fd move types into separate module 2020-10-09 16:25:04 -07:00
collin
effdfc7628 add leo dynamic check module 2020-10-06 17:20:51 -07:00
collin
d5a9cefe7c impl symbol table for pass 1 + pass 2 type resolution 2020-10-01 20:17:47 -07:00
collin
dd70318531 fix naming conflict 2020-09-30 16:39:06 -07:00
collin
76b7c7a17f add docs for errors 2020-09-30 16:27:17 -07:00
collin
15dd915228 Merge branch 'master' of github.com:AleoHQ/leo into feature/import-parser 2020-09-30 16:18:49 -07:00
Collin Chin
14f558f179
Merge pull request #378 from AleoHQ/dependabot/cargo/tracing-0.1.21 
Bump tracing from 0.1.19 to 0.1.21
 2020-09-30 14:07:31 -07:00
collin
ce8e3f4978 rename variables and add docs 2020-09-30 14:06:56 -07:00
dependabot-preview[bot]
e42e195bfa
Bump tracing from 0.1.19 to 0.1.21 
Bumps [tracing](https://github.com/tokio-rs/tracing) from 0.1.19 to 0.1.21.
- [Release notes](https://github.com/tokio-rs/tracing/releases)
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-0.1.19...tracing-0.1.21)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-09-30 18:41:55 +00:00
Collin Chin
c38dbbe1c5
Merge pull request #360 from AleoHQ/dependabot/cargo/serde-1.0.116 
Bump serde from 1.0.115 to 1.0.116
 2020-09-30 11:40:09 -07:00