Commits · cfe5e3dfb06febafb72c6b603788819c47f3edb7 · Verified Software / jsexplain · GitLab

Snippets Groups Projects

Oct 06, 2016
- let_binding to let · cfe5e3df
  Alan Schmitt authored 8 years ago and Thomas Wood committed 8 years ago
  
  cfe5e3df
- cleanup · 29a4f3b3
  Alan Schmitt authored 8 years ago and Thomas Wood committed 8 years ago
  
  29a4f3b3
- moving away if_any_or_throw · 814514b1
  Alan Schmitt authored 8 years ago and Thomas Wood committed 8 years ago
  
  814514b1
- let%break · 4f21be5d
  Alan Schmitt authored 8 years ago and Thomas Wood committed 8 years ago
  
  4f21be5d
- let%ter · 4e06c2ff
  Alan Schmitt authored 8 years ago and Thomas Wood committed 8 years ago
  
  4e06c2ff
- let%not_throw · 8dd6b159
  Alan Schmitt authored 8 years ago and Thomas Wood committed 8 years ago
  
  8dd6b159
- let%success · 2d28a022
  Alan Schmitt authored 8 years ago and Thomas Wood committed 8 years ago
  
  putting if_success_or_return out of the way
  2d28a022
- if_success · d62f9eb0
  Alan Schmitt authored 8 years ago and Thomas Wood committed 8 years ago
  
  d62f9eb0
- let%void · 2193744a
  Alan Schmitt authored 8 years ago and Thomas Wood committed 8 years ago
  
  2193744a
- let%string and let%bool · fa8099ad
  Alan Schmitt authored 8 years ago and Thomas Wood committed 8 years ago
  
  fa8099ad
- let%some · aa4ce4b3
  Alan Schmitt authored 8 years ago and Thomas Wood committed 8 years ago
  
  aa4ce4b3
- let%number · cd277b69
  Alan Schmitt authored 8 years ago and Thomas Wood committed 8 years ago
  
  cd277b69
- let%prim · 31dba04f
  Alan Schmitt authored 8 years ago and Thomas Wood committed 8 years ago
  
  31dba04f
- let%value · 7a2d41d0
  Alan Schmitt authored 8 years ago and Thomas Wood committed 8 years ago
  
  7a2d41d0
- let%run · 99b9f3e5
  Alan Schmitt authored 8 years ago and Thomas Wood committed 8 years ago
  
  99b9f3e5
- let%object · 49be42ff
  Alan Schmitt authored 8 years ago and Thomas Wood committed 8 years ago
  
  49be42ff
- deleting unused files · e3450f86
  Alan Schmitt authored 8 years ago and Thomas Wood committed 8 years ago
  
  e3450f86
- progress_on_monad_transformation · bbb86502
  charguer authored 8 years ago and Thomas Wood committed 8 years ago
  
  bbb86502
- merged · 1c981724
  charguer authored 8 years ago and Thomas Wood committed 8 years ago
  
  1c981724
- Fix default code view (exception triggered when entering code into box and run... · 623e3213
  Thomas Wood authored 8 years ago
  
  Fix default code view (exception triggered when entering code into box and run without loading an example)
  623e3213
- Fix Array length update · c168e7af
  Thomas Wood authored 8 years ago
  
  c168e7af
- merge · b539d631
  Thomas Wood authored 8 years ago
  
  b539d631
- fixes · 3fbc12f5
  charguer authored 8 years ago and Thomas Wood committed 8 years ago
  
  3fbc12f5
- Use single eval panel, rather than multiple · 2e72e1c3
  Thomas Wood authored 8 years ago
  
  2e72e1c3
- Merge branch 'newctx' of https://github.com/resource-reasoning/jscert_dev into newctx · c3890782
  charguer authored 8 years ago and Thomas Wood committed 8 years ago
  
  c3890782
- Fixup default selected example · f67e8a4f
  Thomas Wood authored 8 years ago
  
  f67e8a4f
- fixes · d8f40003
  charguer authored 8 years ago and Thomas Wood committed 8 years ago
  
  d8f40003
- eval source code tracing/highlighting finished · 4d5b0618
  Thomas Wood authored 8 years ago
  
  4d5b0618
- work · dbe17eb5
  charguer authored 8 years ago and Thomas Wood committed 8 years ago
  
  dbe17eb5
- convert · f9a7f229
  charguer authored 8 years ago and Thomas Wood committed 8 years ago
  
  f9a7f229
- ppx · 6570e52b
  charguer authored 8 years ago and Thomas Wood committed 8 years ago
  
  6570e52b
- correct modulo_32 · 3af4d7ea
  Alan Schmitt authored 8 years ago and Thomas Wood committed 8 years ago
  
  3af4d7ea
- tiny tweaks · ab0ec58f
  Alan Schmitt authored 8 years ago and Thomas Wood committed 8 years ago
  
  ab0ec58f
- Implement eval parsing. · 740d3b1f
  Thomas Wood authored 8 years ago
  
  Still TODO: Strictness flag
  740d3b1f
- hush · 9a2b32b3
  Thomas Wood authored 8 years ago
  
  9a2b32b3
- Factor out excess cases in run_unary_op · 1b4d6655
  Thomas Wood authored 8 years ago
  
  1b4d6655
- Remove excess Coq_result_impossibles · 3d9a58be
  Thomas Wood authored 8 years ago
  
  3d9a58be
- Reinstate "better printing of returns" · 03dbf99f
  Thomas Wood authored 8 years ago
  
  returned expression must begin on same line as return keyword. This reverts commit 5df5474b454f501d63d1a5eaebe6d82e22fd825f.
  03dbf99f
- Run code after selecting/loading · 1c77a18c
  Thomas Wood authored 8 years ago
  
  1c77a18c
- Merge branch 'newctx' of https://github.com/resource-reasoning/jscert_dev into newctx · f3e3f290
  charguer authored 8 years ago and Thomas Wood committed 8 years ago
  
  f3e3f290