ecta: A library for Equality-Constrained Tree Automata

Name	Name	Last commit message	Last commit date
Latest commit Tritlo and jkoppel Remove Debug.Trace Nov 6, 2022 37f167a · Nov 6, 2022 History 124 Commits
app	app	performance improvement for many mu implementation	Jul 20, 2022
benchmarks	benchmarks	Small benchmark addition, comment on memoization opportunity, comment…	Sep 10, 2021
scripts	scripts	add author info, change executable name, prepare for package upload	Jul 21, 2022
src	src	Remove Debug.Trace	Nov 6, 2022
test	test	fix unit tests	Jul 22, 2022
.gitignore	.gitignore	more eval scripts	Jul 20, 2022
ChangeLog.md	ChangeLog.md	Initial commit	Jun 14, 2021
LICENSE	LICENSE	Remove stray word from LICENSE	Aug 1, 2022
README.md	README.md	Changing title in README.md	Jul 22, 2022
Setup.hs	Setup.hs	Initial commit	Jun 14, 2021
ecta.cabal	ecta.cabal	Bump version to reflect change	Nov 6, 2022
package.yaml	package.yaml	migrate to equivalence-0.4.1	Jul 27, 2022
stack.yaml	stack.yaml	migrate to equivalence-0.4.1	Jul 27, 2022
stack.yaml.lock	stack.yaml.lock	migrate to equivalence-0.4.1	Jul 27, 2022

Provide feedback