Commits · master · Folschette Maxime / Hoare-fol

Feb 02, 2024
- fix for ocaml 4.13.1 (compare) · 0bbf36d3
  Maxime Folschette authored 1 year ago
  
  0bbf36d3
- add AUTHORS.txt · 19e6c57e
  Maxime Folschette authored 1 year ago
  
  19e6c57e
Mar 03, 2021
- add web link to documentation · 414587c2
  Maxime Folschette authored 4 years ago
  
  View commits for tag v0.1 v0.1
  
  414587c2
Dec 13, 2019
- add license + reference to tech report (not online at the moment) · cd39c5d7
  Maxime Folschette authored 5 years ago
  
  cd39c5d7
Dec 05, 2019
- translate old examples to the new representation · 529730ec
  Maxime Folschette authored 5 years ago
  
  529730ec
- remove deprecated functions · 4d931cf4
  Maxime Folschette authored 5 years ago
  
  4d931cf4
- translate all comments and text in English · 305671df
  Maxime Folschette authored 5 years ago
  
  305671df
Nov 29, 2019
- start translating comments in English · e41043cb
  Maxime Folschette authored 5 years ago
  
  e41043cb
- README translated to English · 061c81d8
  Maxime Folschette authored 5 years ago
  
  061c81d8
- make ASP scripts compatible with Clingo 5 · 9928b434
  Maxime Folschette authored 5 years ago
  
  9928b434
Oct 11, 2018
- add limitation on FreshState · 25cb2d95
  Maxime Folschette authored 6 years ago
  
  25cb2d95
- extensive README and comments (in French) · 99ebae12
  Maxime Folschette authored 6 years ago
  
  99ebae12
Jul 29, 2016
- remove debug output · 624a3b4d
  Maxime Folschette authored 8 years ago
  
  624a3b4d
Jun 14, 2016
- script run-all.sh + README · d4d8ec30
  Maxime Folschette authored 8 years ago
  
  d4d8ec30
- simplification of double-negation (except in FreshState) · 586d8314
  Maxime Folschette authored 8 years ago
  
  586d8314
- remove useless modules system + some cleanup · 50f64c77
  Maxime Folschette authored 8 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