| .. |
|
breduce
|
c37d24d8ba
Working on SMT in Nancy. Redlog help system is WIP but stable.
|
7 vuotta sitten |
|
casefold
|
24b985f0d2
Bring Jlisp closer to being able to profile the system
|
9 vuotta sitten |
|
emacs
|
c840570414
reduce-run.el package-name completion, etc.
|
4 vuotta sitten |
|
libreduce
|
edd6595002
A further round of updates to configure.ac. autoconf 2.61 is (I think)
|
3 vuotta sitten |
|
newfront
|
6f950b1366
Update autogen.sh with the hope that this will make "./configure --with-both"
|
3 vuotta sitten |
|
qreduce
|
c138b9a29b
qreduce was completely broken. This is work in progress.
|
10 vuotta sitten |
|
rbench
|
040b5656ba
Simplified call to reduce and log stderr
|
2 vuotta sitten |
|
redfront
|
edd6595002
A further round of updates to configure.ac. autoconf 2.61 is (I think)
|
3 vuotta sitten |
|
rlsmt
|
001ece4cdd
A new, simpler rlsmt script
|
2 vuotta sitten |
|
texmacs
|
1d46d384be
Reduce plugin for TeXMacs:
|
3 vuotta sitten |
Thomas Sturm
040b5656ba
Simplified call to reduce and log stderr