search

IBM / graph2tac

Graph-based neural tactic prediction models for Coq.
Apache License 2.0
8 stars 4 forks source link

Fix bugs #116

Closed jasonrute closed 1 year ago

jasonrute commented 1 year ago

Fix a bug related to unicode. Note we still don't tokenize unicode except to make all unicode characters tokenize to 1 uniformly. But now it doesn't crash when we see a unicode character.

Fix a verbose warning in the numpy code related to casting. The casting still works the same as before.

The tests pass.

jasonrute commented 1 year ago

I'll just merge it now since it is needed for getting v15 to work.