Commits · v0.2 · jloew2 / lamport-modeling-and-verification

Mar 23, 2018
- Add check for fairness which passes but maybe shouldn't be passing · 79c9bb91
  Justin Loew authored 7 years ago
  
  View commits for tag v0.2 v0.2
  
  79c9bb91
Mar 22, 2018
- Attempt to check for fairness (not currently working) · 1920021f
  Justin Loew authored 7 years ago
  
  1920021f
- Add ability to count the items in a task queue · 01075315
  Justin Loew authored 7 years ago
  
  01075315
- Formatting · c5be37d8
  Justin Loew authored 7 years ago
  
  c5be37d8
- Add citation for Kshemkalyani and Singhal slides · 3b4d72d7
  Justin Loew authored 7 years ago
  
  3b4d72d7
- Add more explicit state property to each node · 616e03ba
  Justin Loew authored 7 years ago
  
  616e03ba
- Add ECE 584 paper as template · 75b6bedc
  Justin Loew authored 7 years ago
  
  75b6bedc
- Clean up unused predicates · 14030bb1
  Justin Loew authored 7 years ago
  
  14030bb1
Mar 21, 2018
- Check our equivalent of strong liveness · 9a273e6c
  Justin Loew authored 7 years ago
  
  9a273e6c
- Update tests for mutual exclusion · 75a16808
  Justin Loew authored 7 years ago
  
  75a16808
- Parameterize node, node-system, check-node-system on the total number of... · b632f2f1
  Justin Loew authored 7 years ago
  
  Parameterize node, node-system, check-node-system on the total number of nodes; prove mutual exclusion for n=4
  b632f2f1
Mar 20, 2018
- Start work on node-preds (and associated tests) · 8fd9d92e
  Justin Loew authored 7 years ago
  
  8fd9d92e
Mar 13, 2018
- Add a couple tests for TcpState to test-node · 7a4a2216
  Justin Loew authored 7 years ago
  
  7a4a2216
- Give nodes in-order message sending · 0565ff9c
  Justin Loew authored 7 years ago
  
  0565ff9c
Mar 11, 2018
- Add initial test-node.maude (needs work) · c194c3c1
  Justin Loew authored 7 years ago
  
  c194c3c1
- Minor code cleanup · 86e96593
  Justin Loew authored 7 years ago
  
  86e96593
Feb 28, 2018
- fixup! Update node.maude to use recent changes in timestamp/task (untested) · 55f6f650
  Justin Loew authored 7 years ago
  
  55f6f650
Feb 27, 2018
- Update node.maude to use recent changes in timestamp/task (untested) · 9bf38b30
  Justin Loew authored 7 years ago
  
  9bf38b30
- Fix up test-task.maude to match task.maude · 9441e7f1
  Justin Loew authored 7 years ago
  
  9441e7f1
- Fix infinite reduce loop in task.maude · 5d383a32
  Justin Loew authored 7 years ago
  
  5d383a32
- Add blank tests for task.maude · fc04323b
  Justin Loew authored 7 years ago
  
  fc04323b
Feb 26, 2018
- Add reference output for test-timestamp.maude · 1a4989c7
  Justin Loew authored 7 years ago
  
  1a4989c7
- Changes to Makefile to better automate testing · 8a580c5a
  Justin Loew authored 7 years ago
  
  8a580c5a
- Clean up in timestamp.maude, add tests · b02fdca5
  Justin Loew authored 7 years ago
  
  b02fdca5
- Clean up Makefile · 5e93f65b
  Justin Loew authored 7 years ago
  
  5e93f65b
- Break out timestamp into its own file · 5ee92d5a
  Justin Loew authored 7 years ago
  
  5ee92d5a
- Convert timestamps to functional syntax · 136f3aea
  Justin Loew authored 7 years ago
  
  136f3aea
- Add gitignore · acf6998c
  Justin Loew authored 7 years ago
  
  acf6998c
Feb 22, 2018
- Not sure what changed, it's been a while. Looks like adding comments and explicit timestamps? · 83f29e26
  Justin Loew authored 7 years ago
  
  83f29e26
Dec 15, 2017
- Add search output taken at commit eef834a8 · 30b6c4b2
  Justin Loew authored 7 years ago
  
  30b6c4b2
- Add clippings for the paper · 7eb6b613
  Justin Loew authored 7 years ago
  
  7eb6b613
- Add comment · fd2942ac
  Justin Loew authored 7 years ago
  
  fd2942ac
- Update old spellings in tests.maude · 5abc609c
  Justin Loew authored 7 years ago
  
  5abc609c
- Lift everything out of the top-level directory · 0b88e514
  Justin Loew authored 7 years ago
  
  0b88e514
- Delete unused net.maude · 848eac79
  Justin Loew authored 7 years ago
  
  848eac79
- [broken] Add Lamport timestamps · febc7e75
  Justin Loew authored 7 years ago
  
  - Break task out into its own file - Add timestamp types - Add a timestamp attribute to each node - Add a catch-all attribute to each node - Formatting changes - Remove old code in tests.maude - Add a TODO list of future invariants
  febc7e75
Dec 14, 2017
- Update formatting in the tests · eef834a8
  Justin Loew authored 7 years ago
  
  eef834a8
- fixup! Add display colors · eff1f710
  Justin Loew authored 7 years ago
  
  eff1f710
- Add display colors · 238718e8
  Justin Loew authored 7 years ago
  
  238718e8
- Add a small test harness (untested) · bfecdae5
  Justin Loew authored 7 years ago
  
  bfecdae5