3460 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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