Kakadu
ae4d66df48
[tests] Repair tests in stdlib/regression
...
I was failing because leftover grep command that
filters out a warning about '.note.GNU-stack'
(No idea where it was fixed)
Signed-off-by: Kakadu <Kakadu@pm.me>
2025-01-09 10:35:26 +01:00
Roman Venediktov
bdd64b081b
Removed ld warning
2025-01-05 10:51:40 +01:00
Roman Venediktov
2dad84df22
Prohibit indirect assignments
2025-01-05 10:47:18 +01:00
Roman Venediktov
cfe325b121
Fixed movement of large constants
2025-01-05 10:47:18 +01:00
Roman Venediktov
4fdbb18843
Added failing if assembly compiler failed
2025-01-05 10:47:18 +01:00
Roman Venediktov
a4e297648c
Fixed placement of arguments for ".match_failure" call
2025-01-05 10:47:18 +01:00
Roman Venediktov
6e5315646a
Added fail in case of indirect assignment into register
2025-01-05 10:47:18 +01:00
Roman Venediktov
cec4ef252a
Fixed improper STA usage
2025-01-05 10:47:18 +01:00
Roman Venediktov
b8e5cfeb7b
Fixed \r escaping
2025-01-05 10:47:18 +01:00
Kakadu
5dfd0a3b43
Repair tests in regression
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-11-15 21:51:22 +03:00
Kakadu
c3cc26c0d3
Promote many regression tests
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-11-15 21:45:36 +03:00
Kakadu
708022fbd2
Repair tests in stdlib/regression
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-11-15 21:28:01 +03:00
Dmitry Boulytchev
81d1e710ec
Merged src/dune
2024-11-15 20:40:30 +03:00
Dmitry Boulytchev
751f55691c
Dune fix
2024-11-15 20:39:00 +03:00
Dmitry Boulytchev
bf74ca7acb
Merge pull request #29 from deker104/fix/build-files
...
Update build files to install standard library
2024-11-12 21:30:17 +03:00
deker104
91b18d023b
fix: update build files
...
Add `install` stanza to `dune` files to install std and runtime to
expected directories
Delete manual copying from `install` scenario in `Makefile`
2024-11-12 07:43:17 +00:00
Kakadu
5da0273afa
Add space after 'Version'
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-11-01 22:22:43 +03:00
Dmitry Boulytchev
09810470fc
Fixed paths
2024-11-01 22:16:30 +03:00
Kakadu
0553fc764d
Repair uninstall command
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-11-01 22:09:26 +03:00
Dmitry Boulytchev
d836301dd7
Merge pull request #28 from PLTools/more-dune
...
More dune
2024-09-13 03:34:06 +03:00
Kakadu
cd033ddbe3
Fixing mac build: negating Darwin ~~> OKaying linux
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-09-05 23:39:33 +03:00
Kakadu
8a8fc3432b
Disable x32 when os_type = Darwin
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-09-05 23:38:34 +03:00
Kakadu
59273f734e
Fix Makefile
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-09-05 19:36:55 +03:00
Kakadu
cee8955ca5
Improve opam file
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-09-05 19:12:39 +03:00
Kakadu
0ccc1c6e7d
Minor polishing
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-09-05 19:12:39 +03:00
Kakadu
39fa6c2be9
dunify in stdlib/regression
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-09-05 19:12:39 +03:00
Kakadu
d3d2535f97
Minor fixes of minor tools
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-09-05 19:12:39 +03:00
Kakadu
f6277da16e
Add cram tests in regressin directory
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-09-05 19:12:39 +03:00
Kakadu
e471b35ed0
More long tests in to separate directory
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-09-05 19:12:39 +03:00
Kakadu
d849a2e6c7
Cramify tests in regression/deep-expression
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-09-05 19:12:38 +03:00
Kakadu
b8d59c0309
Cramify tests in regression/expressions
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-09-05 19:12:38 +03:00
Kakadu
bd6dd12df3
Fix generation of tests for expressions
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-09-05 19:12:38 +03:00
Kakadu
a91f4824c4
Dunify tutorial
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-09-05 19:12:37 +03:00
Kakadu
3f7f51b2f0
Handle -march properly
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-09-05 19:12:37 +03:00
Kakadu
55d595600d
Fix script to generate tests
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-09-05 19:12:37 +03:00
Kakadu
e167734a27
WIP on dunifying tests
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-09-05 19:12:37 +03:00
Kakadu
3a10d4a2a6
Stdlib compiles twice
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-09-05 19:12:37 +03:00
Kakadu
092d5f2f33
WIP on more dune
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-09-05 19:12:37 +03:00
Kakadu
6761c1d0ef
CI: run install [skip ci]
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-09-05 19:12:11 +03:00
Kakadu
538299e781
CI: bump version of OCaml to 4.14.2
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-09-05 18:48:24 +03:00
Kakadu
b6b172509c
Fix CI
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-09-05 18:35:49 +03:00
Kakadu
725c766d8f
CI: enable for branches 1.30 and more-dune
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-09-05 18:34:39 +03:00
Dmitry Boulytchev
8a4ff68165
Intermediate step to X32/X86
2024-08-29 21:13:23 +03:00
Dmitry Boulytchev
172bd13037
Removed autogenerating files
2024-08-28 20:57:35 +03:00
Dmitry Boulytchev
c8a56b714b
Merge branch 'e2e4b6b7-1.30' into 1.30
2024-08-28 20:53:48 +03:00
Dmitry Boulytchev
84cf5fa97a
Merge
2024-08-28 20:53:27 +03:00
Dmitry Boulytchev
f51d063e52
Made x32 copy
2024-08-28 20:49:37 +03:00
Dmitry Boulytchev
50d28b12d4
Added tag
2024-08-28 20:45:52 +03:00
Roman Venediktov
5fe2f87809
Disable stdlib/test30 due to unstable behaviour
2024-07-11 15:43:09 +02:00
Roman Venediktov
59158909e0
Enabled both targets in github workflow
2024-07-11 15:21:18 +02:00