Commits

Author Commit Message Labels Comments Date
Sébastien Ferré
trace and ret?
Sébastien Ferré
Optimization of fold_mu by not projecting the relation. Profiling.
Sébastien Ferré
Initial revision
Sébastien Ferré
new functions: - fold_restr - filter_restr - project
Sébastien Ferré
Initial revision
Sébastien Ferré
Token replaced by Tokens. Symbol replacing Ident and Term.
Sébastien Ferré
Initial revision
Sébastien Ferré
Fusion of Ident, Term, and symbols.
Sébastien Ferré
???
Sébastien Ferré
Before adding debugging trace.
Sébastien Ferré
Initial revision
Sébastien Ferré
Add of checks (when clause in isolation). Change of syntax for cuts to avoid parse error.
Sébastien Ferré
Before extending separator language.
Sébastien Ferré
Initial revision
Sébastien Ferré
Initial revision
Sébastien Ferré
Initial revision
Sébastien Ferré
???
Sébastien Ferré
Stable version, used in Camelis 1.4.
Sébastien Ferré
Extended interface for bounded sets. Operation to compute memory consumption in words. Implementations Bitmap31 and Bitmap (BOUNDED).
Sébastien Ferré
Initial revision
Sébastien Ferré
Bug fix in parse_float and parse_num.
Sébastien Ferré
Initial revision
Sébastien Ferré
new functions.
Sébastien Ferré
bug fix in string_escaped. handling of floats. more keywords.
Sébastien Ferré
Initial revision
Sébastien Ferré
Many changes ?
Sébastien Ferré
Initial revision
Sébastien Ferré
Float and DotDot are no more tokens.
Sébastien Ferré
Many changes.
Sébastien Ferré
Add of operation 'find'.
  1. Prev
  2. Next