@ciao-lang/ts-ciao-interface

Version:

Simple Ciao interface for node.

127 files

Filename	Content Type	Size
../
DebugFixp.html	text/html	3.73 kB
Debug_plai.html	text/html	7.18 kB
Infer1.html	text/html	2.84 kB
Plai0.html	text/html	4.21 kB
Plai1.html	text/html	2.69 kB
Punit.html	text/html	2.88 kB
Punit0.html	text/html	11.4 kB
Trust.html	text/html	6.51 kB
TypeWidening.html	text/html	5.53 kB
adding_new_domain.html	text/html	2.82 kB
aeq.html	text/html	22 kB
analyze_driver.html	text/html	26.7 kB
apply_assertions.html	text/html	32.8 kB
assertions_doc.html	text/html	55.2 kB
assertions_props.html	text/html	33.8 kB
auto_interface.html	text/html	30.4 kB
basic_props.html	text/html	93.6 kB
ciao-logo_autofig.png	image/png	28.2 kB
ciaopp-batch.html	text/html	3.02 kB
ciaopp-dump.html	text/html	3.61 kB
ciaopp.html	text/html	46.4 kB
ciaopp.htmlmeta	application/octet-stream	14 B
ciaopp_autofig.png	image/png	9.93 kB
ciaopp_batch.html	text/html	11.7 kB
ciaopp_batch_aux.html	text/html	9.62 kB
ciaopp_batch_report.html	text/html	2.09 kB
ciaopp_master.html	text/html	2.01 kB
ciaopp_ref_man.html	text/html	7.26 kB
ciaopp_ref_manchanges.html	text/html	9.55 kB
ciaopp_ref_mancopyright.html	text/html	4.57 kB
ciaopp_ref_manfulltoc.html	text/html	9.51 kB
ciaopp_ref_manintro.html	text/html	7.32 kB
ciaopp_ref_manrefs.html	text/html	18.9 kB
ciaopp_ref_mansearch.html	text/html	751 kB
ciaopp_worker.html	text/html	10.4 kB
ciaoppcl.html	text/html	6.37 kB
db_analysis.html	text/html	19.2 kB
debugging_in_ciaopp.html	text/html	38.7 kB
def.html	text/html	32.9 kB
deftypes.html	text/html	21.7 kB
depthk.html	text/html	20.8 kB
detplai.html	text/html	37.9 kB
diff.html	text/html	11.1 kB
domains.html	text/html	125 kB
eterms.html	text/html	101 kB
etermsvar.html	text/html	76.5 kB
fixpo_dd.html	text/html	48.6 kB
fixpo_plai.html	text/html	12.8 kB
fr_top.html	text/html	33.8 kB
frdef.html	text/html	33.3 kB
frontend_driver.html	text/html	36.9 kB
gr.html	text/html	24.9 kB
incanal.html	text/html	18.9 kB
incanal_db.html	text/html	23.4 kB
incanal_deletion.html	text/html	13.8 kB
incanal_driver.html	text/html	26.4 kB
incanal_persistent_db.html	text/html	11.2 kB
index.html	text/html	7.26 kB
infer.html	text/html	12.1 kB
infer_autofig.png	image/png	7.72 kB
intermod.html	text/html	23.5 kB
intermod_db.html	text/html	22.5 kB
intermod_entry.html	text/html	11.3 kB
intermod_punit.html	text/html	35.9 kB
intermod_schedule.html	text/html	17.1 kB
intermod_success.html	text/html	11.9 kB
lpdoc.css	text/css	39.3 kB
lpdoc.js	text/javascript	16.6 kB
lsign.html	text/html	36.4 kB
lsigndiff.html	text/html	33.1 kB
native.html	text/html	15 kB
native_props.html	text/html	4.54 kB
native_props_cardinality_doc.html	text/html	11.8 kB
native_props_cost_doc.html	text/html	44.8 kB
native_props_exceptions_doc.html	text/html	12.1 kB
native_props_nfdet_doc.html	text/html	25.5 kB
native_props_polyhedral_doc.html	text/html	5.71 kB
native_props_shfrg_doc.html	text/html	16.6 kB
native_props_sideff_doc.html	text/html	7.62 kB
nfplai.html	text/html	42.8 kB
nonrel_intervals.html	text/html	86.8 kB
p_unit.html	text/html	56.5 kB
part_assertions.html	text/html	3.05 kB
part_domains.html	text/html	15.8 kB
part_extensions.html	text/html	2.07 kB
part_fixpoint.html	text/html	9.42 kB
part_internals.html	text/html	8.8 kB
part_other_commands.html	text/html	2.05 kB
part_transformations.html	text/html	12.9 kB
part_usage.html	text/html	3.91 kB
pd.html	text/html	20.7 kB
pdb.html	text/html	20.9 kB
plai.html	text/html	13.6 kB
plai_autofig.png	image/png	13.9 kB
plai_db.html	text/html	51.4 kB
polyhedra.html	text/html	27.7 kB
preprocess_flags.html	text/html	29.3 kB
program_keys.html	text/html	40 kB
ptypes.html	text/html	21.5 kB
punit_autofig.png	image/png	14.2 kB
raw_printer.html	text/html	10.9 kB
regtypes_doc.html	text/html	19.6 kB
rtchecks_doc.html	text/html	12.6 kB
sharefree.html	text/html	48.5 kB
sharefree_amgu.html	text/html	31 kB
sharefree_clique.html	text/html	32.3 kB
sharefree_clique_def.html	text/html	21.3 kB
sharefree_non_var.html	text/html	21.7 kB
shareson.html	text/html	20.7 kB
sharing.html	text/html	38.3 kB
sharing_amgu.html	text/html	28.1 kB
sharing_clique.html	text/html	42.2 kB
sharing_clique_1.html	text/html	21.9 kB
sharing_clique_def.html	text/html	21.2 kB
shfret.html	text/html	35.3 kB
shfrlin_amgu.html	text/html	21.6 kB
shfrson.html	text/html	20.6 kB
sondergaard.html	text/html	35.4 kB
svterms.html	text/html	38.4 kB
tarjan_inc.html	text/html	11.3 kB
tasks_db.html	text/html	10.3 kB
termsd.html	text/html	92.2 kB
top_path_sharing.html	text/html	26.9 kB
tr_syntax.html	text/html	7.52 kB
trace_fixp.html	text/html	12.2 kB
transform_driver.html	text/html	12.3 kB
view_fixp.html	text/html	5.98 kB