felipegchi
4067027420
fix: problem with u60 term in rule side and added Nat syntax sugar
2022-12-05 09:27:09 -03:00
felipegchi
46fdf753c4
fix: updated hvm to fix the problem
2022-12-01 18:16:33 -03:00
felipegchi
fa0d1b743b
fix: changed checker.hvm construtor from Term.u60 to Term.U60 and Term.num to Term.u60
2022-12-01 14:54:08 -03:00
felipegchi
e593b5dfdc
merge: with main
2022-11-30 13:44:20 -03:00
felipegchi
9f94818d41
style: added a lot of tests, benchmarks and fixed code style
2022-11-30 11:19:14 -03:00
felipegchi
b7b15e7590
fix: bug fixes and improvements in the code style
2022-11-29 11:23:34 -03:00
felipegchi
3aec490f39
refactor: moved tests folder
2022-11-28 14:49:49 -03:00
felipegchi
8d7321b11a
refactor: a lot of refactoring and implementation of flattening
2022-11-25 14:40:23 -03:00
Nicolas Abril
081d359958
Add initial to-kdl compile function
2022-11-24 15:26:26 +01:00
felipegchi
6dd1bffae2
feat(all): a lot of features and changed to HVM2
2022-11-23 13:08:02 -03:00
felipegchi
c91d6a09e8
wip: upgraded to hvm splitted into multiple crates and fixed code style of some parts of the compiler
2022-11-22 09:56:06 -03:00
felipegchi
2c9285ab94
fix: some fixes and cargo fmt
2022-11-15 13:28:48 -03:00
Nicolas Abril
32c8a6f2c2
Merge remote-tracking branch 'origin/experimental' into experimental
2022-11-10 16:27:50 +01:00
Felipe g
3dfc967327
style: format and fix clippy sugestions
2022-11-09 13:56:01 -03:00
Nicolas Abril
fcc4baaac8
feat: add u120 numbers to desugared tree
2022-11-07 12:22:37 +01:00
Nicolas Abril
88f6ac73b0
feat: Use hash of name instead of random chars for long kdl names
2022-10-26 14:29:46 +02:00
Felipe g
13f017c375
chore: removed query and macros from the toml because they're not being used
2022-10-14 13:13:58 -03:00
Felipe g
ef3097067e
chore: fmt
2022-10-13 08:26:21 -03:00
Felipe g
dbf740ff5b
chore: removed grammar and fixed lockfile
2022-10-09 15:16:05 -03:00
Felipe g
b09b544e55
refactor: started to refactor the entire compiler inspired in rustc
2022-10-04 14:02:44 -03:00
Nicolas Abril
69170c8c8c
Fix flattening of rules with nums
2022-10-03 10:22:04 +02:00
Felipe g
dd7b02f939
Added timeout in everything
2022-09-26 11:06:24 -03:00
Felipe g
e6d79950d9
Added configuration and some fixes
2022-09-21 13:05:53 -03:00
Felipe g
6706b4b1df
Code style improvements
2022-09-21 13:05:53 -03:00
Felipe g
1a02e2d1e3
Fix structure
2022-09-21 13:05:53 -03:00
Felipe g
bdd438b8f7
Finished split
2022-09-21 13:05:53 -03:00
Felipe g
b996312813
Changed structure
2022-09-21 13:05:53 -03:00
Felipe g
1e8b0024e3
Refactor
2022-09-21 13:05:53 -03:00
Nicolas Abril
65c4cd715f
Re-add special cases for U120.high and low
2022-09-07 21:44:29 -03:00
Nicolas Abril
7c09e0cbe9
Handle U120 properly on kindelia compilation
...
(U120.new num num) becomes a primitive num.
(U120.op num num) becomes a primitive op2.
Compilation fails on lhs (U120.new var _).
2022-09-07 21:11:43 -03:00
Nicolas Abril
fa24180cb6
More kindelia compiler improvements
...
Add rule flattening to the kindelia compiler.
The algorithm is copied from the HVM, but instead of `>
Fix a bug where the variable linearizer didn't unbind >
Reorganize some of the compilation code, adding other >
This doesn't check for code
2022-09-06 20:05:43 -03:00
Victor Maia
b5ad5d4e7f
Fix Kind2 unifier forgetting let equalities
2022-09-02 17:50:58 -03:00
Victor Maia
71d35d76cb
Unbound var check fixes
2022-08-30 22:20:52 -03:00
Victor Maia
751c74f658
Rebuild
2022-08-25 13:31:03 -03:00
Victor Maia
863cc496cc
Inc version and rebuild
2022-08-25 13:28:04 -03:00
Victor Maia
60cf29dfeb
Stringify string literals on Rust side
2022-08-17 21:42:45 -03:00
Victor Maia
a7c3b0ab7b
Implement HVM.log
2022-08-17 16:24:36 -03:00
Victor Maia
826e121674
Sigma.new syntax
2022-08-13 22:40:04 -03:00
Victor Maia
5a13856ada
Annotated lambdas
2022-08-13 22:20:15 -03:00
Victor Maia
710036dc5d
Sigma syntax sugar
2022-08-13 20:44:01 -03:00
Victor Maia
6d2054b57e
Update HVM
2022-08-11 14:48:26 -03:00
Victor Maia
e023947255
Omit most parenthesis; arrow lambda syntax (x => y)
2022-08-05 05:03:25 -03:00
Victor Maia
727e334609
Update HVM, reduction improvements
2022-07-27 19:59:40 -03:00
Victor Maia
e948648062
Fix stringifier and deriver
2022-07-27 17:26:04 -03:00
Victor Maia
7c1a7aa793
Stringify sugars and lists
2022-07-27 16:19:46 -03:00
Victor Maia
af1b3890d0
Proper reduction of default cases; fixes #32
2022-07-27 01:09:28 -03:00
Victor Maia
8303aeff36
Linearize variables on Kindelia compiler
2022-07-26 14:53:06 -03:00
Victor Maia
a8e9d02c68
Add missing type name
2022-07-25 22:42:13 -03:00
Victor Maia
edf9a9fdc5
Terminal IO
2022-07-24 14:16:59 -03:00
Victor Maia
1a39ce8cb9
Improve errors
2022-07-23 14:21:13 -03:00