Commits · ecbab0bad95629fec622213b7716154892dc07ba · POTTIER Francois / fix

29 Nov, 2018 4 commits
- Use more local modules. · ecbab0ba
  POTTIER Francois authored Nov 29, 2018
  
  ecbab0ba
- Movement. · 96b7dc56
  POTTIER Francois authored Nov 29, 2018
  
  96b7dc56
- Progress on the blog post. · 8fad94a2
  POTTIER Francois authored Nov 29, 2018
  
  8fad94a2
- Comments. · a5c7afee
  POTTIER Francois authored Nov 29, 2018
  
  a5c7afee
28 Nov, 2018 3 commits
- Some progress on the blog post. · bcac1c43
  POTTIER Francois authored Nov 28, 2018
  
  bcac1c43
- Code movement. · 08ee3403
  POTTIER Francois authored Nov 28, 2018
  
  08ee3403
- New introductory section in the blog post. · 423e6ac2
  POTTIER Francois authored Nov 28, 2018
  
  423e6ac2
27 Nov, 2018 17 commits
- Beginning of a blog post. · 195c19d7
  POTTIER Francois authored Nov 27, 2018
  
  195c19d7
- Updated tests. · d2ea8627
  POTTIER Francois authored Nov 27, 2018
  
  d2ea8627
- More concise printing. · 627b3ec7
  POTTIER Francois authored Nov 27, 2018
  
  627b3ec7
- More tests. · f8f52b4a
  POTTIER Francois authored Nov 27, 2018
  
  f8f52b4a
- When displaying a DFA, group edges that have the same source and target states. · e4c32e02
  POTTIER Francois authored Nov 27, 2018
  
  e4c32e02
- Replace three [assert false] with code that blames the user. · aca84993
  POTTIER Francois authored Nov 27, 2018
  
  aca84993
- Add a few tests. · eae3e004
  POTTIER Francois authored Nov 27, 2018
  
  eae3e004
- Implement [exec]. · a6646c0e
  POTTIER Francois authored Nov 27, 2018
  
  a6646c0e
- Require OCaml 4.03, due to our use of Ephemeron. · ae671cb8
  POTTIER Francois authored Nov 27, 2018
  
  ae671cb8
- Updated opam synopsis. · 7fa6d262
  POTTIER Francois authored Nov 27, 2018
  
  7fa6d262
- TODO. · f29a3c91
  POTTIER Francois authored Nov 27, 2018
  
  f29a3c91
- Add glue code to transport structure through an injection. · fe249682
  POTTIER Francois authored Nov 27, 2018
  
  fe249682
- Avoid Map. and Hashtbl. prefixes. · 32a880ba
  POTTIER Francois authored Nov 27, 2018
  
  32a880ba
- Comments. Definition of [INJECTION]. · 60dcb05d
  POTTIER Francois authored Nov 27, 2018
  
  60dcb05d
- README. · 6be1edf3
  POTTIER Francois authored Nov 27, 2018
  
  6be1edf3
- Comment. · 948ea7e8
  POTTIER Francois authored Nov 27, 2018
  
  948ea7e8
- Remove [IMPERATIVE_MAP], which was unused. · 2494bb2a
  POTTIER Francois authored Nov 27, 2018
  
  2494bb2a
26 Nov, 2018 13 commits
- TODO. · 498d339f
  POTTIER Francois authored Nov 26, 2018
  
  498d339f
- README. · 3d27bd3f
  POTTIER Francois authored Nov 26, 2018
  
  3d27bd3f
- Include brz in demos/Makefile. · 9d3f6586
  POTTIER Francois authored Nov 26, 2018
  
  9d3f6586
- README. · 3ed7d777
  POTTIER Francois authored Nov 26, 2018
  
  3ed7d777
- Comments. · 16942dd3
  POTTIER Francois authored Nov 26, 2018
  
  16942dd3
- Simplify the representation of DFAs. · ec2e2ab1
  POTTIER Francois authored Nov 26, 2018
  
  ec2e2ab1
- Cleanup. · e002f72e
  POTTIER Francois authored Nov 26, 2018
  
  e002f72e
- Remove the field [final]. · 82e6547c
  POTTIER Francois authored Nov 26, 2018
  
  82e6547c
- Remove [indicator]. · ea82cd8c
  POTTIER Francois authored Nov 26, 2018
  
  ea82cd8c
- General cleanup. · f104353f
  POTTIER Francois authored Nov 26, 2018
  
  f104353f
- Simplify [nonempty]. · 4aefef7c
  POTTIER Francois authored Nov 26, 2018
  
  4aefef7c
- Memoize [nullable] and [delta]. · e4250703
  POTTIER Francois authored Nov 26, 2018
  
  e4250703
- Remove [ifnullable]. · 8e415c76
  POTTIER Francois authored Nov 26, 2018
  
  8e415c76
25 Nov, 2018 3 commits
- First version of the demo that seems to work! · 21dd7c5b
  POTTIER Francois authored Nov 25, 2018
  
  21dd7c5b
- New module [Number]. · 07f869b6
  POTTIER Francois authored Nov 25, 2018
  
  07f869b6
- Compute nonemptiness ahead of time. · e2769965
  POTTIER Francois authored Nov 25, 2018
  
  e2769965