Commits · 7b9cd608108481cff16282d7447b52f56ab8394a · LARA / inox · GitLab

Snippets Groups Projects

Dec 13, 2012
- Removed legacy Isabelle pretty-printer. · 7b9cd608
  Philippe Suter authored 12 years ago
  7b9cd608
- edit README, usage of setupenv · 8b1df6a3
  Régis Blanc authored 12 years ago
  
  8b1df6a3
- remove Options trees · 4785b17c
  Régis Blanc authored 12 years ago
  
  4785b17c
- Remove synthesis from leon-online · f99cd47a
  Etienne Kneuss authored 12 years ago
  
  f99cd47a
- add Arithmetic testcases to automatic regression test · f0af67c7
  Régis Blanc authored 12 years ago
  
  f0af67c7
- add euclidian division testcase for verification. Prove validity · bee510e9
  Régis Blanc authored 12 years ago
  
  bee510e9
- Update readme · ea45d885
  Etienne Kneuss authored 12 years ago
  
  ea45d885
- This is no longer needed · 1590ca1a
  Etienne Kneuss authored 12 years ago
  
  1590ca1a
- Fix the classpath mess for good. · 9c422817
  Etienne Kneuss authored 12 years ago
  9c422817
- remove usage of FunctionType and AnonymousFunction · 1721a865
  Régis Blanc authored 12 years ago
  
  1721a865
- Break the inner-compiler in different ways so that it works with sbt test. · a2e7db77
  Etienne Kneuss authored 12 years ago
  
  a2e7db77
- fix bugs in SatSolver, can be run with scala (not with Leon though) · d228bea0
  Régis Blanc authored 12 years ago
  
  d228bea0
- One way of handling integer command line options. · 1288fc0b
  Philippe Suter authored 12 years ago
  
  1288fc0b
Dec 12, 2012
- error tests also for purescala · f1507b5f
  Régis Blanc authored 12 years ago
  
  f1507b5f
- run error tests · c44d861f
  Régis Blanc authored 12 years ago
  
  c44d861f
- use LeonFatalError to exit · 7bcd4243
  Régis Blanc authored 12 years ago
  
  7bcd4243
- timeout option back for analysis phase · 8d704341
  Régis Blanc authored 12 years ago
  
  8d704341
- add error regression tests · 9f5e11c7
  Régis Blanc authored 12 years ago
  
  9f5e11c7
- Improve classpath situation, leon lib still missing though · 703814a9
  Etienne Kneuss authored 12 years ago
  
  703814a9
- Update web README · 4b7539f1
  Etienne Kneuss authored 12 years ago
  
  4b7539f1
- No need for this anymore · e07e93bc
  Etienne Kneuss authored 12 years ago
  
  e07e93bc
- Document · 23471687
  Etienne Kneuss authored 12 years ago
  
  23471687
- Obtain inner classpath from SCALA_HOME, so make sure it is SET · 9301c8ac
  Etienne Kneuss authored 12 years ago
  
  9301c8ac
- Instructions for local run · b3431645
  Etienne Kneuss authored 12 years ago
  
  b3431645
- Add local.conf and ignore it at the same time · f3cbaf4d
  Etienne Kneuss authored 12 years ago
  
  f3cbaf4d
- Fix instructions, add compiler dependency, add classpath to leon-lib · 6c644bcf
  Etienne Kneuss authored 12 years ago
  
  6c644bcf
- Import classPath from configuration · cbbfad02
  Etienne Kneuss authored 12 years ago
  
  cbbfad02
- Implement Synthesis/Verification Tabs · c617e3d0
  Etienne Kneuss authored 12 years ago
  
  c617e3d0
- websocket URL no longer needed · 0a061a12
  Etienne Kneuss authored 12 years ago
  
  0a061a12
- Make leon online more configurable so that it can run on laraserver · 78ce67ae
  Etienne Kneuss authored 12 years ago
  
  78ce67ae
- Fix bug in ADT Induction · 1dae9568
  Etienne Kneuss authored 12 years ago
  
  1dae9568
- Works on web with hardcoded classPath **TO FIX** · 202352d9
  Etienne Kneuss authored 12 years ago
  
  202352d9
- Almost ok · a0e8cda8
  Etienne Kneuss authored 12 years ago
  
  a0e8cda8
- Remove link to list of files, included now · d5bc7d01
  Etienne Kneuss authored 12 years ago
  
  d5bc7d01
- Fix background · e01b730d
  Etienne Kneuss authored 12 years ago
  
  e01b730d
- Nicer with line-wrapping, and thus no horiz scrollbar · b2808f57
  Etienne Kneuss authored 12 years ago
  
  b2808f57
- So far so good · 6f29a33b
  Etienne Kneuss authored 12 years ago
  
  6f29a33b
- cleaner unapply for Tuple · 7f0884f5
  Régis Blanc authored 12 years ago
  
  7f0884f5
- bestRealType only used in TupleType constructor · 2b10d787
  Régis Blanc authored 12 years ago
  
  2b10d787
- move test from xlang to purescala for non xlang features · 5eaadfc9
  Régis Blanc authored 12 years ago
  
  5eaadfc9