aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | missing config.hDavid Monniaux2019-03-291-0/+3
| * | | | Makefile for picosatDavid Monniaux2019-03-293-62/+0
| | |/ / | |/| |
| * | | ocaml benchmarkDavid Monniaux2019-03-283-8/+22
| * | | MakefileDavid Monniaux2019-03-285-1025/+35
| * | | NDEBUGDavid Monniaux2019-03-281-0/+6
| * | | some more inlineDavid Monniaux2019-03-282-12/+13
| * | | add some INLINE markersDavid Monniaux2019-03-281-36/+38
| * | | picosat now uses the same Makefile system as the restDavid Monniaux2019-03-283-3/+49
* | | | Merge branch 'mppa-ternary' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Com...David Monniaux2019-04-025-1527/+39
|\ \ \ \ | | |_|/ | |/| |
| * | | merge VLIW proofsDavid Monniaux2019-03-285-1527/+39
| |\| |
| | * | some more ternaryDavid Monniaux2019-03-241-6/+6
| | * | experiments with ternary operatorDavid Monniaux2019-03-241-1/+6
| | * | experiments with ternaryDavid Monniaux2019-03-244-1526/+36
| | * | another ternary implementationDavid Monniaux2019-03-241-1/+7
* | | | script for creduceDavid Monniaux2019-03-291-0/+20
* | | | bitsliced-tea slightly more efficient with ternaries at some placesDavid Monniaux2019-03-292-4/+18
|/ / /
* | | don't penalize x86 CompCertDavid Monniaux2019-03-271-1/+1
* | | put both compilers in their best moodDavid Monniaux2019-03-271-5/+18
* | | switch off ternary if not CompCertDavid Monniaux2019-03-271-14/+4
* | | improvements on cmoved etc.David Monniaux2019-03-271-4/+11
* | | work on ternaryDavid Monniaux2019-03-272-8/+21
* | | hand optimizedDavid Monniaux2019-03-272-0/+3271
* | | match some 'and'David Monniaux2019-03-272-4/+16
* | | essai du cmoveDavid Monniaux2019-03-273-3/+30
* | | ternary transfoDavid Monniaux2019-03-262-1/+37
* | | ternary unsignedDavid Monniaux2019-03-261-0/+7
|/ /
* | demo ternary opDavid Monniaux2019-03-242-0/+49
* | mysteriously slow codeDavid Monniaux2019-03-242-0/+70
* | encore un essai de creduceDavid Monniaux2019-03-233-0/+1561
* | system for comparing speedsDavid Monniaux2019-03-231-0/+12
* | bitsliced AES in one fileDavid Monniaux2019-03-231-10/+85
* | Test in one file only.David Monniaux2019-03-231-0/+1467
* | for testing with questDavid Monniaux2019-03-221-0/+24
* | check that gcc and ccomp compiled k1c code return the sameDavid Monniaux2019-03-221-2/+6
* | improved testingDavid Monniaux2019-03-221-5/+16
* | some more testingDavid Monniaux2019-03-221-1/+1
* | uses yarpgen random generatorDavid Monniaux2019-03-221-0/+37
|/
* better patch for running the test suiteDavid Monniaux2019-03-221-0/+13
* Now we have division, simplify the patch.David Monniaux2019-03-221-50/+0
* csmith for testingDavid Monniaux2019-03-201-0/+23
* Makefile for ocamlrun testingDavid Monniaux2019-03-201-0/+7
* ocaml byterunner exampleDavid Monniaux2019-03-20119-0/+45174
* rm need for gccDavid Monniaux2019-03-202-4/+2
* use the original source codesDavid Monniaux2019-03-2030-5528/+5235
* picomus compile aussiDavid Monniaux2019-03-201-1/+1
* picosat fonctionneDavid Monniaux2019-03-202-3/+7
* vire des scories INT_DIV et INT_MODDavid Monniaux2019-03-205-6/+6
* maddl / maddlim are synthesized (but not for pointers it seems)David Monniaux2019-03-202-5/+21
* mul immediate beginDavid Monniaux2019-03-191-0/+4
* seems to workDavid Monniaux2019-03-191-0/+7
generated by cgit (git 2.34.1) at 2024-07-11 21:01:38 +0000