Ciao Programming Language

Settings | Report Duplicate

2

I Use This!

Activity Not Available

Commits : Listings

Analyzed 8 months ago. based on code collected almost 4 years ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 05, 2020 — Apr 05, 2021 Showing page 3 of 39 Search / Filter on:
(core) using index notation in fsyntax array example	Jose F. Morales	More...				about 1 year ago
(core) fsyntax: remove support for deprecated 'function' decl	Jose F. Morales	More...				about 1 year ago
(ciao_emacs) do not highlight 'function' decl (deprecated)	Jose F. Morales	More...				about 1 year ago
(core) internal support for block syntax in fsyntax	Jose F. Morales	More...				about 1 year ago
(core) fsyntax: internals support for multiclause closures	Jose F. Morales	More...				about 1 year ago
(core) linear/1 is not printed as a list of all linear terms but individually	Daniela Ferreiro	More...				about 1 year ago
(core) new experimental fsyntaxplus.pl package	Jose F. Morales	More...				about 1 year ago
Resolve "(ciao_emacs) ‘comint-dynamic-complete’ obsolete"	Daniel Jurjo	More...				about 1 year ago
(core) fix rtcheck translation for mshare/1	Daniela Ferreiro	More...				about 1 year ago
(core) fix program-point rtchecks for conjunction of properties	Daniela Ferreiro	More...				about 1 year ago
(unittest) show warning when test success part contains existential variables	José Luis Bueno	More...				about 1 year ago
(core) experimental: predicate abstractions with shared vars by default	Jose F. Morales	More...				about 1 year ago
(core) experimental support for clause translation after module expansion	Jose F. Morales	More...				about 1 year ago
(core) typo in docs	Jose F. Morales	More...				about 1 year ago
(core) minor, some comments in dcg_tr	Jose F. Morales	More...				about 1 year ago
(core) rtcheck version of constraint/1: variables should be instantiated	Daniela Ferreiro	More...				about 1 year ago
(core) generic_viewer: open native apps in WSL	mciccale	More...				about 1 year ago
(core) fsyntax: allow fun_eval decl in toplevel	Jose F. Morales	More...				about 1 year ago
(core) fsyntax: added experimental abbrev (not documented yet)	Jose F. Morales	More...				about 1 year ago
(core) brief documentation of new syntax for hiord terms in fsyntax	Jose F. Morales	More...				about 1 year ago
(core) failed rtcheck for fails/1 report succeeds instead of multi	Jose F. Morales	More...				about 1 year ago
(core) fsyntax: do not rename arithmetic relations in non-goal positions	Jose F. Morales	More...				over 1 year ago
(core) fixed bug in fsyntax handling of {} (it was always enabled)	Jose F. Morales	More...				over 1 year ago
(core) updated fsyntax/examples/hiordfun.pl	Jose F. Morales	More...				over 1 year ago
(core) curly brace {} notation for hiord in fsyntax with hiord(true)	Jose F. Morales	More...				over 1 year ago
(core) added '$meta_exp'/3	Jose F. Morales	More...				over 1 year ago
(core) minor formatting in mexpand.pl	Jose F. Morales	More...				over 1 year ago
(core) minor in fsyntax examples	Jose F. Morales	More...				over 1 year ago
(core) fsyntax: experimental fun_eval arith(_) options to enable CLP translations	Jose F. Morales	More...				over 1 year ago
(ciaopp) better unexpansion in assertion (pred,pp) warning/error messages	Jose F. Morales	More...				over 1 year ago

←
1
2
3
4
5
6
7
8
9
…
38
39
→