Files

 ad_ptr_merge

/

thorin

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

NeuralCoder3

hack to fix alpha equivalence

Jan 20, 2023

10f0cf2 · Jan 20, 2023

History

History

This branch is 85 commits ahead of, 1491 commits behind AnyDSL/MimIR:master.

#1

/

thorin

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
analyses		analyses	Merge remote-tracking branch 'origin/master' into ho_codegen	Dec 23, 2022
be		be	workaround for Doxygen warnings	Nov 26, 2022
fe		fe	Merge pull request AnyDSL#152 from AnyDSL/feature/ptrn_group	Nov 29, 2022
pass		pass	Merge remote-tracking branch 'origin/ho_codegen' into ad_ptr_merge	Dec 23, 2022
phase		phase	simplify	Dec 16, 2022
util		util	typo	Nov 9, 2022
CMakeLists.txt		CMakeLists.txt	fix missing builder	Oct 21, 2022
axiom.cpp		axiom.cpp	clang-format	Nov 25, 2022
axiom.h		axiom.h	docs	Nov 30, 2022
check.cpp		check.cpp	hack to fix alpha equivalence	Jan 20, 2023
check.h		check.h	Merge branch 'master' into arr_opt	Dec 5, 2022
config.h.in		config.h.in	missing cases	Jun 28, 2022
debug.cpp		debug.cpp	emit "<unknown location>" if location is unknown	Dec 6, 2022
debug.h		debug.h	emit "<unknown location>" if location is unknown	Dec 6, 2022
def.cpp		def.cpp	merge matrix	Jan 13, 2023
def.h		def.h	Merge branch 'master' into bugfix/axiom_curry	Nov 28, 2022
dialects.cpp		dialects.cpp	solved valgrind memory issues (pass by reference vs pass by value poi…	Nov 23, 2022
dialects.h		dialects.h	remove old pass interface	Nov 30, 2022
dump.cpp		dump.cpp	Merge branch 'master' into ad_ptr_merge	Nov 14, 2022
error.cpp		error.cpp	hack to fix alpha equivalence	Jan 20, 2023
error.h		error.h	clang-format	Oct 12, 2022
flags.h		flags.h	added --dump-recursive	Aug 5, 2022
lam.cpp		lam.cpp	removed confusing Lam::set(size_t, const Def*)	Jul 8, 2022
lam.h		lam.h	more sophisticated way to control trigger for normalizers/matches	Nov 25, 2022
lattice.cpp		lattice.cpp	all tests work again	Sep 24, 2022
lattice.h		lattice.h	refactor dynamic casts	Nov 6, 2022
rewrite.cpp		rewrite.cpp	just refactoring/simplifiny a couple of rewrite related things	Oct 26, 2022
rewrite.h		rewrite.h	just refactoring/simplifiny a couple of rewrite related things	Oct 26, 2022
tuple.cpp		tuple.cpp	clang-format	Nov 6, 2022
tuple.h		tuple.h	refactor dynamic casts	Nov 6, 2022
world.cpp		world.cpp	Merge remote-tracking branch 'origin/master' into ho_codegen	Dec 23, 2022
world.h		world.h	re-introduce raw_app to avoid recomputing dependent type	Nov 28, 2022
View all files