Permalink
Commits on Feb 16, 2010
  1. Hide the implemenation of type Orm.Db.t and make the compiler tells u…

    …s if we are trying to write on on read-only database.
    samoht committed Feb 16, 2010
  2. last few edits on the README

    committed Feb 16, 2010
  3. more README edits

    committed Feb 16, 2010
  4. add installation blurb

    committed Feb 16, 2010
  5. edits to README.md

    committed Feb 16, 2010
  6. Add a first draft of README.md

    samoht committed Feb 16, 2010
Commits on Feb 11, 2010
  1. update TODO and NEWS

    committed Feb 11, 2010
Commits on Feb 10, 2010
  1. [lib] add custom functions;

    very very slow but very very expressive. I guess this can be optimized later by adding some memoization in few places ...
    samoht committed Feb 10, 2010
Commits on Feb 9, 2010
  1. [lib] fix the remaining bit of recursive deletion which was buggy.

    now if you have x <=> y => z, then delete(x) = {x,y,z} (and not {x,y} as it was previously the case)
    samoht committed Feb 9, 2010
  2. [lib] remove debug messages.

    samoht committed Feb 9, 2010
  3. [test] make the recursive test be clearer on which check is failing.

    the cache pb is fixed, one last trivial bug to fix ...
    samoht committed Feb 9, 2010
  4. [type-of] add a function to get all the foreign types (i.e. all the t…

    …ype variables) of a given Type.t
    samoht committed Feb 9, 2010
  5. [test] add a new failing test; the cache are not correctly flushed on…

    … delete: the current trigger does clean the right cache in case of foreign values ...
    samoht committed Feb 9, 2010
  6. [lib] fix deletion of recursive values; look only into the recursive …

    …cycle to check for foreign depencies.
    samoht committed Feb 9, 2010
  7. [lib] fix deletion of recursive value.

    that fixes the failing test.
    
    the semantics on delete is:
    (if x is a subvalue of t, then I write t => x)
    (if x is a not a subvalue of any of the values stored in the database, I write |> x or x <|)
    For non-recursive values:
    * if |> t then delete(t) = {t}
    * if |> t => x <| then delete(t) = {t,x}
    * ...
    
    For recursive values:
    * if |> t <=> x <| then delete (t) = {t,x}
    * ...
    samoht committed Feb 9, 2010