Skip to content
GitLab
Explore
Sign in
Jim Newton
regular-type-expression
Repository
Branches
Overview
Active
Stale
All
implementation-of-not
73e4dde5
·
changed name from prune to trim-state-machine,
·
May 16, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
bdd
c89eba0b
·
some comments
·
Feb 08, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
typecase
3973dbd5
·
refactored simpler
·
Dec 22, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
weak-hash
8d2b306e
·
lower case function names in plot gnu files
·
Jan 12, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cl-robdd
07736636
·
fixed broken profiler test
·
Jun 19, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
subtypep
c87b8042
·
using explicit arguments
·
Sep 09, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
reduce-state-machine
33a3485c
·
updated documentation
·
Nov 03, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
synchronized-product
f280768c
·
updated test case
·
Nov 10, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cnf
eddb3838
·
added cnf-statistics
·
Feb 02, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
bdd-random-permutation
db9c0ee8
·
Scatter search: Finished first version of scatter search (unoptimized, tested)
·
Apr 30, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
continuations
54ea0d52
·
experimenting with build.sbt
·
Jul 13, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
parallel-fold
f75b9acd
·
case for iterator
·
Aug 06, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
reduce-redundant
e6bbbb82
·
changed capitalization
·
Sep 25, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
dump-code-strategies
a78eebf3
·
using locally to isolate import
·
Oct 16, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
type-class
c0acc554
·
added performance test case
·
Oct 28, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
bdd-performance
ea374176
·
copying data to fold-performance directory
·
Nov 15, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
operation-memoize
e20ec45f
·
Merge branch 'master' into operation-memoize
·
Dec 12, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
export-to-quicklisp
502a46e2
·
Merge branch 'master' into export-to-quicklisp
·
Jan 11, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
auto-test-scala
dc92568c
·
different apt-git installs for cl vs scala pipeline
·
Feb 18, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
graph-coloring
44e479fa
·
removing some diagnostics
·
Feb 27, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
Next