Commits · 161be27f422e2c6d1970018486f127a5a5704ca1 · LARA / inox · GitLab

Snippets Groups Projects

Apr 15, 2016
- use preMapWithContext to implement preMap · 161be27f
  Régis Blanc authored 9 years ago
  
  161be27f
Apr 13, 2016
- fix fd closure when PC calls other nested fd · 9215b774
  Regis Blanc authored 9 years ago
  
  9215b774
- properly add a GlobalState to program · d41909c2
  Régis Blanc authored 9 years ago
  
  d41909c2
- simplify ops using constructors · 0b6160a7
  Regis Blanc authored 9 years ago
  
  0b6160a7
- new extend interface for DefinitionTransformer · 61fcafab
  Regis Blanc authored 9 years ago
  
  61fcafab
Apr 12, 2016
- fix flatten blocks · 10b0ee41
  Régis Blanc authored 9 years ago
  
  10b0ee41
- better printing for epsilons · 2307171f
  Régis Blanc authored 9 years ago
  
  2307171f
- Porting the deque benchmark to new syntax · f4ea4ac2
  ravi authored 9 years ago
  
  f4ea4ac2
- Fixing a bug in the usage of instantiateType in Orb · 83628c69
  ravi authored 9 years ago
  
  83628c69
- update epsilon tests · 0b2aa0d3
  Régis Blanc authored 9 years ago
  
  0b2aa0d3
- Tree and def Transformers handle letdef and letvar · 297f0513
  Regis Blanc authored 9 years ago
  
  297f0513
- Remove non-existent parameter, indent · 764eca66
  Manos Koukoutos authored 9 years ago
  
  764eca66
- Improve simplifiers · aab8c54a
  Manos Koukoutos authored 9 years ago
  
  aab8c54a
- Fixes · aa070046
  Manos Koukoutos authored 9 years ago
  
  aa070046
- Less ambitious equality simplifier. evalOrderSensitive -> isPurelyFunctional · cbf5cb75
  Manos Koukoutos authored 9 years ago
  
  cbf5cb75
- Rework/fix simplifiers · 5245e0e5
  Manos Koukoutos authored 9 years ago
  5245e0e5
- Pass correct solver to SolverDataGen, synthesis improvements · 5b5765c1
  Manos Koukoutos authored 9 years ago
  
  5b5765c1
- Generalize ExprOps if possible. Some documentation · e0306b14
  Manos Koukoutos authored 9 years ago
  
  e0306b14
- missed that · 3ca45861
  Manos Koukoutos authored 9 years ago
  
  3ca45861
- boolean.option should take param. by value · 8ee655c3
  Manos Koukoutos authored 9 years ago
  
  8ee655c3
- Restore functionality of CEGIS, more cleanup · 40cdc482
  Manos Koukoutos authored 9 years ago
  
  40cdc482
- DepthBound aspect · 4f601d01
  Manos Koukoutos authored 9 years ago
  
  4f601d01
- Cleanup/document, mainly grammars · 12384b45
  Manos Koukoutos authored 9 years ago
  
  12384b45
- Fix timers · d3a54bc9
  Manos Koukoutos authored 9 years ago
  
  d3a54bc9
- Refactor VerificationContext · bbf7c241
  Manos Koukoutos authored 9 years ago
  
  bbf7c241
- Simplify a benchmark · 5fcdb73e
  Manos Koukoutos authored 9 years ago
  
  5fcdb73e
- solutionToProgram should use Choose spec as postcondition · 3da86095
  Manos Koukoutos authored 9 years ago
  
  3da86095
- Refactor checkVC stopping parameter, use it in Synthesizer · 7e8f60bf
  Manos Koukoutos authored 9 years ago
  
  7e8f60bf
- Small improvement · f26e8e06
  Manos Koukoutos authored 9 years ago
  
  f26e8e06
- CEGIS now returns all non-validable solutions on the same level · 8e7d4aeb
  Manos Koukoutos authored 9 years ago
  8e7d4aeb
- Improve some messages · 93ccaa93
  Manos Koukoutos authored 9 years ago
  
  93ccaa93
- Fix comment · 99d45a64
  Manos Koukoutos authored 9 years ago
  
  99d45a64
- Reduce tentative timeout in CEGIS · e4a3263f
  Manos Koukoutos authored 9 years ago
  
  e4a3263f
- Small CEGIS fixes · 5b39b094
  Manos Koukoutos authored 9 years ago
  
  5b39b094
- Supress warnings/ small fixes · 3ac4c266
  Manos Koukoutos authored 9 years ago
  
  3ac4c266
- Refactor TreeOps a little · 54e486c3
  Manos Koukoutos authored 9 years ago
  
  54e486c3
- fix infinite recursion in anti-aliasing · a0275236
  Regis Blanc authored 9 years ago
  
  a0275236
- genc option should be passed to preprocessing phase · 33f6126a
  Regis Blanc authored 9 years ago
  
  33f6126a
- always run xlang · 71380140
  Regis Blanc authored 9 years ago
  
  71380140
- test and doc incrementalbijection swap · f9f21b0c
  Regis Blanc authored 9 years ago
  
  f9f21b0c