Jim Newton (77e0fc47) at 26 Aug 11:51
extended to include 4 arg version of tree-fold
... and 1 more commit
Jim Newton (0944536b) at 23 Aug 16:40
small optimization, remove unnecessary call in some cases
Jim Newton (cf3c6faf) at 23 Aug 11:33
optimization in mdtd
Jim Newton (87e7a443) at 22 Aug 17:00
optimization in mdtd
Jim Newton (56018d18) at 14 Apr 16:09
added conversion-C17
Jim Newton (b7a607ad) at 08 Mar 08:45
white space
Jim Newton (35e46348) at 02 Mar 09:30
merged functions group-map-set and group-map
Jim Newton (cbc96034) at 01 Mar 18:05
refactored code using group-by-mapped to use group-map-set
Jim Newton (3aa8ad1f) at 01 Mar 17:45
duplicate function
Jim Newton (31281ac9) at 26 Feb 18:00
debugging
Jim Newton (380987cd) at 26 Feb 15:29
implemented remove-epsilon-transitions, trim, coaccessible
Jim Newton (3c62d262) at 26 Feb 14:53
update mdtd to register that :sigma is a factor of :sigma and :empt...
... and 3 more commits
Jim Newton (1020f2c0) at 26 Feb 09:33
Merge branch 'master' of gitlab.lrde.epita.fr:jnewton/clojure-rte
... and 8 more commits
Jim Newton (8e7dd7d8) at 08 Feb 18:16
added test
Jim Newton (ea541e87) at 11 Oct 16:13
changed method for finding two unequal types
Jim Newton (dbf413c4) at 11 Oct 16:13
changed method for finding two unequal types
... and 5 more commits