Commits · 79d42fa0e1a8cdc388c5f2e4e90dde5730dafd20 · Why3 / why3

18 Jun, 2014 1 commit
- Clean command-line arguments for IDE. · 79d42fa0
  Guillaume Melquiond authored Jun 18, 2014
  
  79d42fa0
16 Jun, 2014 2 commits
- Fix a few issues with option handling. · 59c59389
  Guillaume Melquiond authored Jun 16, 2014
  
  59c59389
- Change why3replayer into why3replay, so as to match other commands. · f44ea070
  Guillaume Melquiond authored Jun 16, 2014
  
  f44ea070
03 Jun, 2014 1 commit
- Update documentation. · 0285a2ab
  Guillaume Melquiond authored Jun 03, 2014
  
  0285a2ab
02 Jun, 2014 2 commits
- Fix bench. · 97750ea5
  Guillaume Melquiond authored Jun 02, 2014
  
  97750ea5
- Add a why3execute command. · 3631ec9d
  Guillaume Melquiond authored Jun 02, 2014
  
  3631ec9d
28 May, 2014 7 commits
- Display available commands by default. · 01ff3719
  Guillaume Melquiond authored May 28, 2014
  
  01ff3719
- Add an extract command to why3. · c8efbc1d
  Guillaume Melquiond authored May 28, 2014
  
  c8efbc1d
- Partly adapt the bench to the new commands. · f466ece0
  Guillaume Melquiond authored May 28, 2014
  
  f466ece0
- Improve why3realize --help. · a0ea5237
  Guillaume Melquiond authored May 28, 2014
  
  a0ea5237
- Simplify code for why3realize. · 138095d7
  Guillaume Melquiond authored May 28, 2014
  
  138095d7
- Make --realize into a proper subcommand. · ff1c023b
  Guillaume Melquiond authored May 28, 2014
  
  ff1c023b
- Factor option parsing for why3 commands. · 9deea655
  Guillaume Melquiond authored May 28, 2014
  
  9deea655
27 May, 2014 2 commits
- Add a "prove" subcommand. · 74e9e7b3
  Guillaume Melquiond authored May 27, 2014
  
  74e9e7b3
- Give a git-like invocation to why3 tools. · eedc2f21
  Guillaume Melquiond authored May 27, 2014
  
  eedc2f21
26 May, 2014 2 commits
- Dyck words example completed (thanks to Martin) · 87268cab
  Jean-Christophe Filliâtre authored May 26, 2014
  
  87268cab
- (WIP) continued dyck words & Warshall algorithm · 87fe8329
  Martin Clochard authored May 26, 2014
  
  87fe8329
24 May, 2014 2 commits
- Merge branch 'claude' · 75821528
  MARCHE Claude authored May 24, 2014
  
  75821528
- updated session · 93f3d110
  MARCHE Claude authored May 24, 2014
  
  93f3d110
23 May, 2014 6 commits
- why3doc: fixed bug with comment (**) · ecdd91e8
  Jean-Christophe Filliâtre authored May 23, 2014
  
  ecdd91e8
- Merge branch 'master' into claude · f27803e3
  MARCHE Claude authored May 23, 2014
  
  f27803e3
- skew heaps: a Heap interface, to be used later when we have module refinement · 08b0f200
  Jean-Christophe Filliâtre authored May 19, 2014 and MARCHE Claude committed May 23, 2014
  
  08b0f200
- skew heaps: application to heapsort · 2d5d4ba5
  Jean-Christophe Filliâtre authored May 17, 2014 and MARCHE Claude committed May 23, 2014
  
  2d5d4ba5
- new example: skew heaps · 02596ea3
  Jean-Christophe Filliâtre authored May 17, 2014 and MARCHE Claude committed May 23, 2014
```
various stuff added to in_progress
```
  02596ea3
- improved readability · 81ffa01d
  MARCHE Claude authored May 23, 2014
  
  81ffa01d
19 May, 2014 3 commits
- Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/why3/why3 · 49d7c46d
  Martin Clochard authored May 19, 2014
  
  49d7c46d
- AVL example: add minimum to priority queue model. · 414fc292
  Martin Clochard authored May 19, 2014
  
  414fc292
- skew heaps: a Heap interface, to be used later when we have module refinement · 0b5d1e8e
  Jean-Christophe Filliâtre authored May 19, 2014
  
  0b5d1e8e
17 May, 2014 2 commits
- skew heaps: application to heapsort · 858f585b
  Jean-Christophe Filliâtre authored May 17, 2014
  
  858f585b
- new example: skew heaps · 92465799
  Jean-Christophe Filliâtre authored May 17, 2014
```
various stuff added to in_progress
```
  92465799
15 May, 2014 3 commits
- Use the supported invocation of AC_INIT. · 4b8b9981
  Guillaume Melquiond authored May 15, 2014
```
The 1-argument version of AC_INIT is obsolete since 2003. Moreover, it
prevents ./configure --version from giving a meaningful output.
```
  4b8b9981
- Properly reflect in "configure --help" the default setting for the --enable/disable options. · 2aec83c9
  Guillaume Melquiond authored May 15, 2014
  
  2aec83c9
- Make multi_rounding compatible with recent versions of Gappa. · 30a960d8
  Guillaume Melquiond authored May 15, 2014
  
  30a960d8
13 May, 2014 7 commits
- Remove duplicate lemma. · c9d06ff9
  Guillaume Melquiond authored May 13, 2014
  
  c9d06ff9
- Define and prove mul. · 58034587
  Guillaume Melquiond authored May 13, 2014
  
  58034587
- Sanitize the Makefile · 0aa124de
  Jacques-Pascal Deplaix authored May 12, 2014 and Jean-Christophe Filliâtre committed May 13, 2014
  
  0aa124de
- Add an uninstall rule · 06354810
  Jacques-Pascal Deplaix authored May 07, 2014 and Jean-Christophe Filliâtre committed May 13, 2014
  
  06354810
- Fix the clean_old_install Makefile rule · abf380d6
  Jacques-Pascal Deplaix authored May 07, 2014 and Jean-Christophe Filliâtre committed May 13, 2014
  
  abf380d6
- Emacs mode: Provide the good module name (why3-mode => why3) · 24c88f90
  Jacques-Pascal Deplaix authored May 06, 2014 and Jean-Christophe Filliâtre committed May 13, 2014
  
  24c88f90
- Install the emacs mode at the right place · cfc383cb
  Jacques-Pascal Deplaix authored May 06, 2014 and Jean-Christophe Filliâtre committed May 13, 2014
  
  cfc383cb