Felipe G
|
eecbfca540
|
Merge pull request #432 from Kindelia/experimental
fix: updated hvm to fix the problem
|
2022-12-01 18:17:44 -03:00 |
|
felipegchi
|
46fdf753c4
|
fix: updated hvm to fix the problem
|
2022-12-01 18:16:33 -03:00 |
|
Felipe G
|
8ec30579ca
|
Merge pull request #431 from Kindelia/experimental
Fixed string problems
|
2022-12-01 17:11:02 -03:00 |
|
felipegchi
|
aa27e4aff7
|
feat: bumped version
|
2022-12-01 17:09:32 -03:00 |
|
felipegchi
|
3701e43ff8
|
test: added test to fix string
|
2022-12-01 17:05:17 -03:00 |
|
felipegchi
|
6724c8dff3
|
fix: string cons and nil are called when string is required
|
2022-12-01 16:58:33 -03:00 |
|
Felipe G
|
cdd08026d6
|
Merge pull request #430 from Kindelia/experimental
Added test for an issue
|
2022-12-01 16:44:37 -03:00 |
|
felipegchi
|
ff900370f8
|
fix: fixed test
|
2022-12-01 14:55:51 -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 |
|
Felipe G
|
a25a1a0e8d
|
Merge pull request #429 from Kindelia/experimental
Fixed README and kind binary
|
2022-12-01 11:35:26 -03:00 |
|
felipegchi
|
53f82b4f66
|
fix: readme and added rust-toolchain
|
2022-12-01 11:33:54 -03:00 |
|
felipegchi
|
023369a1c8
|
fix: fixed binary name in kind-cli
|
2022-12-01 11:27:33 -03:00 |
|
Felipe G
|
da2b235448
|
Merge pull request #407 from Kindelia/experimental
New architecture for the compiler
|
2022-12-01 11:27:09 -03:00 |
|
felipegchi
|
a92495f6f0
|
fix: changed to tids=1 in the type checker because snooze is causing some problems in HVM
|
2022-12-01 11:24:42 -03:00 |
|
felipegchi
|
297752fb0a
|
chore: bench for gen-checker
|
2022-12-01 11:17:45 -03:00 |
|
felipegchi
|
4a94d211d4
|
fix: to-hvm was throwing an error
|
2022-12-01 09:47:19 -03:00 |
|
felipegchi
|
b4e6bd8bad
|
chore: fixed workflow
|
2022-11-30 14:22:39 -03:00 |
|
Felipe G
|
20f1cc43ff
|
Merge pull request #428 from developedby/experimental
feat: Undo native U1120, partially add F60, refactor
|
2022-11-30 13:57:37 -03:00 |
|
Nicolas Abril
|
8614962426
|
Merge remote-tracking branch 'origin/experimental' into experimental
|
2022-11-30 17:56:11 +01:00 |
|
Nicolas Abril
|
2a2018ac8f
|
Fix kdl tests
|
2022-11-30 17:48:51 +01:00 |
|
felipegchi
|
e593b5dfdc
|
merge: with main
|
2022-11-30 13:44:20 -03:00 |
|
Nicolas Abril
|
b06dd3f64e
|
Fix kdl var linearization test
|
2022-11-30 17:44:02 +01:00 |
|
felipegchi
|
f54ebb901c
|
style: changed code style a little bit
|
2022-11-30 13:40:11 -03:00 |
|
Nicolas Abril
|
ae88843df0
|
Feat: Add U120.new compilation to kdl
|
2022-11-30 17:32:25 +01:00 |
|
Nicolas Abril
|
0f6cf15915
|
Merge remote-tracking branch 'refs/remotes/origin/experimental' into experimental
|
2022-11-30 16:31:47 +01:00 |
|
Nicolas Abril
|
f3e33792c2
|
Merge remote-tracking branch 'origin/experimental' into experimental
|
2022-11-30 16:13:03 +01:00 |
|
felipegchi
|
83165376bc
|
style: changed code style
|
2022-11-30 12:12:01 -03:00 |
|
Nicolas Abril
|
3030c0c6c3
|
Fix: fix kdl compilation of Lets, Apps and rule lhs
|
2022-11-30 15:58:04 +01:00 |
|
felipegchi
|
9f94818d41
|
style: added a lot of tests, benchmarks and fixed code style
|
2022-11-30 11:19:14 -03:00 |
|
Nicolas Abril
|
242f5324dc
|
Merge remote-tracking branch 'origin/experimental' into experimental
|
2022-11-30 14:37:54 +01:00 |
|
felipegchi
|
bd26cf3ce7
|
fix: change guide URLs
|
2022-11-29 13:57:46 -03:00 |
|
felipegchi
|
df27bb8190
|
tests: added tons of tests for kdl
|
2022-11-29 13:45:33 -03:00 |
|
felipegchi
|
6844cc2735
|
feat: added getter and setter derivings
|
2022-11-29 13:19:56 -03:00 |
|
felipegchi
|
b7b15e7590
|
fix: bug fixes and improvements in the code style
|
2022-11-29 11:23:34 -03:00 |
|
Nicolas Abril
|
3e216f2899
|
feat: Undo native U1120, partially add F60, refactor
|
2022-11-28 21:37:55 +01:00 |
|
felipegchi
|
3aec490f39
|
refactor: moved tests folder
|
2022-11-28 14:49:49 -03:00 |
|
felipegchi
|
4357ec0078
|
feat: simple inline
|
2022-11-28 14:24:28 -03:00 |
|
felipegchi
|
0b16e63eed
|
fix: some fixes
|
2022-11-28 11:29:25 -03:00 |
|
felipegchi
|
b5636ac6c0
|
fix: erasure checker
|
2022-11-28 11:09:34 -03:00 |
|
Felipe G
|
d7963982a0
|
Merge pull request #427 from developedby/experimental
feat: Add kdl term linearization and numeric ops compilation
|
2022-11-28 11:08:59 -03:00 |
|
Nicolas Abril
|
767225031d
|
Fix: fix kdl compilation, some formatting
|
2022-11-26 21:50:32 +01:00 |
|
Nicolas Abril
|
7de1ff1808
|
feat: Add compilation of U120 functions and others in Kdl
|
2022-11-26 20:30:57 +01:00 |
|
Nicolas Abril
|
85bb2d0655
|
fix: Format and rename some things
|
2022-11-26 16:41:34 +01:00 |
|
Nicolas Abril
|
30611936cd
|
feat: Add kdl term linearization
|
2022-11-26 16:35:29 +01:00 |
|
felipegchi
|
42d8baf03d
|
refactor: a lot of refactoring and implementation of flattening
|
2022-11-25 14:41:07 -03:00 |
|
felipegchi
|
8d7321b11a
|
refactor: a lot of refactoring and implementation of flattening
|
2022-11-25 14:40:23 -03:00 |
|
Felipe G
|
6ffc7e686e
|
Merge pull request #426 from developedby/experimental
feat: Add initial to-kdl compile function
|
2022-11-24 11:42:18 -03:00 |
|
Nicolas Abril
|
081d359958
|
Add initial to-kdl compile function
|
2022-11-24 15:26:26 +01:00 |
|
felipegchi
|
57cbe3a828
|
fix: fixed erasure
|
2022-11-24 11:01:41 -03:00 |
|
felipegchi
|
d1c536db01
|
fix: resolution of use expansions
|
2022-11-24 09:59:27 -03:00 |
|