Commits

History for

Commits on Sep 23, 2017

Latest development in BitFunctor2 concept
Sergey Kazenyuk
committed
f275c16
Latest developments in older version
Sergey Kazenyuk
committed
0d7d629

Commits on Aug 27, 2017

SafeCopy instances for Crypto types
Sergey Kazenyuk
committed
6777f07
Make Hash an instance of Hashable
Sergey Kazenyuk
committed
ccb9fac

Commits on Aug 24, 2017

Minor crypto refactoring
Sergey Kazenyuk
committed
ce857c2

Commits on Aug 20, 2017

More typesafe Hash, becoming phantom type with "What" parameter
Sergey Kazenyuk
committed
36f54f6

Commits on Aug 17, 2017

Make Hash a newtype and derive ByteArrayAccess
Sergey Kazenyuk
committed
4fb981b

Commits on Jul 13, 2017

Remove bitfunctory-theory as it was migrated into its own repo
Sergey Kazenyuk
committed
859ba2d

Commits on Dec 12, 2016

some a'posteriori commit
andruiman
committed
9c5b903

Commits on May 18, 2016

UsesBottom is removed
andruiman
committed
a1cff29

Commits on May 11, 2016

Supersede Token with Asset model and a little better asset model
nvmd
committed
47701cc
Use guards instead of long chain of if-then-elses
nvmd
committed
60aa50f

Commits on May 10, 2016

Fix Coq Theory build
nvmd
committed
97928da
Fix typo
nvmd
committed
752c87c
Fix build with aeson-0.9.0.1 and use hex for digest json encode/decode
nvmd
committed
af5bc6a

Commits on May 9, 2016

First implementations of theoryd, added Acid DB for theory storing, simple REST API between coqxtractor and theoryd
andruiman
committed
c227230

Commits on May 3, 2016

Commits on Apr 29, 2016

newtype -> type
nvmd
committed
77dab7f

Commits on Apr 27, 2016

Merge remote-tracking branch 'refs/remotes/origin/develop' into develop
andruiman
committed
c469380
Workaround coqxtractor/coq issues
andruiman
committed
9280deb
Cleanup
nvmd
committed
12ac88b
Encode Block for signing
nvmd
committed
8c59624
Binary Block definition
nvmd
committed
d18d7be
Move UTCTimeAsPOSIXSeconds and POSIXTime Binary instances to Common
nvmd
committed
ae54f26

Commits on Apr 26, 2016

Merge remote-tracking branch 'refs/remotes/origin/develop' into develop
andruiman
committed
7c4f1a2
Added cli for coqxtractor, added serializing theory: reading, writing, extracting terms from the read file
andruiman
committed
3e856a7
Transaction types' Binary instances. Minor Arbitrary instance cleanup
nvmd
committed
0f328ef
Merge branch 'abstractrefactoring' into develop
andruiman
committed
b488695
The big stage of refactoring is done
andruiman
committed
a8cbcdd
Binary instances for Tokens
nvmd
committed
61fcc15
Binary instance for signature
nvmd
committed
9317029
Binary and Serialize instances for Hash, module refactoring
nvmd
committed
5c637ff

Commits on Apr 22, 2016

Unsuccessfull trying to refactor Theory.Types to more general behaviour
andruiman
committed
41d4654

Commits on Apr 21, 2016

Continuing bug fixing in extraction
andruiman
committed
6efdc44