1
I Use This!
Activity Not Available

Commits : Listings

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