Commits · 624a3b4d116da336a7fde55dfaa565da5f3a5f69 · Folschette Maxime / Hoare-fol

Browse files

Jul 29, 2016
- remove debug output · 624a3b4d
  Maxime Folschette authored 9 years ago
  
  624a3b4d
Jun 14, 2016
- script run-all.sh + README · d4d8ec30
  Maxime Folschette authored 9 years ago
  
  d4d8ec30
- simplification of double-negation (except in FreshState) · 586d8314
  Maxime Folschette authored 9 years ago
  
  586d8314
- remove useless modules system + some cleanup · 50f64c77
  Maxime Folschette authored 9 years ago
  
  50f64c77
Oct 02, 2015
- change BRN-related constructors to strings · 9111f05a
  Maxime Folschette authored 9 years ago
  
  9111f05a
- remove comments · 4060e5c6
  Maxime Folschette authored 9 years ago
  
  4060e5c6
Nov 07, 2012
- remove boundary axioms from phi expressions · c4d685c7
  Maxime Folschette authored 12 years ago
  
  c4d685c7
- add set and assert intructions · 1c9b0065
  Maxime Folschette authored 12 years ago
  
  1c9b0065
Nov 05, 2012
- switched back to SimpleExample · 4b705bc4
  Maxime Folschette authored 12 years ago
  
  4b705bc4
- fix and update phage lambda example · c88fd934
  Maxime Folschette authored 12 years ago
  
  c88fd934
- remove old commented and debug code · edab1e7b
  Maxime Folschette authored 12 years ago
  
  edab1e7b
Oct 31, 2012
- fixed simplification · 6767b472
  Maxime Folschette authored 12 years ago
  
  6767b472
- working simplify · 66d7a2fc
  Maxime Folschette authored 12 years ago
  
  66d7a2fc
- begin adding simplification · 7529a196
  Maxime Folschette authored 12 years ago
  
  7529a196
Oct 25, 2012
- Remove more commented code · 780500f6
  Maxime Folschette authored 12 years ago
  
  780500f6
- Remove remaining commented Mult's · cf826654
  Maxime Folschette authored 12 years ago
  
  cf826654
Oct 12, 2012
- update .gitignore · 7b1ad224
  Maxime Folschette authored 12 years ago
  
  7b1ad224
- add Circlock example · 32cafd41
  Maxime Folschette authored 12 years ago
  
  32cafd41
- simplification of Ks (esp. for FresStates) · 68491791
  Maxime Folschette authored 12 years ago
  
  68491791
- 2012-09-11 version (before simplification) · d3f7aa65
  Maxime Folschette authored 12 years ago
  
  d3f7aa65
- initial commit · 3ef387ac
  Maxime Folschette authored 12 years ago
  
  3ef387ac