Skip to content
Permalink
Tree: 4986f73e12
Commits on Feb 6, 2020
  1. Updated Abstract, Intro, Scenarios, Examples

    hvdsomp committed Feb 6, 2020
    Addressed #127 #128
Commits on Feb 5, 2020
  1. first stab at #82

    dret committed Feb 5, 2020
  2. minor tweak

    dret committed Feb 5, 2020
  3. adding missing text

    dret committed Feb 5, 2020
Commits on Dec 31, 2019
  1. starting -06

    dret committed Dec 31, 2019
  2. minor tweak

    dret committed Dec 31, 2019
  3. more pretty-printing

    dret committed Dec 31, 2019
  4. some pretty-printing

    dret committed Dec 31, 2019
  5. trimming unnecessary details

    dret committed Dec 31, 2019
  6. adjusting date

    dret committed Dec 31, 2019
  7. minor tweak

    dret committed Dec 31, 2019
  8. grammar fixes

    dret committed Dec 31, 2019
  9. using spec name

    dret committed Dec 31, 2019
  10. referring to the model

    dret committed Dec 31, 2019
  11. rewrite

    dret committed Dec 31, 2019
  12. more fixing (still not happy)

    dret committed Dec 31, 2019
  13. language fix

    dret committed Dec 31, 2019
  14. language fix

    dret committed Dec 31, 2019
  15. minor tweak

    dret committed Dec 31, 2019
  16. minor tweaks and additions

    dret committed Dec 31, 2019
  17. minor tweaks

    dret committed Dec 31, 2019
  18. minor tweak

    dret committed Dec 31, 2019
  19. simplifying introduction

    dret committed Dec 31, 2019
  20. simplifying abstract

    dret committed Dec 31, 2019
  21. adjusting date

    dret committed Dec 31, 2019
  22. adding TXT/HTML

    dret committed Dec 31, 2019
  23. removing confusing non-contraint

    dret committed Dec 31, 2019
  24. minor tweak

    dret committed Dec 31, 2019
  25. removing cruft

    dret committed Dec 31, 2019
  26. trimming

    dret committed Dec 31, 2019
  27. adding consequences

    dret committed Dec 31, 2019
  28. removing unnecessary entities

    dret committed Dec 31, 2019
  29. trimming

    dret committed Dec 31, 2019
Older
You can’t perform that action at this time.