Files

 master

/

src

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

gares

New attribute :replace

Mar 29, 2023

24cdb1b · Mar 29, 2023

History

History

This branch is 432 commits behind LPCIC/elpi:master.

/

src

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
legacy_parser		legacy_parser	fix legacy parser dune file	Apr 18, 2022
parser		parser	New attribute :replace	Mar 29, 2023
utils		utils	fix loc	Jun 2, 2022
API.ml		API.ml	RawQuery.mk_Arg is for compile time	Oct 7, 2022
API.mli		API.mli	API: add of_hyp	Sep 28, 2022
builtin.elpi		builtin.elpi	clarify doc of occurs	Apr 7, 2022
builtin.ml		builtin.ml	ocaml_set_conv	Jul 7, 2022
builtin.mli		builtin.mli	ocaml_set_conv	Jul 7, 2022
builtin_map.elpi		builtin_map.elpi	stdlib: set/map based on cmp_term	Oct 4, 2019
builtin_set.elpi		builtin_set.elpi	stdlib: set/map based on cmp_term	Oct 4, 2019
builtin_stdlib.elpi		builtin_stdlib.elpi	Improve behavior and error messages in nth	Nov 9, 2021
compiler.ml		compiler.ml	New attribute :replace	Mar 29, 2023
compiler.mli		compiler.mli	fix printer	Apr 1, 2022
data.ml		data.ml	ci: ocaml 5	Jun 30, 2022
dune		dune	install atd files	Jun 24, 2022
dune.config		dune.config	[build] disable legacy_parser by default, see make config	Apr 18, 2022
elpi-checker.elpi		elpi-checker.elpi	fix legacy parser	Mar 30, 2022
elpi-quoted_syntax.elpi		elpi-quoted_syntax.elpi	repair elpi2html	Jun 25, 2019
elpi.ml		elpi.ml	minor release exposing builtin_checker	Feb 8, 2020
elpi2html.elpi		elpi2html.elpi	tests: typecheck elpi-checker and elpi2html	Jun 26, 2019
elpi_trace_elaborator.ml		elpi_trace_elaborator.ml	fix CHR trace	Feb 28, 2023
legacy_parser_proxy.dummy.ml		legacy_parser_proxy.dummy.ml	new lexer & parser	Mar 29, 2022
legacy_parser_proxy.mli		legacy_parser_proxy.mli	new lexer & parser	Mar 29, 2022
legacy_parser_proxy.real.ml		legacy_parser_proxy.real.ml	fix legacy parser	Mar 30, 2022
ptmap.ml		ptmap.ml	new lexer & parser	Mar 29, 2022
ptmap.mli		ptmap.mli	rename files since packing is now made by dune	Jun 20, 2019
runtime.ml		runtime.ml	fix CHR trace	Feb 28, 2023
runtime.mli		runtime.mli	new lexer & parser	Mar 29, 2022
runtime_trace_off.ml		runtime_trace_off.ml	make ocaml-lsp-server work	May 1, 2021
runtime_trace_off.mli		runtime_trace_off.mli	make ocaml-lsp-server work	May 1, 2021
trace.atd		trace.atd	relocate elpi-trace-browser to src	Jun 24, 2022
trace_atd.ts		trace_atd.ts	Run dune build and check in modified files	Feb 19, 2023
View all files