Commits · 3943463393d2810366e41cd1a99f787f074b18cb · LARA / inox

Mar 23, 2011
- Caching of serialized programs and expressions. · 39434633
  Ali Sinan Köksal authored 14 years ago
  
  39434633
- reorganize call transformation a little. · e5046873
  Ali Sinan Köksal authored 14 years ago
  
  e5046873
- Trait for Scala code generation · 0e8102a6
  Ali Sinan Köksal authored 14 years ago
  
  0e8102a6
Mar 22, 2011
- wishes · b3eb68c6
  Viktor Kuncak authored 14 years ago
  
  b3eb68c6
- Code substitution test and change script to include purescala class files. · babe7470
  Ali Sinan Köksal authored 14 years ago
  
  babe7470
- Extract the body of a predicate in purescala · 13dca114
  Ali Sinan Köksal authored 14 years ago
  
  13dca114
- Component for CP, write program into file and read from it, initial structure... · e2c59a06
  Ali Sinan Köksal authored 14 years ago
  e2c59a06
Mar 21, 2011
- Extraction of pure scala program and storing it in a file · fa847883
  Ali Sinan Köksal authored 14 years ago
  
  fa847883
Mar 20, 2011
- just a class name change · 8dfc8776
  Ali Sinan Köksal authored 14 years ago
  
  8dfc8776
Mar 18, 2011
- stub · 0cc0b3de
  Philippe Suter authored 14 years ago
  
  0cc0b3de
Mar 17, 2011
- No commit message · e593cac2
  Philippe Suter authored 14 years ago
  e593cac2
Mar 11, 2011
- No commit message · 40454b13
  Octavian-Eugen Ganea authored 14 years ago
  40454b13
Mar 10, 2011
- work around z3 2.19 bug · 55e2e943
  Philippe Suter authored 14 years ago
  
  55e2e943
Mar 08, 2011
- No commit message · e7c5b3fe
  Philippe Suter authored 14 years ago
  e7c5b3fe
Mar 07, 2011
- towards getting enumeration of testcases to work again · a1f6ecc3
  Philippe Suter authored 14 years ago
  
  a1f6ecc3
- with height balancing · cdc697d1
  Philippe Suter authored 14 years ago
  
  cdc697d1
Mar 01, 2011
- newerer Z3 · f104cee1
  Philippe Suter authored 14 years ago
  
  f104cee1
- attempt to prove order of keys in red-black trees · c4fbf3ff
  Ali Sinan Köksal authored 14 years ago
  
  c4fbf3ff
Feb 28, 2011
- Black height invariant for red-black trees · 5382ae60
  Ali Sinan Köksal authored 14 years ago
  
  5382ae60
Feb 23, 2011
- The sketched squaring function is indeed valid. · 32e07b6c
  Ali Sinan Köksal authored 14 years ago
  
  32e07b6c
Feb 13, 2011
- sketching etc · bdfca9f2
  Viktor Kuncak authored 14 years ago
  
  bdfca9f2
- clp using funcheck · ba0063b4
  Viktor Kuncak authored 14 years ago
  
  ba0063b4
- counterexamples · 73837fd7
  Viktor Kuncak authored 14 years ago
  
  73837fd7
Feb 12, 2011
- No commit message · ff05592f
  Philippe Suter authored 14 years ago
  ff05592f
Feb 03, 2011
- example with natural numbers · 67441598
  Viktor Kuncak authored 14 years ago
  
  67441598
Feb 01, 2011
- the demos · 3bc05f77
  Philippe Suter authored 14 years ago
  
  3bc05f77
Jan 30, 2011
- synching · c89801ab
  Philippe Suter authored 14 years ago
  
  c89801ab
Jan 25, 2011
- Required modifications to testcases for submission · ed3bd975
  Ali Sinan Köksal authored 14 years ago
  
  ed3bd975
- Made things globally faster by essentially solving some pattern-matching completeness in advance. · dbe0e343
  Philippe Suter authored 14 years ago
  
  dbe0e343
Jan 24, 2011
- I guess that will help. · 95689672
  Philippe Suter authored 14 years ago
  
  95689672
Jan 23, 2011
- A better script to run tests. · b3dc70c6
  Ali Sinan Köksal authored 14 years ago
  
  b3dc70c6
- A primitive script that will run the analysis on the programs considered in... · 63aeda4a
  Ali Sinan Köksal authored 14 years ago
  63aeda4a
- Reformat time values less than .01 seconds. · a5127d2a
  Ali Sinan Köksal authored 14 years ago
  
  a5127d2a
- Upon analysis of a program, a file "summary/{Program}-evaluation.txt" is... · 9325944d
  Ali Sinan Köksal authored 14 years ago
  9325944d
Jan 21, 2011
- No commit message · 3dc2bb81
  Philippe Suter authored 14 years ago
  3dc2bb81
- address book example from dnj is clumsy if we have no maps · 16e19131
  Viktor Kuncak authored 14 years ago
  
  16e19131
- why CAV cannot find counterexample · 3cd0ea59
  Viktor Kuncak authored 14 years ago
  
  3cd0ea59
- code for "I'm feeling lucky" · 99fb25b5
  Philippe Suter authored 14 years ago
  
  99fb25b5
- Some properties for red-black tree deletion (inconclusive for removeMax method). · a94c85f3
  Ali Sinan Köksal authored 14 years ago
  
  a94c85f3
- Red black trees deletion implementation, but we don't prove properties of deletion yet. · 53bf1ea3
  Ali Sinan Köksal authored 14 years ago
  
  53bf1ea3