aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
* Retrieved updated version of Util/IterAssocOp and modified ExtendedCoordinate...Gravatar jadep2016-06-22
* Fixed syntax error (missing bracket) in Ed25519 to make merge buildGravatar jadep2016-06-22
* ed25519: continue derivationGravatar Andres Erbsen2016-06-22
* Finished refactor of GF25519 (partial evaluation); code builds but needs to b...Gravatar jadep2016-06-22
* Reverting Util/IterAssocOp to an earlier version for compatibility with Compl...Gravatar jadep2016-06-22
* Merge and refactor of GF25519Gravatar jadep2016-06-22
* Drop second projections in Ed25519Gravatar Jason Gross2016-06-22
* fix of GF25519 in progress; created instantiation of PseudoMersenneBaseParamsGravatar Jade Philipoom2016-06-22
* made BaseVector instance globalGravatar Jade Philipoom2016-06-22
* refactor of Basesystem and ModularBaseSystem; includes general code organizat...Gravatar Jade Philipoom2016-06-22
* Refactored BaseSystem and ModularBaseSystem.Gravatar Jade Philipoom2016-06-22
* IterAssocOp: now uses arbitrary representation of scalar that implements testbitGravatar Jade Philipoom2016-06-22
* IterAssocOp : now takes a bound argument instead of just using size of exponentGravatar Jade Philipoom2016-06-22
* Full pipeline working againGravatar Robert Sloan2016-06-22
* Huge Language / Conversion refactorsGravatar Robert Sloan2016-06-22
* More refactors that will make this whole thing very unstableGravatar Robert Sloan2016-06-22
* Running PipelineExampleGravatar Robert Sloan2016-06-22
* Parsing portion of StringConversionGravatar Robert Sloan2016-06-22
* AlmostConversion and part of StringConversionGravatar Robert Sloan2016-06-22
* PseudoMedialConversion doneGravatar Robert Sloan2016-06-22
* Generalized and cleaned up state modelGravatar Robert Sloan2016-06-22
* Finished proofs in QhasmEvalCommon for formalizing mappingsGravatar Robert Sloan2016-06-22
* Major language refactoring to support Memory and AddWithCarryGravatar Robert Sloan2016-06-22
* MedialConversions doneGravatar Robert Sloan2016-06-22
* Tuple-ization tactics workGravatar Robert Sloan2016-06-22
* Fixed MultiBoundedWords to use wand_maskGravatar Robert Sloan2016-06-22
* Full-pipeline exampleGravatar Robert Sloan2016-06-22
* multi works with enough timeGravatar Robert Sloan2016-06-22
* pushed mul through the pipelineGravatar Robert Sloan2016-06-22
* Pushed through 2-ary multiplication except conversionsGravatar Robert Sloan2016-06-22
* Finished first draft of PseudoConversionsGravatar Robert Sloan2016-06-22
* actually-decent PseudoConversion semanticsGravatar Robert Sloan2016-06-22
* A little progress on PseudoConversionGravatar Robert Sloan2016-06-22
* removed float operations + improved pseudo somewhatGravatar Robert Sloan2016-06-22
* A little progress on PseudoConversionGravatar Robert Sloan2016-06-22
* Pseudo Evaluation DoneGravatar Robert Sloan2016-06-22
* Part of Pseudo EvaluationGravatar Robert Sloan2016-06-22
* Finished string conversionsGravatar Robert Sloan2016-06-22
* Hypothesis-based Bounded WordsGravatar Robert Sloan2016-06-22
* Assembly converted except String and Gallina conversionsGravatar Robert Sloan2016-06-22
* Simpler QhasmCommon grammarGravatar Robert Sloan2016-06-22
* figured out all that crazy joinWords refinementGravatar Robert Sloan2016-06-22
* Fix Qhasm and AlmostQhasm with new State machineryGravatar Robert Sloan2016-06-22
* Breaking out State into its own fileGravatar Robert Sloan2016-06-22
* add Assembly to CoqProjectGravatar Robert Sloan2016-06-22
* Module-based reorganization of Qhasm codeGravatar Robert Sloan2016-06-22
* ed25519 derivation: pair programming with jgross... slow progressGravatar Andres Erbsen2016-06-22
* qhasm formal specification + evaluation finishedGravatar Robert Sloan2016-06-22
* nicer verify() derivation starterGravatar Andres Erbsen2016-06-22
* state top-level derivation for Ed25519.verifyGravatar Andres Erbsen2016-06-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-04 17:08:02 +0000