2
I Use This!
Activity Not Available

Commits : Listings

Analyzed about 1 year ago. based on code collected over 4 years ago.
Apr 05, 2020 — Apr 05, 2021
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Update stable version tag More... about 2 years ago
(core) p_unit: avoid modedef expansions in test assertions More... about 2 years ago
(core) do not expand modes in 'test' assertions More... about 2 years ago
(ciaodbg) missing NOCOMPILE More... about 2 years ago
(core) minor fixes in assertions More... about 2 years ago
(core) allow copying symlinks in source_tree More... about 2 years ago
(core) p_asr: do not apply goal expansions in assertion heads More... about 2 years ago
(core) fixed assertions in clpfd library More... about 2 years ago
(lpdoc) missing modes package More... about 2 years ago
(core) suggest adding modes package on unrecognized assertion head syntax warnings More... about 2 years ago
(builder) fix assertion in detcheader.pl More... about 2 years ago
(ciaodbg) missing change More... about 2 years ago
(ciaodbg) Rename profiler by profilercc (cost-center version) More... about 2 years ago
(ciaodbg) Rename profiler by profilercc (cost-center version) More... about 2 years ago
(ciaodbg) disable use of experimental inliner in profiler More... about 2 years ago
(core) moved experimental inliner to contrib More... about 2 years ago
(core) reset mexpand errors, etc. when needed in p_asr, end msg brace More... about 2 years ago
Update stable release More... about 2 years ago
(builder) ciao publish commands to manage tags More... about 2 years ago
(builder) publish instructions moved to docs More... about 2 years ago
(core) fix p_unit/p_asr warnings More... about 2 years ago
(lpdoc) missing file More... about 2 years ago
(ciao_playground) runnable code section was moved to lpdoc, remove duplicated text More... about 2 years ago
(lpdoc) moving runnable section after the assertions and example are described More... about 2 years ago
(lpdoc) document markdown syntax More... about 2 years ago
(lpdoc) Minor improvements to Runnables.pl More... about 2 years ago
(lpdoc) Minor improvements to Runnables.pl More... about 2 years ago
(lpdoc) pass over runnables More... about 2 years ago
(core) disabled rtchecks_pretty inline test More... about 2 years ago
(core) merge all p_unit database modules and some common code More... about 2 years ago