Commits · d39a8cf575dc195c57e00a9e785a2f22bb263598 · Verified Software / jsexplain · GitLab

Snippets Groups Projects

Aug 01, 2015
- Add support for infix operators · d39a8cf5
  Paul Iannetta authored 9 years ago and Thomas Wood committed 9 years ago
  
  d39a8cf5
- first version of the log module done · 3803c94f
  Paul Iannetta authored 9 years ago and Thomas Wood committed 9 years ago
  
  3803c94f
- removed unwanted auto-generated javascript test files · 45a67ca7
  Paul IANNETTA authored 9 years ago and Thomas Wood committed 9 years ago
  
  45a67ca7
- Setup the basis of the logger module · a1c787da
  Paul IANNETTA authored 9 years ago and Thomas Wood committed 9 years ago
  
  a1c787da
- add partial support for records · 8be21066
  Paul IANNETTA authored 9 years ago and Thomas Wood committed 9 years ago
  
  8be21066
- last changes · f949c5cd
  Paul IANNETTA authored 9 years ago and Thomas Wood committed 9 years ago
  
  f949c5cd
- clean up. Partial support for for and while construct. · 70197c81
  Paul IANNETTA authored 9 years ago and Thomas Wood committed 9 years ago
  
  70197c81
- Slight additions to mytools.ml · 118aad88
  Paul IANNETTA authored 9 years ago and Thomas Wood committed 9 years ago
  
  118aad88
- Moved the management of attributes in a separate file · 9d6e7022
  Paul IANNETTA authored 9 years ago and Thomas Wood committed 9 years ago
  
  9d6e7022
- big update: README, Makefiles, examples · aa0bd258
  Paul IANNETTA authored 9 years ago and Thomas Wood committed 9 years ago
  
  aa0bd258
- pattern matching with deepth of one is fully supported · 906bb716
  lithrein authored 9 years ago and Thomas Wood committed 9 years ago
  
  906bb716
- Eventually the hashtable contains only the constructors, the type is still... · ecf53627
  lithrein authored 9 years ago and Thomas Wood committed 9 years ago
  
  Eventually the hashtable contains only the constructors, the type is still accessible in the second part of the stored tuple
  ecf53627
- Default parameter names are stored in a hash table. · 990dd3ac
  lithrein authored 9 years ago and Thomas Wood committed 9 years ago
  
  990dd3ac
- added gestion for declaration of tuples and improvment on match-with construction · 55c832ef
  lithrein authored 9 years ago and Thomas Wood committed 9 years ago
  
  55c832ef
- work in progress on the transformation from ocaml to js · 669d99a5
  lithrein authored 9 years ago and Thomas Wood committed 9 years ago
  
  669d99a5
- Miniml generator (sorry, I should have committed this some time ago...) · c3269c00
  Martin Bodin authored 9 years ago and Thomas Wood committed 9 years ago
  
  c3269c00
- missing ; · d2d26d79
  Alan Schmitt authored 9 years ago and Thomas Wood committed 9 years ago
  
  d2d26d79
- Merge branch 'master' of https://github.com/resource-reasoning/jscert_dev · a8951942
  charguer authored 9 years ago and Thomas Wood committed 9 years ago
  
  a8951942
- seq in correct order · 953cd378
  Alan Schmitt authored 9 years ago and Thomas Wood committed 9 years ago
  
  953cd378
- ok · a855018e
  charguer authored 9 years ago and Thomas Wood committed 9 years ago
  
  a855018e
- çca compile · 249d3d77
  charguer authored 9 years ago and Thomas Wood committed 9 years ago
  
  249d3d77
- Put back the old version of this file. · b273a34f
  Martin Bodin authored 9 years ago and Thomas Wood committed 9 years ago
  
  b273a34f
- nim · a6c8ca27
  charguer authored 9 years ago and Thomas Wood committed 9 years ago
  
  a6c8ca27
- Adding what it should look like. · 444a7264
  Martin Bodin authored 9 years ago and Thomas Wood committed 9 years ago
  
  444a7264
- compile · db267237
  charguer authored 9 years ago and Thomas Wood committed 9 years ago
  
  db267237
- adding start and end location information to the generated AST · f91b6d89
  Alan Schmitt authored 9 years ago and Thomas Wood committed 9 years ago
  
  f91b6d89
- alloc · 86851213
  Alan Schmitt authored 9 years ago and Thomas Wood committed 9 years ago
  
  86851213
- esprima conversion · 8e3cecaf
  Alan Schmitt authored 9 years ago and Thomas Wood committed 9 years ago
  
  8e3cecaf
- Merge branch 'master' of https://github.com/resource-reasoning/jscert_dev · 6f942b21
  charguer authored 9 years ago and Thomas Wood committed 9 years ago
  
  6f942b21
- Removed an outdated instruction. · 7d55991c
  Martin Bodin authored 9 years ago and Thomas Wood committed 9 years ago
  
  7d55991c
- Minor. · 376d3934
  Martin Bodin authored 9 years ago and Thomas Wood committed 9 years ago
  
  376d3934
- Minor changes about the “run” button. · 87799632
  Martin Bodin authored 9 years ago and Thomas Wood committed 9 years ago
  
  87799632
- gen · d0ea382e
  charguer authored 9 years ago and Thomas Wood committed 9 years ago
  
  d0ea382e
- fixed · 9b9acca9
  charguer authored 9 years ago and Thomas Wood committed 9 years ago
  
  9b9acca9
- fix · ae5983a7
  charguer authored 9 years ago and Thomas Wood committed 9 years ago
  
  ae5983a7
- Merge branch 'master' of https://github.com/resource-reasoning/jscert_dev · fe195ada
  charguer authored 9 years ago and Thomas Wood committed 9 years ago
  
  fe195ada
- Fixing my previous commit :-) · 8a781423
  Martin Bodin authored 9 years ago and Thomas Wood committed 9 years ago
  
  8a781423
- merged · 33fb1382
  charguer authored 9 years ago and Thomas Wood committed 9 years ago
  
  33fb1382
- Adding the array_of_env to factorise everything. · 0cd6360e
  Martin Bodin authored 9 years ago and Thomas Wood committed 9 years ago
  
  0cd6360e
- adding esprima support · 6597098b
  Alan Schmitt authored 9 years ago and Thomas Wood committed 9 years ago
  
  6597098b