Files

sledge

and

Feb 24, 2025

2801ae3 · Feb 24, 2025

Name	Name	Last commit message	Last commit date
parent directory ..
bin	bin	Revert "rm sledge/"	Feb 7, 2025
cli	cli	[sledge] make fmt	Feb 24, 2025
model	model	Revert "rm sledge/"	Feb 7, 2025
nonstdlib	nonstdlib	[sledge] build with OCaml 5	Feb 24, 2025
ppx_dbg	ppx_dbg	[sledge] make fmt	Feb 24, 2025
report	report	[sledge] make fmt	Feb 24, 2025
semantics	semantics	Revert "rm sledge/"	Feb 7, 2025
src	src	[sledge] build with OCaml 5	Feb 24, 2025
test	test	[sledge] make fmt	Feb 24, 2025
tools	tools	Revert "rm sledge/"	Feb 7, 2025
vendor	vendor	[sledge] add mechanism to send extra link flags to llvm-dune	Feb 24, 2025
.clang-format	.clang-format	Revert "rm sledge/"	Feb 7, 2025
.gitignore	.gitignore	[sledge] ask llvm-config what extra linking flags we should add to dune	Feb 24, 2025
.ocamlformat	.ocamlformat	Revert "rm sledge/"	Feb 7, 2025
.ocp-indent	.ocp-indent	Revert "rm sledge/"	Feb 7, 2025
HACKING.adoc	HACKING.adoc	Revert "rm sledge/"	Feb 7, 2025
Makefile	Makefile	[sledge] add mechanism to send extra link flags to llvm-dune	Feb 24, 2025
ROADMAP.org	ROADMAP.org	Revert "rm sledge/"	Feb 7, 2025
TODO.org	TODO.org	Revert "rm sledge/"	Feb 7, 2025
dune	dune	[sledge] build with OCaml 5	Feb 24, 2025
dune-project	dune-project	Revert "rm sledge/"	Feb 7, 2025
dune-workspace	dune-workspace	[sledge] build with OCaml 5	Feb 24, 2025
sledge-help.txt	sledge-help.txt	remove sledge_buck to be able to upgrade to OCaml 5	Feb 24, 2025