opentheory-transform/Library, branch master

opentheory-transform/Library, branch master Opentheory proof trace optimizer Reorganising source code 2014-04-08T05:06:40+00:00 Jed Barber jjbarber@y7mail.com 2014-04-08T05:06:40+00:00 03d38eb3190eb5e51fb18847fe0792013285bde5

Removed some superfluous lambdas in intermediate functions 2014-03-11T15:17:25+00:00 Jed Barber jjbarber@y7mail.com 2014-03-11T15:17:25+00:00 b5ff89d417c73d74a42a1756cb3ecd99b7a3e7f4

Getting remote and local repos sync'd 2014-03-06T07:17:15+00:00 Jed Barber jjbarber@y7mail.com 2014-03-06T07:17:15+00:00 ef81889c1eccb08acc27d47c9df652541134e3db

Added function to add many graphparts at once 2012-10-07T09:52:01+00:00 Jed Barber jjbarber@y7mail.com 2012-10-07T09:52:01+00:00 93dcd8b68c0b9d3ecb5cb2352b11c3a9b362f1d9

Dictionary methods cleaned up, Cost model library added 2012-10-07T09:45:46+00:00 Jed Barber jjbarber@y7mail.com 2012-10-07T09:45:46+00:00 50c50fc70fbe27e5fe37e572675b3ddac283f54b

Alpha equivalence typing fixed 2012-10-04T12:23:41+00:00 Jed Barber jjbarber@y7mail.com 2012-10-04T12:23:41+00:00 986cc4ac3d0fe32417338671dd6db2eeb54442a3

Types only tracked in alpha equivalence for bound variables 2012-09-28T13:54:15+00:00 Jed Barber jjbarber@y7mail.com 2012-09-28T13:54:15+00:00 102f42fa347b10190704562ae3638f5683772211

Exposed function to convert machineStates to strings 2012-09-27T14:48:01+00:00 Jed Barber jjbarber@y7mail.com 2012-09-27T14:48:01+00:00 0130c834481c99f9f9f4da527acb4d712aa1f664

Added function to compute the difference of two stacks 2012-09-27T14:47:29+00:00 Jed Barber jjbarber@y7mail.com 2012-09-27T14:47:29+00:00 adcd3d4d04ed1fddf6c127d17dac6c3fefed407a

Type alpha equivalence in limbo 2012-09-27T14:46:11+00:00 Jed Barber jjbarber@y7mail.com 2012-09-27T14:46:11+00:00 02060edfb27d906035215f9afd0f1bf13838264c