Skip to content
GitLab
Explore
Sign in
Jim Newton
regular-type-expression
Repository
Branches
Overview
Active
Stale
All
master
default
protected
c302a26e
·
updated .gitignore
·
Aug 13, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
gaussian-integer
9541bb83
·
better false messages
·
Jul 25, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
limit-random-tests
b4f3f8be
·
fewer tests
·
Apr 07, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
scala-experimentation
db1b42db
·
end of use for this branch. lightning talk is passed
·
Mar 28, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mdtd
d05e87f4
·
test cases
·
Feb 13, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
RTEStatistics
e44357ba
·
changed depth of test
·
Dec 14, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
back-annotate
e2d5112c
·
pre-merge
·
Dec 02, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
spanning-path
4cd9a116
·
TODO comments
·
Nov 09, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
assert-world-view
580d0069
·
fixed some missing parens
·
Nov 08, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
team-days-oct-2022
abb2acc2
·
tweaks for presentation
·
Oct 28, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
nfa
e6dbe3e1
·
new branch
·
Oct 11, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
padl-2023
7fdcb530
·
Merge branch 'master' into padl-2023
·
Oct 05, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
folo
4e0b3f97
·
added example of eqv classes
·
Sep 16, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
folo-examples
328bfd01
·
list of numbers
·
Sep 12, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fix-trim
e82b9256
·
added test
·
Sep 10, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ifl-2022
9818080d
·
Merge branch 'master' into ifl-2022
·
Sep 03, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
thompson
b8fa74ec
·
reduce test size
·
Feb 19, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lazy-dfa
20ed623c
·
removing source from Transition class, changed Fids to accepingStates/reader acceping/constructor
·
Sep 29, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
eqv-member
1032eb0d
·
Merge branch 'eqv-member-2' into eqv-member
·
Aug 31, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
eqv-member-2
03631de3
·
commented out some slow tests
·
Aug 31, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
Next