Commits · c52eb37874e962fb9c33b3089f02889f8f3729e0 · Why3 / why3 · GitLab

27 Aug, 2010 7 commits
- whyml test use --debug-all instead of --debug · c52eb378
  Francois Bobot authored Aug 27, 2010
  
  c52eb378
- Debug : use references and add dprintf · d0925705
  Francois Bobot authored Aug 27, 2010
  
  d0925705
- Coq_plugin : retrieve Typing -> Lexer · 7ca93801
  Francois Bobot authored Aug 27, 2010
  
  7ca93801
- saved height and width in IDE config file · 352a03bc
  MARCHE Claude authored Aug 27, 2010
  
  352a03bc
- IDE config file · 51d8e8a1
  MARCHE Claude authored Aug 27, 2010
  
  51d8e8a1
- support for "syntax cloned" · 41de3e2c
  Andrei Paskevich authored Aug 27, 2010
  
  41de3e2c
- portability of parser.ml hacking · 1793fa97
  MARCHE Claude authored Aug 27, 2010
  
  1793fa97
26 Aug, 2010 16 commits
- add in TODO · 75337369
  Andrei Paskevich authored Aug 26, 2010
  
  75337369
- add Debug.stack_trace flag and Trans.apply_named call · 1c7d6a15
  Andrei Paskevich authored Aug 26, 2010
  
  1c7d6a15
- fix a counting bug in Debug (shame on me again) · 2120ce42
  Andrei Paskevich authored Aug 26, 2010
  
  2120ce42
- add Debug files to the repository (shame on me) · b9be39a1
  Andrei Paskevich authored Aug 26, 2010
  
  b9be39a1
- remove '~debug' option from driver routines · d0e3d342
  Andrei Paskevich authored Aug 26, 2010
  
  d0e3d342
- incremental typing in src/parser · 55fc17a9
  Andrei Paskevich authored Aug 26, 2010
  
  55fc17a9
- dynamic debug flag registration · 1df1f502
  Andrei Paskevich authored Aug 26, 2010
  
  1df1f502
- use Exn_printer-based exception handling everywhere · e2ef5bc4
  Andrei Paskevich authored Aug 26, 2010
  
  e2ef5bc4
- do not use *.output files as targets in Makefile · 47dc7a37
  Andrei Paskevich authored Aug 26, 2010
  
  47dc7a37
- make dependence on Menhir optional again · 71cc3741
  Andrei Paskevich authored Aug 26, 2010
  
  71cc3741
- remove the obsolete "report" parameter from Env.* · 01009c56
  Andrei Paskevich authored Aug 26, 2010
  
  01009c56
- better behavior of hide/show · 24ce29c0
  MARCHE Claude authored Aug 26, 2010
  
  24ce29c0
- fixed bug with selection of goals · d11ee57c
  MARCHE Claude authored Aug 26, 2010
  
  d11ee57c
- modele direct pour les theories et les buts · f63bf75b
  MARCHE Claude authored Aug 26, 2010
  
  f63bf75b
- icons in front of names · 5b20a74a
  MARCHE Claude authored Aug 26, 2010
  
  5b20a74a
- apply_transf done by the why thread instead of the gui thread · 705831e5
  MARCHE Claude authored Aug 26, 2010
  
  705831e5
25 Aug, 2010 14 commits
- rename tptp2why executables to whytptp · d1f40640
  Andrei Paskevich authored Aug 25, 2010
  
  d1f40640
- add dependency on menhir (not on the library) + a bit of cleanup · 12a3d007
  Andrei Paskevich authored Aug 25, 2010
  
  12a3d007
- explicit mutual dependence in Why declarations · c35b73a0
  Andrei Paskevich authored Aug 25, 2010
  
  c35b73a0
- visible rows · d2a26201
  MARCHE Claude authored Aug 25, 2010
  
  d2a26201
- Print exception in scheduler bu Exn_printer · 83de4f84
  Francois Bobot authored Aug 25, 2010
  
  83de4f84
- Encoding instantiate assert for term in fmla... · ec27f357
  Francois Bobot authored Aug 25, 2010
  
  ec27f357
- new methods: run a prover on unproved goals · c51249bb
  MARCHE Claude authored Aug 25, 2010
  
  c51249bb
- running_prover_max in conf file · df8c5de4
  MARCHE Claude authored Aug 25, 2010
  
  df8c5de4
- correction bug of let in bridge · a76db8e8
  Francois Bobot authored Aug 25, 2010
  
  a76db8e8
- show goal status · 9daed041
  MARCHE Claude authored Aug 25, 2010
  
  9daed041
- better scheduler · 36f4931c
  MARCHE Claude authored Aug 25, 2010
  
  36f4931c
- removed debug message in why-ide · 32386726
  MARCHE Claude authored Aug 25, 2010
  
  32386726
- option temporaire -split for why-ide · 7f3bff8e
  MARCHE Claude authored Aug 25, 2010
  
  7f3bff8e
- boomy · 7e981bc8
  MARCHE Claude authored Aug 25, 2010
  
  7e981bc8
23 Aug, 2010 3 commits
- avoid t2tb(tb2t(...)) in encoding_bridge · d5a73c70
  Andrei Paskevich authored Aug 23, 2010
  
  d5a73c70
- decorate terms in triggers · 437d61c7
  Andrei Paskevich authored Aug 23, 2010
  
  437d61c7
- remove deprecated Encoding_simple · e93d20e9
  Andrei Paskevich authored Aug 23, 2010
  
  e93d20e9