Ordinal path ordering

lp:opo

Created by Ohad Kammar on 2015-07-15 and last modified on 2015-12-28

Get this branch:: bzr branch lp:opo

Only Ohad Kammar can upload to this branch. If you are Ohad Kammar please log in for upload directions.

Related bugs

Link a bug report

Related blueprints

Branch information

Owner:: Ohad Kammar

Project:: Ordinal path ordering

Status:: Development

Recent revisions

40. By Ohad Kammar <email address hidden> on 2015-12-28

First attempt at the test suite (Phew!)

39. By Ohad Kammar <email address hidden> on 2015-12-26

Bugfix: one case in the definition of the reduct set included the original term

38. By Ohad Kammar <email address hidden> on 2015-12-25

Bugfixes: pretty printer and random lambda term generator

In the process, extends the interface to contexts to include the size

37. By Ohad Kammar <email address hidden> on 2015-12-23

Change random test to make arbitrary reductions instead of only leftmost redex

36. By Ohad Kammar <email address hidden> on 2015-12-23

Implement the nested case (no pretty printing yet)

35. By Ohad Kammar <email address hidden> on 2015-12-22

Implement nested ordinal diagrams (not the ordering yet)

34. By Ohad Kammar <email address hidden> on 2015-12-22

removed some coverage warnings

33. By Ohad Kammar <email address hidden> on 2015-12-15

Refactor magic numbers to weights vector

32. By Ohad Kammar <email address hidden> on 2015-12-15

Finished initial version of random lambda term genrator

31. By Ohad Kammar <email address hidden> on 2015-12-14

Snapshot: implementing random lambda term generator

Branch metadata

Branch format:: Branch format 7

Repository format:: Bazaar repository format 2a (needs bzr 1.16 or later)

This branch contains Public information

Everyone can see this information.

Subscribers

Ohad Kammar