Commits · 1c176005f63ed98429bb85727c64b8d7af04a941 · POTTIER Francois / visitors

15 Mar, 2017 6 commits
- A new test of @build, incomplete. · 1c176005
  POTTIER Francois authored Mar 15, 2017
  
  1c176005
- Fix a test. · c80aabac
  POTTIER Francois authored Mar 15, 2017
  
  c80aabac
- Add a test. · f6cdb436
  POTTIER Francois authored Mar 15, 2017
  
  f6cdb436
- New test. · 96f81dda
  POTTIER Francois authored Mar 15, 2017
  
  96f81dda
- New tests of [@name] and [@@name]. · b27d284e
  POTTIER Francois authored Mar 15, 2017
  
  b27d284e
- New test. · 882301bf
  POTTIER Francois authored Mar 15, 2017
  
  882301bf
14 Mar, 2017 1 commit
- Use ppx_deriving to test for attributes. · 8008854b
  POTTIER Francois authored Mar 14, 2017
  
  8008854b
13 Mar, 2017 5 commits
- Introduce [cons]. · 5f91653b
  POTTIER Francois authored Mar 13, 2017
  
  5f91653b
- Tested variant 2. · 6a61ce5a
  POTTIER Francois authored Mar 13, 2017
  
  6a61ce5a
- Tested variant 1. · daa1f239
  POTTIER Francois authored Mar 13, 2017
  
  daa1f239
- Avoid a fragile pattern matching warning. · 67f2d122
  POTTIER Francois authored Mar 13, 2017
  
  67f2d122
- Renamed [generator.ml] to [delayed_tree.ml] and fixed a typo. · 31bdca28
  POTTIER Francois authored Mar 13, 2017
  
  31bdca28
09 Mar, 2017 2 commits
- Cleanup of [generator]. · b9695df1
  POTTIER Francois authored Mar 09, 2017
  
  b9695df1
- New test, [generator]. · 9e95809a
  POTTIER Francois authored Mar 09, 2017
  
  9e95809a
08 Mar, 2017 10 commits
- New tests involving hash-consing and [polymorphic] mode. · 8ed9101e
  POTTIER Francois authored Mar 08, 2017
  
  8ed9101e
- Spacing. · 16ee6642
  POTTIER Francois authored Mar 08, 2017
  
  16ee6642
- Comment. · 27c51334
  POTTIER Francois authored Mar 08, 2017
  
  27c51334
- Add a test. · 76d423e4
  POTTIER Francois authored Mar 08, 2017
  
  76d423e4
- Spacing. · 4ae9d8b0
  POTTIER Francois authored Mar 08, 2017
  
  4ae9d8b0
- Add a rule in [test/Makefile] to build an executable. · 458d00be
  POTTIER Francois authored Mar 08, 2017
  
  458d00be
- Add a use of [strip] and [number] in polymorphic mode. · 37049b46
  POTTIER Francois authored Mar 08, 2017
  
  37049b46
- Add [concrete = true]. · f262b731
  POTTIER Francois authored Mar 08, 2017
  
  f262b731
- Spacing. · c296f203
  POTTIER Francois authored Mar 08, 2017
  
  c296f203
- Split a test into two tests. · 098fb77d
  POTTIER Francois authored Mar 08, 2017
  
  098fb77d
07 Mar, 2017 2 commits
- Complete rewrite of test/Makefile so as to allow parallel tests. · fb20be25
  POTTIER Francois authored Mar 07, 2017
  
  fb20be25
- Add a bunch of .mllib files so as to group the test files into several sets. · 65f2fdec
  POTTIER Francois authored Mar 07, 2017
  
  65f2fdec
06 Mar, 2017 9 commits
- More tests of concrete classes in [cil_types]. · 568a26d7
  POTTIER Francois authored Mar 06, 2017
  
  568a26d7
- Check that we get concrete classes in [cil_types_polymorphic]. · d3514e67
  POTTIER Francois authored Mar 06, 2017
  
  d3514e67
- Add [make reinstall] in [test/Makefile]. · 63d9568d
  POTTIER Francois authored Mar 06, 2017
  
  63d9568d
- Remove [make adhoc]. · 7b33f08d
  POTTIER Francois authored Mar 06, 2017
  
  7b33f08d
- Test [fold] and [fold2] on [cil_types], too. · 62766b25
  POTTIER Francois authored Mar 06, 2017
  
  62766b25
- Test [cil_types] in polymorphic mode, too. · 9a3e3add
  POTTIER Francois authored Mar 06, 2017
  
  9a3e3add
- Test [mapreduce] and [mapreduce2] on [cil_types]. · 37e8c29a
  POTTIER Francois authored Mar 06, 2017
  
  37e8c29a
- Forbid [poly] variables under [@opaque]. · 021847d7
  POTTIER Francois authored Mar 06, 2017
  
  021847d7
- New test [expr_poly_opaque], currently broken. · 8c4eb039
  POTTIER Francois authored Mar 06, 2017
  
  8c4eb039
05 Mar, 2017 1 commit
- Documentation: removed [@opaque] in the mapreduce visitor. · 6687fb49
  POTTIER Francois authored Mar 05, 2017
  
  6687fb49
03 Mar, 2017 4 commits
- Generate more code in [VisitorsRuntimeBootstrap]. · 164f5d9b
  POTTIER Francois authored Mar 03, 2017
  
  164f5d9b
- Update the parameters in VisitorsRuntimeBootstrap. · ae4c6ce2
  POTTIER Francois authored Mar 03, 2017
  
  ae4c6ce2
- Test of [data = false]. · 1d2dd55d
  POTTIER Francois authored Mar 03, 2017
  
  1d2dd55d
- New file test/VisitorsRuntimeBootstrap.ml. · d4aa858c
  POTTIER Francois authored Mar 03, 2017
  
  d4aa858c