Commits · 196b39f55c24cbff9d4a87bd97d0b38a60fc4917 · LARA / inox · GitLab

Snippets Groups Projects

"README.md" did not exist on "b7b01a0a847d09406ac1cf696801430c34c882c9"

Oct 26, 2012
- Refactoring · 196b39f5
  Philippe Suter authored 12 years ago
  
  196b39f5
Oct 24, 2012
- Some lumberjack work · f221d11a
  Etienne Kneuss authored 12 years ago
  
  f221d11a
Apr 26, 2012
- using Logger instead of println · fad34eb2
  Régis Blanc authored 13 years ago
  
  fad34eb2
- Using Logger instead of println · 2aadccaf
  Régis Blanc authored 13 years ago
  
  2aadccaf
Mar 05, 2012
- overdue refactoring (funcheck=>leon and single package) · c84f2062
  Philippe Suter authored 13 years ago
  
  c84f2062
- Migrated to xsbt (aka sbt 0.11). · 648f7381
  Philippe Suter authored 13 years ago
  
  648f7381
May 30, 2011
- induction tactic for generating precondition VCs; prove that map and · 48adb815
  Ali Sinan Köksal authored 14 years ago
  48adb815
May 26, 2011
- Now works with Scala 2.9.0.1. Serialization has been made simpler too. · 118f9730
  Philippe Suter authored 14 years ago
  
  118f9730
Nov 18, 2010
- Separate VCs for each case class in induction tactic. · 134279e6
  Ali Sinan Köksal authored 14 years ago
  
  134279e6
- Preconditions for inductive tactic · f57e2888
  Ali Sinan Köksal authored 14 years ago
  
  f57e2888
- Inductive tactic performs induction on first argument with abstract type.... · c8bd0066
  Ali Sinan Köksal authored 14 years ago
  c8bd0066
- An implementation of InductionTactic and its example use in ListWithSize · 4cc65ae3
  Ali Sinan Köksal authored 14 years ago
  
  4cc65ae3
Oct 12, 2010
- now it's not working. please do not use :) · a01565a0
  Philippe Suter authored 14 years ago
  
  a01565a0