Commit Graph

2063 Commits

Author SHA1 Message Date
imaqtkatt
d6a1995fb5
Merge pull request #671 from HigherOrderCO/666-whenever-a-test-in-examples-doesnt-compile-the-test-fails-instead-of-updating-the-snapshot
#666 Whenever a test in /examples doesn't compile, the test fails instead of updating the snapshot
2024-08-14 19:40:31 +00:00
Nicolas Abril
b69d1e4dcc
Merge pull request #672 from akashks1998/patch-1
Update README.md
2024-08-14 13:27:57 +00:00
Akash kumar singh
60efe8df3b
Update README.md
Co-authored-by: Nicolas Abril <y906846m@anonaddy.me>
2024-08-14 16:02:42 +05:30
Akash kumar singh
dd5bee41ed
Update README.md
Corrected the HVM2 paper's link
2024-08-14 15:48:04 +05:30
imaqtkatt
aacad7a6a6 Dont panic inside examples 2024-08-12 17:51:42 -03:00
Nicolas Abril
94d43978bc
Merge pull request #670 from HigherOrderCO/663-missing-information-on-contributingmd
#663 Missing information on CONTRIBUTING.md
2024-08-12 17:19:17 +00:00
imaqtkatt
6836c120ff Add install insta information 2024-08-12 13:45:24 -03:00
imaqtkatt
d2cc03eae1
Merge pull request #668 from HigherOrderCO/462-reenable-io-tests
#462 Reenable io tests
2024-08-12 14:04:20 +00:00
Nicolas Abril
c3d86e3f41
Merge pull request #669 from coder3112/grammar_error_doc
Fix grammar in dups-and-sups.md
2024-08-09 13:21:36 +00:00
Naitik Mundra
66e5da7d59
Fix grammar in dups-and-sups.md 2024-08-09 14:13:01 +02:00
imaqtkatt
5a5c52c212 Reenable io tests and modify write_file function 2024-08-08 15:23:54 -03:00
Nicolas Abril
23e086c5da
Merge pull request #649 from KunalSin9h/netsize
enable net_size_check by default with different max sizes for c and cuda
2024-08-08 16:53:24 +00:00
Nicolas Abril
efad3e62d3
Merge pull request #667 from In-Veritas/Gabriel
Add List equals and tail to the list.bend example
2024-08-08 16:52:18 +00:00
Gabriel Vérité
ea96b43be9 Add List equals and tail to list.bend 2024-08-08 18:41:56 +02:00
Kunal Singh
305c944619 update test snapshorts 2024-08-08 19:38:33 +05:30
Kunal Singh
2decd5d757 fix: clippy warning 2024-08-08 16:40:00 +05:30
Kunal Singh
431732bced fix: default compiler target to unknown 2024-08-08 16:33:07 +05:30
Kunal Singh
a167cf1205 fix: compiler target 2024-08-08 01:18:24 +05:30
Kunal Singh
c1859879a5 fix: decoupled bend lib and cli 2024-08-07 23:06:02 +05:30
imaqtkatt
dc14ed2e30
Merge pull request #661 from HigherOrderCO/657-make-io-functions-return-result
#657 Make IO functions return Result
2024-08-07 16:48:02 +00:00
Kunal Singh
8a394fc4e9 Merge branch 'main' into netsize 2024-08-07 22:11:44 +05:30
imaqtkatt
2a1f0774d7
Improve Result/unwrap docs
Co-authored-by: Nicolas Abril <nicolas@higherorderco.com>
2024-08-07 12:47:54 -03:00
Nicolas Abril
270f39ccdd
Merge pull request #662 from In-Veritas/main
Adds builtin functions Tree/reverse and Tree/to_list
2024-08-07 15:27:26 +00:00
Nicolas Abril
63ba5d2275
Fix spacing in builtins file 2024-08-07 17:24:30 +02:00
Gabriel Vérité
5ad9c72b7f Adds builtin functions Tree/reverse and Tree/to_list 2024-08-07 16:43:59 +02:00
imaqtkatt
7ef8ff9060 Update changelog 2024-08-07 10:52:03 -03:00
imaqtkatt
7280819bf3 Use unwrap in some io functions 2024-08-07 10:45:08 -03:00
imaqtkatt
ff7ff11b26 Update builtins to use io result 2024-08-07 09:38:36 -03:00
Nicolas Abril
b4a20f148d
Merge pull request #659 from HigherOrderCO/hvm-net-readback-var-conflict
Fix readback when hvm net has `a{n}` or `x{n}` vars
2024-08-06 17:47:03 +00:00
Nicolas Abril
ddfff57b91 Fix readback when hvm net has a{n} or x{n} vars 2024-08-06 14:18:15 +02:00
imaqtkatt
5c6eb841e4
Merge pull request #654 from HigherOrderCO/648-hexadecimal-and-binary-floating-point-numbers
#648 Hexadecimal and binary floating-point numbers
2024-08-05 16:05:50 +00:00
imaqtkatt
696ad66487 Update docs and changelog 2024-08-05 11:06:31 -03:00
imaqtkatt
edad990a76 Refactor use len function directly 2024-08-05 10:12:55 -03:00
imaqtkatt
96d84d5257 Skip underscore in fraction indexes 2024-08-05 08:57:18 -03:00
Nicolas Abril
848fd2b36e
Merge pull request #656 from Janiczek/patch-1
Fix fun syntax with/wrap example
2024-08-04 20:33:24 +00:00
Martin Janiczek
89de2e1cde
Fix misbalanced paren 2024-08-04 21:19:46 +02:00
Martin Janiczek
301462717f
Fix fun syntax with/wrap example 2024-08-04 20:47:15 +02:00
imaqtkatt
6e56b63e83 Apply clippy suggestions 2024-08-02 17:49:02 -03:00
imaqtkatt
dcc3642ab1 Change parse_number and fix float interpretation 2024-08-02 17:44:32 -03:00
imaqtkatt
c426087d09
Merge pull request #652 from HigherOrderCO/629-monadic-operations-inside-match-nested-inside-with-have-unexpected-behaviour
#629 Monadic operations inside match nested inside with have unexpected behaviour
2024-08-02 15:39:57 +00:00
imaqtkatt
e8d3782615 Update changelog 2024-08-02 11:33:56 -03:00
imaqtkatt
c8383d112b Add test with mismatched ask branches 2024-08-01 15:44:11 -03:00
imaqtkatt
7f7846134e Allow branches to end with ask statement 2024-08-01 09:57:02 -03:00
imaqtkatt
0b6070e44e
Merge pull request #651 from HigherOrderCO/636-with-blocks-give-a-false-error-when-the-bind-function-comes-from-an-import
#636 with blocks give a false error when the bind function comes from an import
2024-07-31 15:35:30 +00:00
imaqtkatt
fc7db0eaf1 Rename function 2024-07-30 18:41:14 -03:00
imaqtkatt
37290f661b Substitute imported type names 2024-07-30 18:37:50 -03:00
Kunal Singh
f40bcfa46c enalbe net_size_check by default with different max sizes for c and cuda 2024-07-27 12:55:20 +05:30
imaqtkatt
3e182caf25
Merge pull request #647 from HigherOrderCO/477-improve-error-message-when-failing-to-parse-a-top-level
#477 Improve error message when failing to parse a top level
2024-07-26 21:06:37 +00:00
imaqtkatt
646011ee0d Improve pattern parsing and rule parsing error messages 2024-07-26 12:05:45 -03:00
Nicolas Abril
1be093b405
Merge pull request #646 from neonWhiteout/patch-1
Update README.md
2024-07-26 00:29:39 +02:00