Commits · 958a90a8d0094878246e3fa191f48fd510b45e26 · LARA / inox

May 01, 2016
- Added basic map to string support · 958a90a8
  Mikaël Mayer authored 8 years ago
  
  Corrected bug with unicode chars in the build.sbt
  958a90a8
- function closure does not capture let bindings · 9d7510a8
  Régis Blanc authored 8 years ago
  
  9d7510a8
- Function closure makes sure that all ids updated · 62c98020
  Régis Blanc authored 8 years ago
  
  62c98020
- function closure only capture required variables · adfae020
  Régis Blanc authored 8 years ago
  
  adfae020
- start some unit testing of function closure · b5a73c6a
  Régis Blanc authored 8 years ago
  
  b5a73c6a
- Some id freshening in paths · 9a247d1d
  Nicolas Voirol authored 8 years ago
  
  9a247d1d
- Fix for first-class functions returning more functions · 6baae31c
  Nicolas Voirol authored 8 years ago
  
  6baae31c
- Small fix for required lambda in ensuring · a0660319
  Nicolas Voirol authored 8 years ago
  
  a0660319
- Added let bindings in leon paths · 86649c4b
  Nicolas Voirol authored 8 years ago
  
  86649c4b
- unit test to make sure contract of Extractors is clear · 79ed80e9
  Régis Blanc authored 8 years ago
  
  79ed80e9
- update some outdated xlang testcases · b584855c
  Régis Blanc authored 8 years ago
  
  b584855c
- io library using implicit state · b3868c82
  Régis Blanc authored 8 years ago
  
  b3868c82
- Random library isabelle.noBody · ff6111c1
  Régis Blanc authored 8 years ago
  
  ff6111c1
- removing unit in tuples is not safe · 67a61916
  Régis Blanc authored 8 years ago
  
  67a61916
- improve printing blocks · dd5e6f79
  Régis Blanc authored 8 years ago
  
  dd5e6f79
- xlang cleanup phase · 5f633bdb
  Régis Blanc authored 8 years ago
  
  5f633bdb
- epsilon functions generated with proper flags · 61f3a48b
  Régis Blanc authored 8 years ago
  
  61f3a48b
- leon finds data racing counter-example · ff4b7867
  Regis Blanc authored 8 years ago
  
  ff4b7867
- no dependency on leon List · 9d167bf9
  Régis Blanc authored 8 years ago
  
  9d167bf9
- using Random to model threads · 126e86b1
  Régis Blanc authored 8 years ago
  
  126e86b1
- util.Random as a library · 0a83bd39
  Régis Blanc authored 8 years ago
  
  0a83bd39
- Type cardinality · 9267248b
  Manos Koukoutos authored 8 years ago
  
  9267248b
- refix lazy and orb · 97f973e3
  Regis Blanc authored 8 years ago
  
  97f973e3
- fix lazy · ab04ef2b
  Regis Blanc authored 8 years ago
  
  ab04ef2b
- fix orb · bfab9b4b
  Regis Blanc authored 8 years ago
  
  bfab9b4b
- Test transitive transformation of classes · ce471dc1
  Regis Blanc authored 8 years ago
  
  ce471dc1
- test simple definition transformations · 4130daef
  Regis Blanc authored 8 years ago
  
  4130daef
- fix extractors for Arrays · 5c712143
  Regis Blanc authored 8 years ago
  
  5c712143
- Extractors do not perform simplifications · b6b685fd
  Regis Blanc authored 8 years ago
  
  b6b685fd
- use preMapWithContext to implement preMap · af959e04
  Régis Blanc authored 8 years ago
  
  af959e04
- Updated isabelle annotation for the new string theory. · bec1c509
  Mikaël Mayer authored 8 years ago
  
  bec1c509
- Cleaned up input coverage which now fully works. · 1e0783f1
  Mikaël Mayer authored 8 years ago
  
  Evaluating counter-examples again to faster cover other flags.
  1e0783f1
- Added string conversion utilities when converting from String to String$0 · 858dc1b6
  Mikaël Mayer authored 8 years ago
  
  858dc1b6
- Code coverage now returns the list of covering examples. · 6b4ff0ae
  Mikaël Mayer authored 8 years ago
  
  6b4ff0ae
- Added MatchExpr coverage test. · 57935b5e
  Mikaël Mayer authored 8 years ago
  
  Replaced Seq[Identifier] with Option[Seq[Identifier]] to take into account transformed expressions without new identifiers.
  57935b5e
- Added coverage test suite. · 493c03ac
  Mikaël Mayer authored 8 years ago
  
  493c03ac
- Added the function invocation coverage. · 64b75637
  Mikaël Mayer authored 8 years ago
  
  64b75637
- Initial coverage file. Does not compile. · 936eed24
  Mikaël Mayer authored 9 years ago
  
  936eed24
- Added input coverage. · 817a8533
  Mikaël Mayer authored 9 years ago
  
  817a8533
- fix fd closure when PC calls other nested fd · 970f925b
  Regis Blanc authored 8 years ago
  
  970f925b