| .. |
|
bdwgc
|
bdwgc: Update library to version 7.6.8.
|
2019-01-12 20:21:19 +01:00 |
|
c
|
Merge branch 'unix-signal' into 'develop'
|
2019-03-15 19:26:56 +00:00 |
|
clos
|
defclass: make sure that defclass option "NIL" errors
|
2019-02-24 12:15:27 +01:00 |
|
cmp
|
use correct unnormalized values for minimum float constants
|
2019-02-13 20:24:26 +01:00 |
|
doc
|
Merge branch 'unix-signal' into 'develop'
|
2019-03-15 19:26:56 +00:00 |
|
ecl
|
expt: use pow function for floating point numbers
|
2019-02-12 22:37:23 +01:00 |
|
gmp
|
gmp: issue autoreconf -ivf (fixes ppc64le builds)
|
2015-09-02 15:59:18 +02:00 |
|
h
|
use correct unnormalized values for minimum float constants
|
2019-02-13 20:24:26 +01:00 |
|
libffi
|
libffi: use unified assembler syntax to allow building libffi on arm with clang
|
2019-01-04 16:15:25 +01:00 |
|
lsp
|
Merge branch 'unix-signal' into 'develop'
|
2019-03-15 19:26:56 +00:00 |
|
newcmp
|
remove trash file
|
2017-09-29 20:07:47 +02:00 |
|
tests
|
defstruct: disallow defining structures of incompatible layouts
|
2019-02-08 20:45:55 +01:00 |
|
util
|
update installation instructions for recent Android NDKs and support ARM64
|
2019-01-12 22:51:17 +01:00 |
|
aclocal.m4
|
expt: use pow function for floating point numbers
|
2019-02-12 22:37:23 +01:00 |
|
bare.lsp.in
|
The ECL code no longer uses tabulator characters, they were replaced
|
2015-09-03 07:35:47 -04:00 |
|
compile.lsp.in
|
ansi conformance: remove spurious package nicknames
|
2019-03-15 19:22:35 +00:00 |
|
config.guess
|
Upgrade config.guess and config.sub to newer versions
|
2013-03-30 23:29:22 +01:00 |
|
config.sub
|
Upgrade config.guess and config.sub to newer versions
|
2013-03-30 23:29:22 +01:00 |
|
configure
|
expt: use pow function for floating point numbers
|
2019-02-12 22:37:23 +01:00 |
|
configure.ac
|
expt: use pow function for floating point numbers
|
2019-02-12 22:37:23 +01:00 |
|
install.sh
|
Initial revision
|
2001-06-26 17:14:44 +00:00 |
|
Makefile.in
|
build libecl.so with soname on Android
|
2019-01-12 22:51:59 +01:00 |