Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Apr 10, 2015

• add after_Event_R helper in Alloy compiler

  tnelson

  committed
  8be5051

  Copy full SHA for 8be5051

Commits on Apr 9, 2015

• delete more very outdated files

  tnelson

  committed
  e10d3a7

  Copy full SHA for e10d3a7

• cleanup old notes etc.

  tnelson

  committed
  b5c1dcc

  Copy full SHA for b5c1dcc

Commits on Jan 16, 2015

• remove unused file

  tnelson

  committed
  9dec24c

  Copy full SHA for 9dec24c

• actual working cleanup, that is...

  tnelson

  committed
  911493a

  Copy full SHA for 911493a

• cleanup; only comments/commented code touched

  tnelson

  committed
  cb24a84

  Copy full SHA for cb24a84

• Some cleanup

  tnelson

  committed
  8f97b42

  Copy full SHA for 8f97b42

• Revert "experimental z3. should be moved out of tim branch"

  Show description for 0cff309
  tnelson

  committed
  0cff309

  Copy full SHA for 0cff309

Commits on Jan 13, 2015

• experimental z3. should be moved out of tim branch

  tnelson

  committed
  b54acd7

  Copy full SHA for b54acd7

Commits on Jan 12, 2015

• fix bad boolean combo, small cleanup

  tnelson

  committed
  3b8de6f

  Copy full SHA for 3b8de6f

• add at relname level before resolving ceilings

  tnelson

  committed
  687d573

  Copy full SHA for 687d573

• start partitioning of termcounts by head relation

  tnelson

  committed
  3e01972

  Copy full SHA for 3e01972

Commits on Jan 11, 2015

• properly include variables from head

  tnelson

  committed
  5645956

  Copy full SHA for 5645956

• discord! confusion! chaos! not really

  tnelson

  committed
  a4ed24a

  Copy full SHA for a4ed24a

• still lacks counting constants in head

  tnelson

  committed
  f5046ba

  Copy full SHA for f5046ba

• intermediate checkin; dealing with \/ in bounds

  tnelson

  committed
  149cecf

  Copy full SHA for 149cecf

Commits on Jan 8, 2015

• fixed thread issue; native code has trouble with Thread.kill

  tnelson

  committed
  0c847c8

  Copy full SHA for 0c847c8

Commits on Jan 7, 2015

• add reset_timer for motion sensor prototype. still have issue w/ 2 successive resets

  tnelson

  committed
  c317551

  Copy full SHA for c317551

• fix issue substituting term names for emit rules

  tnelson

  committed
  574f724

  Copy full SHA for 574f724

Commits on Jan 6, 2015

• config edit on startup for ch imp. affect rel to reachability

  tnelson

  committed
  7bef60f

  Copy full SHA for 7bef60f

• ok, initial version is buggy, uses BOTH ports since only filter by NOT alt

  tnelson

  committed
  3405a4e

  Copy full SHA for 3405a4e

• LB example, broken

  tnelson

  committed
  d543e98

  Copy full SHA for d543e98

Commits on Jan 4, 2015

• added timeout example

  tnelson

  committed
  f18e7ce

  Copy full SHA for f18e7ce

Commits on Dec 18, 2014

• correct num of events for rcpo

  tnelson

  committed
  fb7d40c

  Copy full SHA for fb7d40c

• added constants

  tnelson

  committed
  faa4c67

  Copy full SHA for faa4c67

• constant duplicating bounds still; no time to fix tonight

  tnelson

  committed
  1a69a86

  Copy full SHA for 1a69a86

Commits on Dec 17, 2014

• .

  tnelson

  committed
  3952621

  Copy full SHA for 3952621

• comment

  tnelson

  committed
  878d6c8

  Copy full SHA for 878d6c8

• adding generated terms to term count

  tnelson

  committed
  2325685

  Copy full SHA for 2325685

• in progress

  tnelson

  committed
  e12cf46

  Copy full SHA for e12cf46

Commits on Nov 12, 2014

• add corestartup event (not for analysis, yet)

  tnelson

  committed
  964aff3

  Copy full SHA for 964aff3

• optional id2, ms in timer

  tnelson

  committed
  69aa0ce

  Copy full SHA for 69aa0ce

• added boilerplate for core additions

  tnelson

  committed
  d2f8030

  Copy full SHA for d2f8030

Commits on Nov 11, 2014

• test for previous commit

  tnelson

  committed
  7479344

  Copy full SHA for 7479344

• less than built in; ms field for timers

  tnelson

  committed
  ef157a9

  Copy full SHA for ef157a9

Pagination

Previous

Next