Commit Graph

620 Commits

Author SHA1 Message Date
Yan Mendes
e5a653e5d2
Update links etc 2024-06-28 12:31:06 -03:00
Yan Mendes
2b27749200
added disclaimer 2024-05-16 23:22:48 -03:00
Yan Mendes
2d8ec862dc
update to kind1 2024-05-16 15:29:56 -03:00
Yan Mendes
114ea8bf47
Fixed wrong email name 2023-09-10 17:46:27 -03:00
Yan Mendes
40ef889ae5
Fixed old links 2023-09-10 17:45:55 -03:00
Yan Mendes
0290346ad3
Merge pull request #580 from DenisGorbachev/patch-1
Fix a typo
2023-09-10 17:38:20 -03:00
Denis Gorbachev
d1860024dc
Fix a typo 2023-09-02 11:51:34 +07:00
Nicolas Abril
a495fa105f
Merge pull request #579 from HigherOrderCO/578-undeclared-alias-crash
fix: remember to stop file processing on unknown alias
2023-06-05 17:19:47 +02:00
Nicolas Abril
375f801b3e fix: remember to stop file processing on unknown alias 2023-06-05 17:19:05 +02:00
Nicolas Abril
8c81e8b7b2 test: Update test result for earlier compile failure 2023-05-31 13:58:16 +02:00
Nicolas Abril
6c73ffaf05 Bump kind version to 0.3.11 for bin and 0.1.4 for libs 2023-05-31 13:58:02 +02:00
Nicolas Abril
7ac46c9f34 feat: bump hvm version to 1.0.9 2023-05-31 13:42:18 +02:00
Nicolas Abril
b59b1d7933 fix: Properly fail on expasion errors 2023-05-31 13:40:29 +02:00
Nicolas Abril
1d5d055ba1 refactor: Remove mutual recursive function that only made file resolution more complicated 2023-05-31 13:40:03 +02:00
Nicolas Abril
f4277f969c
Merge pull request #577 from HigherOrderCO/576-driver-resolution
refactor: Clean up file loading and name resolution module
2023-05-12 20:38:25 +02:00
Nicolas Abril
d3cac034fe fix: Undo accidental behaviour change on name to path resolution 2023-05-12 20:33:45 +02:00
Nicolas Abril
73ac68860c refactor: Clean up file loading and name resolution module 2023-05-12 19:13:10 +02:00
Sofia Rodrigues
678bcf4353
merge: pull request #575 from HigherOrderCO/572-update-basic-function-names-for-kindex-update
Update basic function names for kindex update
2023-05-11 08:30:26 -03:00
Sofia R
e291a1d762 build: bump version 2023-05-11 08:26:38 -03:00
Sofia Rodrigues
6022631787
merge: pull request #570 from developedby/fn-renames
Update basic function names for Kindex update
2023-05-11 08:17:34 -03:00
Sofia Rodrigues
2c8701ccc9
merge: pull request #569 from HigherOrderCO/567-add-flag-to-show-immediate-dependencies
Feat transformed into a comment
2023-05-10 14:16:04 -03:00
Sofia R
5105ebf09c feat: transformed into a comment 2023-05-10 14:11:28 -03:00
Nicolas Abril
dd2ec2c626 feat: Update checker.hvm for new Kindex organization 2023-05-10 11:08:51 +02:00
Nicolas Abril
bec7490b0d tests: Update test results for new Kindex organization 2023-05-10 11:08:24 +02:00
Nicolas Abril
69ea11eaa2 feat: Update tests to use expected names of types according to Kindex update 2023-05-10 09:34:10 +02:00
Nicolas Abril
e7c0371373 feat: Update basic function names for Kindex update 2023-05-09 23:19:47 +02:00
Yan Mendes
4d062a842e
Fix kind install 2023-05-09 18:14:47 -03:00
Yan Mendes
2db12fb88c
Fix kind install 2023-05-09 18:13:39 -03:00
kings177
b09fadd441 Fixed broken links 2023-05-09 17:37:37 -03:00
Yan Mendes
d14ca121ed
Fixed broken links 2023-05-09 17:30:05 -03:00
Nicolas Abril
f1979a2021 style: Apply some clippy and fmt suggestions 2023-05-09 17:45:33 +02:00
Nicolas Abril
16d062e73a
Merge pull request #566 from developedby/run-session
Move running kind inside a session to kind-driver
2023-05-09 17:02:06 +02:00
Nicolas Abril
e95be4715a Merge remote-tracking branch 'origin/master' into run-session 2023-05-09 16:52:16 +02:00
Sofia Rodrigues
5d6055223e
merge: pull request #568 from HigherOrderCO/567-add-flag-to-show-immediate-dependencies
feat: add flag
2023-05-09 11:30:07 -03:00
Sofia R
fcac3f3df8 feat: add flag 2023-05-09 11:26:29 -03:00
Nicolas Abril
0fdcff3a11 feat: Move running kind inside a session to kind-driver 2023-05-09 15:39:57 +02:00
Sofia Rodrigues
2d0cda4faa
merge: pull request #565 from HigherOrderCO/564-new-panic-hook-for-the-language
Panic hook
2023-05-08 20:21:19 -03:00
Sofia R
118702c83a feat: panic hook 2023-05-08 20:19:53 -03:00
Sofia Rodrigues
fb550066a2
merge: pull request #563 from HigherOrderCO/562-add-flag-to-remove-dependency-errors
Feat added flag to remove error dependenies
2023-05-08 17:05:35 -03:00
Sofia R
ccbca71f59 feat: improved error message for fails 2023-05-08 17:04:40 -03:00
Sofia R
a8d0004fdd feat: added flag to remove error dependenies 2023-05-08 17:02:02 -03:00
Sofia Rodrigues
329ce529b2
merge: pull request #561 from HigherOrderCO/560-add-slash-on-the-end-of-identifiers-as-another-type-of-use
Added '/' with empty right side
2023-05-08 17:01:16 -03:00
Sofia R
956b12d372 feat: added '/' with empty right side 2023-05-08 10:54:43 -03:00
Sofia Rodrigues
9a44360bbe
merge: pull request #555 from HigherOrderCO/552-add-new-type-of-error-messages-used-for-llms
Fix bug with position inside compact messages
2023-05-01 10:00:45 -03:00
Sofia R
be267ed399 fix: bug with position 2023-05-01 10:00:03 -03:00
Sofia Rodrigues
cc14180a01
merge: pull request #554 from HigherOrderCO/552-add-new-type-of-error-messages-used-for-llms
Add new type of error messages used for llms
2023-04-30 10:03:26 -03:00
Sofia R
ceb2e39999 bump: version 2023-04-30 10:02:52 -03:00
Sofia R
c50e8b8ebe style: improved code style 2023-04-30 10:02:00 -03:00
Sofia Rodrigues
3a2ae5e93d
Merge pull request #553 from HigherOrderCO/552-add-new-type-of-error-messages-used-for-llms
Add new type of error messages used for llms
2023-04-30 09:56:47 -03:00
Sofia R
d184e30701 feat: another mode for compact error messages 2023-04-30 00:24:20 -03:00