8000 Commits · ciao-lang/typeslib · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Oct 13, 2024

Commits on Jul 22, 2024

(typeslib) fix type visibility problem (param types were not filtered)
jfmc
committed

Commits on Mar 5, 2024

(ciaopp, typeslib) Added a flag to select the kind of arguments that can be used for parametric types in the analysis output. Also, added the corresponding functionality to typeslib, modifying the…

pedro-lopez-garcia
authored and
jfmc
committed

Commits on Jun 29, 2023

Commits on Apr 19, 2023

(typeslib) Update pointer in documentation.

LouisRustenholz
authored and
jfmc
committed

Commits on Feb 3, 2022

(ciaodbg) optional code to run tests in same process (condcomp, disabled)
jfmc
committed

Commits on Mar 31, 2021

(typeslib) experimenting a normalize_type/2 that avoid type duplicates

igcontreras
authored and
jfmc
committed
(typeslib/edz_*) Changed clause order in edz_subset

Maximiliano Klemen
authored and
jfmc
committed
(ciaopp_extra/typeslib) Fix in edz type inclusion (rule for numeric types)

Maximiliano Klemen
authored and
jfmc
committed
(ciaopp) minor translation

igcontreras
authored and
jfmc
committed
(ciaopp) Modular (non-incremental) analysis with types (shortening)

igcontreras
authored and
jfmc
committed
(ciaopp) (typeslib) optimize restoring types

igcontreras
authored and
jfmc
committed
(typeslib) fix assertion

igcontreras
authored and
jfmc
committed
(ciaopp) print only new types in compare_dump.pl

igcontreras
authored and
jfmc
committed
(typeslib) fix naive dectection of regtype definitions

igcontreras
authored and
jfmc
committed

Commits on Aug 20, 2020

(typeslib) Removed unused libraries

igcontreras
authored and
jfmc
committed
(typeslib) Approximated regtype_basic_lattice:pure_type_term/1

igcontreras
authored and
jfmc
committed
(core) removing write_list1/1 from write.pl
jfmc
committed

Commits on Mar 20, 2020

Initial commit
jfmc
committed
First commit
jfmc
committed

0