| Thu, 19 Nov 2020 17:50:14 +0100 |
wenzelm |
more robust library_call (again): dynamic file name, static symbol;
|
file |
diff |
annotate
|
| Fri, 06 Nov 2020 14:32:42 +0100 |
wenzelm |
prefer static library_call (again): avoid memory-leak within C code area;
|
file |
diff |
annotate
|
| Sun, 01 Nov 2020 17:39:51 +0100 |
wenzelm |
back to dynamic library_call: not quite portable, e.g. different Windows installations (see e0c6522d5d43, 7cb68b5b103d)
|
file |
diff |
annotate
|
| Sun, 01 Nov 2020 15:31:41 +0100 |
wenzelm |
proper build_call for interpreted ARM platform;
|
file |
diff |
annotate
|
| Sun, 01 Nov 2020 14:30:09 +0100 |
wenzelm |
prefer static library_call, following recent changes to structure Foreign;
|
file |
diff |
annotate
|
| Sat, 05 May 2018 21:44:18 +0200 |
wenzelm |
hexadecimal representation of byte string;
|
file |
diff |
annotate
|
| Thu, 14 Dec 2017 14:34:56 +0100 |
wenzelm |
proper exception;
|
file |
diff |
annotate
|
| Fri, 21 Oct 2016 16:46:02 +0200 |
wenzelm |
updated to new structure Foreign;
|
file |
diff |
annotate
|
| Mon, 17 Oct 2016 15:46:51 +0200 |
wenzelm |
accomodate Poly/ML repository version, which treats singleton strings as boxed;
|
file |
diff |
annotate
|
| Sat, 02 Apr 2016 21:10:07 +0200 |
wenzelm |
careful export of type-dependent functions, without losing their special status;
|
file |
diff |
annotate
|
| Thu, 24 Mar 2016 13:08:12 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 18 Mar 2016 17:11:30 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 18 Mar 2016 16:26:35 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 24 Jul 2014 10:38:46 +0200 |
wenzelm |
less authentic SHA1.digest: trust Scala side on blobs and avoid re-calculation via Foreign Language Interface, which might be a cause of problems;
|
file |
diff |
annotate
|
| Sun, 13 Mar 2011 20:21:24 +0100 |
wenzelm |
explicit type SHA1.digest;
|
file |
diff |
annotate
|
| Sun, 07 Mar 2010 15:51:29 +0100 |
wenzelm |
Digesting strings according to SHA-1.
|
file |
diff |
annotate
|