2
I Use This!
Activity Not Available

Commits : Listings

Analyzed 8 months ago. based on code collected almost 4 years ago.
Apr 05, 2020 — Apr 05, 2021
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
(CI) Renamed jobs More... over 4 years ago
(core) towards merging foreign_interface libs with core_OC (continue) More... over 4 years ago
(core) towards merging foreign_interface libs with core_OC (continue) More... over 4 years ago
(CI) Job to activate rtchecks in ciaopp, renamed jobs More... over 4 years ago
(core) towards merging foreign_interface libs with core_OC More... over 4 years ago
(builder) Do not include engine__main twice (for OC) More... over 4 years ago
(CI) Fail build jobs if compilation error More... over 4 years ago
(provrml) do not depend on the 'iso' package More... over 4 years ago
(typeslib) Approximated regtype_basic_lattice:pure_type_term/1 More... over 4 years ago
(core) added 'version_data' prolog flag More... over 4 years ago
(core) added version_strings:version_parse/4 More... over 4 years ago
(lpdoc) Added manual entries for analysis with CiaoPP More... over 4 years ago
(core) avoid ungetc in peek byte, use internal stream buffer More... over 4 years ago
(core) debug code (commented out by default) in trace.pl to improve src location More... over 4 years ago
(core) peek byte in at_end_of_stream/{0,1} for improved ISO compatibility More... over 4 years ago
(core) rtchecks should not eat '?- ...' declarations More... over 4 years ago
(core) Show note message for modules compiled with the trace or debug packages More... over 4 years ago
(core) Implemented at_end_of_stream/{0,1} More... over 4 years ago
(core) Implemented peek_byte/{1,2} (ISO) More... over 4 years ago
(core) get_char/2, put_char/2, peek_char/2 accept stream aliases with iso.pl More... over 4 years ago
(core) clarified mut_exclusive (and related) documentation More... over 4 years ago
(core) Removed assertions/ copy from core_OC More... over 4 years ago
(core) make sure that use_package(tabling) can be used from a toplevel More... over 4 years ago
(core) Merged native_props with core_OC More... over 4 years ago
(unittest) better interface for results's statistics and status More... over 4 years ago
(ciaodbg) added new options for handling tests stdout and stderr in unittest More... over 4 years ago
(ciaodbg) added new options for handling tests stdout and stderr in unittest More... over 4 years ago
Added a job to CI to analyze Ciao with CiaoPP More... over 4 years ago
(core) Added call_det/2 predicate (compatible with gprolog) More... over 4 years ago
(core) Added type(_) open/4 option in iso.pl package More... over 4 years ago