Home Explore Help
Sign In
Uladox
Repositories Public Activity

Uladox pushed to master at Uladox/nit

7 years ago

Uladox pushed to master at Uladox/nit

  • 1769f2b320 Adds set operations They are not tested yet.

7 years ago

Uladox pushed to master at Uladox/nit

  • e6cafc3796 Fixes bug where symbol does not get set if already in table

7 years ago

Uladox pushed to master at Uladox/nit

7 years ago

Uladox pushed to master at Uladox/nit

  • 985bdd0793 Uses enum type for errors This should make using nit easier since particular errors can easily be checked using a switch statement.

7 years ago

Uladox pushed to master at Uladox/nit

  • e011496abd Adds failure macro for act functions This solution is elegant since an extra argument is not needed and the return value can still represent change data!

7 years ago

Uladox pushed to master at Uladox/nit

  • cf127fdcc9 Adds tries, acts, and state Next I'll have to add contracts. Still might need to check for bugs.

7 years ago

Uladox pushed to master at Uladox/nit

  • 78de57c5e2 Adds index and trie data structures There are also some small changes like graph using set.h instead of map.h

7 years ago

Uladox pushed to master at Uladox/nit

  • 4505fd72e1 Begins cleaning up library with simpler data structures

7 years ago

Uladox pushed to master at Uladox/unfy

  • ee6cf97ae8 Changes order of unfp functions by type

7 years ago

Uladox pushed to master at Uladox/rls

  • cf3d23bc94 Printing searches now shows more info about how things bind

7 years ago

Uladox pushed to master at Uladox/unfy

  • 0bd9bcb618 Adds more exact means of printing binds

7 years ago

Uladox pushed to master at Uladox/rls

  • 3901be42df Adds back functions for checking sameness

7 years ago

Uladox pushed to master at Uladox/unfy

7 years ago

Uladox pushed to master at Uladox/rls

  • 4dc9c3d078 Starts ordering functions more by type

7 years ago

Uladox pushed to master at Uladox/unfy

  • 2d827bfcd2 Adds the list_same function back and changes bind_rep to bind_replace I think Unfy is about done now. It does everything it can and should do as a unification library, I can't think of anything else to add or remove to make it better. It just works.

7 years ago

Uladox pushed to master at Uladox/nit

7 years ago

Uladox pushed to master at Uladox/ilk

  • 6a2a3e2178 Fixes buffer bug with recall Buffer was being overwritten before, now it no longer is.

7 years ago

Uladox pushed to master at Uladox/rls

7 years ago

Uladox pushed to master at Uladox/nit

7 years ago