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

40 Commits

Author SHA1 Message Date
Protryon
5985d8da41 tendrilize spans 2021-03-26 05:18:55 -07:00
collin
ef8517b8ce allow clippy warns 2021-03-25 15:51:46 -07:00
Protryon
ba9444ecc4 dead code elimination pass 2021-03-13 06:58:09 -08:00
dependabot-preview[bot]
c764020b4e
Bump indexmap from 1.6.1 to 1.6.2 
Bumps [indexmap](https://github.com/bluss/indexmap) from 1.6.1 to 1.6.2.
- [Release notes](https://github.com/bluss/indexmap/releases)
- [Commits](https://github.com/bluss/indexmap/compare/1.6.1...1.6.2)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-03-09 00:46:13 +00:00
Protryon
d400764e00 parser rewrite 2021-03-03 09:59:24 -08:00
howardwu
77a0af18fe chore(leo): bump version for new release 2021-02-26 19:42:35 -08:00
howardwu
2e00ff451e Rename all instances of 'ctx' to 'context' 2021-02-24 18:13:36 -08:00
Protryon
bf61820115 asg refactor 2021-02-16 13:32:34 -08:00
howardwu
777a67fb40 Adds README.md 2021-02-10 22:27:37 -08:00
howardwu
55db999a9e Adds LICENSE.md 2021-02-10 22:23:45 -08:00
howardwu
1898cc6840 chore(leo): bump version for new release 2021-02-07 08:14:56 -08:00
howardwu
f80c3d236a Renames InnerProgram to InternalProgram 2021-02-04 17:31:44 -08:00
howardwu
90fc6a9c12 chore(leo): bump version for new release 2021-02-03 13:34:03 -08:00
howardwu
0d907bbb26 chore(leo): bump version for new release 2021-02-03 12:36:17 -08:00
Protryon
80d5c87b8a asg 2021-02-02 11:08:56 -08:00
howardwu
c935d6a486 Update license to 2021 2021-02-01 20:26:56 -08:00
gluaxspeed
29ff3c90b6 error and error message for deprecated test syntax, fmt, clean up 2021-01-25 15:12:10 -05:00
howardwu
1a36a262b8 chore(leo): bump version for new release 2021-01-12 17:03:16 -04:00
collin
b4bcfe549a fix import type checking 2021-01-07 18:12:46 -05:00
dependabot-preview[bot]
8894f10de7
Bump indexmap from 1.6.0 to 1.6.1 
Bumps [indexmap](https://github.com/bluss/indexmap) from 1.6.0 to 1.6.1.
- [Release notes](https://github.com/bluss/indexmap/releases)
- [Commits](https://github.com/bluss/indexmap/compare/1.6.0...1.6.1)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-12-15 10:44:12 +00:00
howardwu
9038c5a17a chore(leo): bump version for new release 2020-12-14 13:57:01 -04:00
collin
ae6ee186ad use index map in imports module 2020-12-07 12:10:42 -05:00
howardwu
dbae691e49 chore(leo): bump version for new release 2020-12-03 16:16:42 -04:00
howardwu
74f7f24b19 chore(leo): bump version for new release 2020-12-01 22:57:11 -04:00
collin
74b346f3e6 remove deprecated names from comments and variables 2020-11-11 12:47:54 -08:00
collin
05a83950e5 bump versions fix conflicts 2020-11-11 12:04:48 -08:00
collin
33fae17b35 clippy lints 1 2020-11-10 16:23:55 -08:00
collin
a8c5885836 rename core-ast -> ast 2020-10-30 17:31:09 -07:00
collin
ffcd93f781 rename ast -> grammar 1 2020-10-30 17:17:17 -07:00
collin
7e7d1e58a0 rename typed -> core-ast 2 2020-10-30 11:48:40 -07:00
collin
f275a7cddf Batch changes for imports module 2020-10-27 13:13:16 -07:00
collin
46f585e2ff refactor compiler methods 2020-10-27 00:31:36 -07:00
collin
fe79cfcf71 merge master 2020-10-26 22:05:03 -07:00
collin
09d86576ea add import parsing to first pass of static check 2020-10-26 15:51:46 -07:00
collin
9933b8e336 impl dynamic checks for core packages 2020-10-26 12:24:24 -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
ce8e3f4978 rename variables and add docs 2020-09-30 14:06:56 -07:00
collin
d54749145b use import parser errors in compiler 2020-09-18 12:26:51 -07:00
collin
22422c1b55 create separate module for imports 2020-09-18 12:04:10 -07:00