1. 23 Jan, 2018 2 commits
  2. 22 Jan, 2018 2 commits
  3. 18 Jan, 2018 3 commits
  4. 17 Jan, 2018 2 commits
    • charguer's avatar
      string vars · 274c256e
      charguer authored
      274c256e
    • Armaël Guéneau's avatar
      Merge branch 'linear-credits' into 'master' · caf53b92
      Armaël Guéneau authored
      Modify the logic to add a notion of "affine" resources, i.e. resources
      that can be garbage collected. Previously, all resources were implicitly
      affine and could be garbage collected.
      
      This new distinction is relevant for time credits: a negative number of
      time credits does not entails False anymore, but only a positive number
      of credits can be garbage collected. This adds a side-condition to the 
      garbage collecting rule in presence of credits, but simplifies the rule
      to split a number of credits: [$(n+m) = $n * $m] now always hold, while
      it previously required to prove [0 <= n] and [0 <= m] as side
      conditions.
      caf53b92
  5. 16 Jan, 2018 4 commits
  6. 08 Jan, 2018 2 commits
  7. 13 Dec, 2017 2 commits
  8. 12 Dec, 2017 3 commits
  9. 07 Dec, 2017 1 commit
  10. 05 Dec, 2017 1 commit
  11. 04 Dec, 2017 4 commits
  12. 01 Dec, 2017 3 commits
  13. 28 Nov, 2017 5 commits
  14. 27 Nov, 2017 3 commits
  15. 24 Nov, 2017 3 commits