Ciao Programming Language

Settings | Report Duplicate

2

I Use This!

Activity Not Available

Commits : Listings

Analyzed about 1 year ago. based on code collected over 4 years ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 05, 2020 — Apr 05, 2021 Showing page 4 of 106 Search / Filter on:
(lpdoc) allow toplevel options in -T	Jose F. Morales	More...				almost 2 years ago
(core) fix base case for llist_to_disj/2 (false) llist_to_conj/2 (true)	Jose F. Morales	More...				almost 2 years ago
(core) fix indexing of meatpred decl for transform_metapred/3	Jose F. Morales	More...				almost 2 years ago
(core) minor refactor for pp assertion check	Jose F. Morales	More...				almost 2 years ago
(ciaodbg) Some improvements to bundle intro	Manuel Hermenegildo	More...				almost 2 years ago
(core) Support empty calls in calls assertions	Daniela Ferreiro	More...				almost 2 years ago
(core) expand program point rtchecks for mshare/1	Jose F. Morales	More...				almost 2 years ago
(core) p_unit: simplified some pred visibilify checks	Jose F. Morales	More...				almost 2 years ago
(core) prop fails/1 moved from native_props into basic_props	Jose F. Morales	More...				almost 2 years ago
(core) Minor in fsyntax documentation. Fixed @/2 priority in text.	Manuel Hermenegildo	More...				almost 2 years ago
(core) fixes for multimodular output in p_unit	Jose F. Morales	More...				almost 2 years ago
(core) rtchecks supports properly fails/1 on program points	Daniela Ferreiro	More...				almost 2 years ago
(ciaopp) minor, removed unneeded curr_file/2 imports	Jose F. Morales	More...				almost 2 years ago
(ciaopp) Fix bug in printing program point info	Daniela Ferreiro	More...				almost 2 years ago
(CI) regression testing of ciaopp manuals generated with exfilter	Daniela Ferreiro	More...				almost 2 years ago
(core) p_unit: minor in defines_module/2	Jose F. Morales	More...				almost 2 years ago
(core) fix bug introduced in prev commit, types were not properly initialized	Jose F. Morales	More...				almost 2 years ago
(core) disable storing 'exports' for non-main modules in p_unit	Jose F. Morales	More...				almost 2 years ago
(core) fixes and improvements in p_unit, towards incremental loading	Jose F. Morales	More...				almost 2 years ago
(core) increased ast version	Jose F. Morales	More...				almost 2 years ago
(core) enabled p_unit optimizations	Jose F. Morales	More...				almost 2 years ago
(core) optional (disabled) optimization in p_unit that avoids c_itf cache cleanups	Jose F. Morales	More...				almost 2 years ago
(core) recover trans optimization in p_unit	Jose F. Morales	More...				almost 2 years ago
(core) declare loaddefs-generate-batch when missing before calling it	Thierry Marianne	More...				almost 2 years ago
(core) merged (and simplified) p_asr.pl into p_unit.pl	Jose F. Morales	More...				almost 2 years ago
(ciaodbg) fix error reporting in run_test/4 (wrong variable name)	Jose F. Morales	More...				almost 2 years ago
(testsuite) Updated unittest tests	Jose F. Morales	More...				almost 2 years ago
(core) fix bug in p_unit unexpansion	Jose F. Morales	More...				almost 2 years ago
(core) disable add_assrt_indirect_imports/2	Jose F. Morales	More...				almost 2 years ago
(p_unit) refactored and documented add_assrt_indirect_imports/2	Jose F. Morales	More...				almost 2 years ago

←
1
2
3
4
5
6
7
8
9
…
105
106
→