Commits · master · Nils Fitinghoff / why3 · GitLab

Snippets Groups Projects

Oct 03, 2018
- Merge branch 'extraction_cosmetics' into 'master' · d1bb2ed9
  Raphaël Rieu-Helft authored 6 years ago
  d1bb2ed9
- C extraction: print much fewer parentheses · 6b94c96b
  Raphaël Rieu-Helft authored 6 years ago
  
  6b94c96b
- Merge branch 'issue_191' into 'master' · 25e4d7ee
  DAILLER Sylvain authored 6 years ago
  25e4d7ee
- Fix another session · 6cca4ffc
  Raphaël Rieu-Helft authored 6 years ago
  
  6cca4ffc
Oct 02, 2018
- Fix sessions · 83265f53
  Raphaël Rieu-Helft authored 6 years ago
  
  83265f53
- fix issue #188 · 22ab5177
  Claude Marché authored 6 years ago
  22ab5177
- Merge branch 'issue_190' into 'master' · eb96f1af
  DAILLER Sylvain authored 6 years ago
  eb96f1af
- Naming proposition for expl of transformations with arguments #191 · b434a9a8
  Sylvain Dailler authored 6 years ago
  b434a9a8
- Extraction: allow local idents in different functions/signatures to have the same name · 0f7b3e3d
  Raphaël Rieu-Helft authored 6 years ago
  
  0f7b3e3d
- OCaml printer: cosmetic · 85fd313b
  Mário Pereira authored 6 years ago
  
  85fd313b
- Fix issue #190 · c1dde87a
  Sylvain Dailler authored 6 years ago
  c1dde87a
- ce-bench: fix ce-bench · 64b9237d
  Sylvain Dailler authored 6 years ago
  64b9237d
- Remove some useless casts and qualifiers · 25324e99
  Raphaël Rieu-Helft authored 6 years ago
  
  25324e99
Oct 01, 2018
- repair sessions · 06e1fdc8
  Andrei Paskevich authored 6 years ago
  
  06e1fdc8
- encoding_twin: make the order of added declarations more deterministic · 4b79dcf1
  Andrei Paskevich authored 6 years ago
  
  4b79dcf1
- fix issue #134: bisect does not raise `Invalid_argument` anymore · f12b7a9f
  Claude Marché authored 6 years ago
  f12b7a9f
- minor update sessions (time only) · dcd1cd96
  Claude Marché authored 6 years ago
  
  dcd1cd96
- always save sessions using the current shape version · c3aa905c
  Claude Marché authored 6 years ago
  
  c3aa905c
Sep 27, 2018
- Pretty: do not print qualifiers for the built-in symbols · 3b45464e
  Andrei Paskevich authored 6 years ago
  
  3b45464e
- print qualified names in types for type-mismatch errors · dc0b56b0
  Andrei Paskevich authored 6 years ago
  dc0b56b0
Sep 26, 2018
- Merge branch 'ce_bench_error' into 'master' · 0080ce31
  DAILLER Sylvain authored 6 years ago
  0080ce31
- ce oracle update · 2f4c5d86
  Sylvain Dailler authored 6 years ago
  
  2f4c5d86
Sep 25, 2018
- ce-bench now fails when there is a diff · fd944728
  Sylvain Dailler authored 6 years ago
  
  fd944728
Sep 24, 2018
- Reduce memory consumption of Why3. · 0558b653
  Guillaume Melquiond authored 6 years ago
  0558b653
- Make the garbage collector more aggressive during continuous integration. · 8e5da6fb
  Guillaume Melquiond authored 6 years ago
  
  8e5da6fb
- Merge branch 'sept_merge_new_ide' into 'master' · 1e39b6c0
  DAILLER Sylvain authored 6 years ago
  1e39b6c0
- Merge branch 'new_ide' into master · 7c901fd6
  Sylvain Dailler authored 6 years ago
  7c901fd6
Sep 23, 2018
- bench: ring_decision is moved to in_progress · ba6df492
  Andrei Paskevich authored 6 years ago
  
  ba6df492
- move ring_decision to in_progress/ · 0693e41b
  Andrei Paskevich authored 6 years ago
  
  0693e41b
- update the shapes to v5 in regtests · 1de56fdb
  Andrei Paskevich authored 6 years ago
  1de56fdb
- update some obsolete sessions · 149c9bd9
  Andrei Paskevich authored 6 years ago
  
  149c9bd9
- remove trivial goals from sessions · bbd2dc4d
  Andrei Paskevich authored 6 years ago
  
  bbd2dc4d
Sep 21, 2018
- Extraction: minor · 558c5423
  Mário Pereira authored 6 years ago
  
  558c5423
- Vc: avoid generating trivial VCs · fc1d0588
  Andrei Paskevich authored 6 years ago
  
  fc1d0588
- Vc: another attempt at (slightly) improving termination checking · 017f3334
  Andrei Paskevich authored 6 years ago
  
  017f3334
Sep 20, 2018
- Merge branch '185_let_premise_apply' into 'master' · 22eea516
  DAILLER Sylvain authored 6 years ago
  22eea516
- [transform apply] let is now a premise for applied condition of apply · 35ffacad
  Sylvain Dailler authored 6 years ago
  
  35ffacad
Sep 18, 2018
- Stdlib/floats: allow the use of basic float operations in programs · 58a3584f
  Claude Marché authored 6 years ago
  
  58a3584f
- ce bench: recover examples jlamp0 · 442bffc9
  Sylvain Dailler authored 6 years ago
  
  442bffc9
Sep 14, 2018
- Merge branch 'for_framac' into 'master' · 3c35856d
  François Bobot authored 6 years ago
  3c35856d