Bretton
|
97b9ac648c
|
Add FFI version of SuiteB AES128 encrypt
|
2022-08-19 21:33:49 -07:00 |
|
Bretton
|
dd733f8155
|
FFI: Simplify array write function in marshalArg
|
2022-08-19 15:18:36 -07:00 |
|
Bretton
|
2f4b821eab
|
FFI: Add docs for nested sequences
|
2022-08-17 14:50:26 -07:00 |
|
Bretton
|
25fc1254a8
|
FFI: Add test for nested sequences
|
2022-08-17 14:33:00 -07:00 |
|
Bretton
|
d4768adeb3
|
FFI: Support nested sequences
|
2022-08-17 14:12:45 -07:00 |
|
Bretton
|
e8a9edc071
|
CI: Add macOS case for test-lib outputs
|
2022-08-12 20:31:17 -07:00 |
|
Bretton
|
00d5913a07
|
FFI: Fix imports when FFI disabled
|
2022-08-12 19:07:23 -07:00 |
|
Bretton
|
b525ada873
|
FFI: Fix getForeignSrcPath
|
2022-08-12 18:35:13 -07:00 |
|
Bretton
|
39cb718843
|
FFI: Define getForeignSrcPath when FFI disabled
|
2022-08-12 18:28:05 -07:00 |
|
Bretton
|
57a385b311
|
FFI: Print message when loading dynamic library
|
2022-08-12 17:58:04 -07:00 |
|
Bretton
|
807d376604
|
FFI: Refactor foreign loading code
|
2022-08-12 17:46:02 -07:00 |
|
Iavor S. Diatchki
|
8298ca3c64
|
Merge pull request #1376 from GaloisInc/ffi
Foreign Function Interface
|
2022-08-12 11:46:47 +03:00 |
|
Bretton
|
d933fa6307
|
FFI: Improve docs
|
2022-08-11 19:45:50 -07:00 |
|
Bretton
|
4fd7e175d9
|
FFI: Add test for runtime errors
|
2022-08-11 17:23:37 -07:00 |
|
Bretton
|
8a274d08b1
|
FFI: Don't panic in reference evaluator
Bind foreign functions to a Cryptol runtime error instead.
|
2022-08-11 17:22:10 -07:00 |
|
Bretton
|
9652cf49f4
|
FFI: Call proveImplication on validSchema in Infer
|
2022-08-11 17:04:50 -07:00 |
|
Bretton
|
65ba78802c
|
FFI: Add test for type errors
|
2022-08-11 16:28:14 -07:00 |
|
Bretton
|
46cb2f9ebf
|
Fix rangeWithin comparison
|
2022-08-11 16:25:16 -07:00 |
|
Bretton
|
60a342ad9f
|
FFI: Improve docs
|
2022-08-11 14:56:43 -07:00 |
|
Bretton
|
36fcdb3a93
|
FFI: Use upstream libffi
|
2022-08-11 13:35:17 -07:00 |
|
Bretton
|
0bc3bb74c5
|
FFI: Add docs
|
2022-08-11 12:26:48 -07:00 |
|
Bretton
|
8e4f749952
|
FFI: Formatting
|
2022-08-10 15:11:14 -07:00 |
|
Bretton
|
b301d66cbc
|
FFI: Revert CI CACHE_VERSION bump
|
2022-08-10 14:56:09 -07:00 |
|
Bretton
|
c6162c6a8e
|
FFI: Use evalFinType in marshalTyArg
|
2022-08-10 14:52:58 -07:00 |
|
Bretton
|
7ae7489553
|
FFI: Add test for reloading with new changes
|
2022-08-10 14:29:44 -07:00 |
|
Bretton
|
33fd5c235a
|
FFI: Define ForeignSrc when FFI disabled
|
2022-08-10 01:13:20 -07:00 |
|
Bretton
|
6cc5cec191
|
FFI: Add explicit reloading and refactor eval code
|
2022-08-09 18:59:06 -07:00 |
|
Iavor Diatchki
|
3509438aa0
|
Fix test
|
2022-08-08 10:49:54 +03:00 |
|
Iavor Diatchki
|
d529c16b70
|
Don't allow wild cards in FFI declarations.
We didn't allow them anyway, but this gives a more precise error.
|
2022-08-08 10:19:07 +03:00 |
|
Bretton
|
70fc5e2ff5
|
FFI: Add more tests
|
2022-08-05 16:49:56 -07:00 |
|
Bretton
|
8827a5b0ab
|
FFI: Move CI ffi test check to test job
|
2022-08-05 15:14:36 -07:00 |
|
Bretton
|
5c2a409b36
|
Merge branch 'master' into ffi
|
2022-08-05 14:36:59 -07:00 |
|
Bretton
|
fb7c9894f8
|
FFI: Add libffi package fork as submodule
|
2022-08-05 14:05:14 -07:00 |
|
Bretton
|
d7a9cfe1a9
|
FFI: Revert changes to cryptol-remote-api.cabal
|
2022-08-05 13:57:28 -07:00 |
|
Bretton
|
6b1210d37c
|
FFI: Revert dynamic linking hacks for linux
|
2022-08-05 13:54:38 -07:00 |
|
Bretton
|
59f0b30a0c
|
FFI: Print whether FFI is enabled in -v/:v command
|
2022-08-04 20:39:09 -07:00 |
|
Bretton
|
9efd822614
|
FFI: Canonicalize module path for finding dylib
|
2022-08-04 18:51:41 -07:00 |
|
Bretton
|
65cb428010
|
FFI: Copy libffi to bin
|
2022-08-04 13:56:17 -07:00 |
|
Iavor Diatchki
|
9d68dc91ae
|
Add a note that the documentation of parameterized modules
is about the upcoming version
|
2022-08-04 14:40:33 +03:00 |
|
Iavor Diatchki
|
c8e499cc1e
|
Improvements to reference manual
|
2022-08-04 14:37:15 +03:00 |
|
Bretton
|
ae843a0f55
|
FFI: Add integral and float tests
|
2022-08-03 22:44:12 -07:00 |
|
Bretton
|
6366447fb1
|
FFI: Add ffi flag for cryptol-remote-api
|
2022-08-03 18:12:39 -07:00 |
|
Bretton
|
3fb609db72
|
FFI: add ghc libffi for other cryptol executables
|
2022-08-03 17:45:59 -07:00 |
|
Bretton
|
7f904e0bfa
|
FFI: copy libffi to dist/lib/ and cryptol/../lib
|
2022-08-03 16:55:51 -07:00 |
|
Bretton
|
1b36a13a59
|
FFI: Fix linker flags
|
2022-08-03 15:42:20 -07:00 |
|
Bretton
|
8d28f59f26
|
FFI: Try linking against ghc's libffi at runtime
|
2022-08-03 14:56:27 -07:00 |
|
Bretton
|
7294acc805
|
FFI: Set up tests
|
2022-08-02 19:31:33 -07:00 |
|
Bretton
|
e4880c979d
|
FFI: Refactor eval code and add comments
|
2022-08-01 16:30:20 -07:00 |
|
Bretton
|
5d41a824c4
|
FFI: Remove duplicate type constraint errors
|
2022-07-29 15:18:34 -07:00 |
|
Bretton
|
45dfcaac25
|
FFI: Add size polymorphism and improve type errors
|
2022-07-28 21:17:48 -07:00 |
|