aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
* Split up Compilers/Z/Bounds/InterpretationLemmasGravatar Jason Gross2017-04-07
* Update display logsGravatar Jason Gross2017-04-07
* Parameterize bounds analysis over round_upGravatar Jason Gross2017-04-07
* Add inversion_base_type_constrGravatar Jason Gross2017-04-07
* Add Ladderstep130 display logGravatar Jason Gross2017-04-07
* Add display for ladderstep 130-bitGravatar Jason Gross2017-04-07
* Revert "Don't print ladderstep four times"Gravatar Jason Gross2017-04-07
* Add ladderstep display logGravatar Jason Gross2017-04-07
* Don't print ladderstep four timesGravatar Jason Gross2017-04-07
* Add working display of ladderstepGravatar Jason Gross2017-04-07
* Add display logsGravatar Jason Gross2017-04-07
* Slightly faster reificationGravatar Jason Gross2017-04-07
* Display un-interped C codeGravatar Jason Gross2017-04-07
* Add 130-bit 3-register synthesisGravatar Jason Gross2017-04-07
* Add Display files and targetsGravatar Jason Gross2017-04-07
* Use [refine_reflectively] again in ladderstepGravatar Jason Gross2017-04-07
* Use carry_mulGravatar Jason Gross2017-04-07
* Add IntegrationTestLadderstep.vGravatar Jason Gross2017-04-07
* Make dlet-moving on sigma goals use changeGravatar Jason Gross2017-04-07
* Merge branch 'rename-everything'. Closes #14.Gravatar Andres Erbsen2017-04-06
|\
| * rename-everythingGravatar Andres Erbsen2017-04-06
| * remove unused filesGravatar Andres Erbsen2017-04-06
| * reduce BaseSystemGravatar Andres Erbsen2017-04-06
* | Faster clear_all tacticGravatar Jason Gross2017-04-06
* | Add IntegrationTest for SubGravatar Jason Gross2017-04-06
* | FIx encoding of [coef]; instead of [encode 2p], it should be [encode p + enco...Gravatar jadep2017-04-06
* | Rename IntegrationTest{=>Mul}.vGravatar Jason Gross2017-04-06
* | Add 2^51, 2^52 constantsGravatar Jason Gross2017-04-06
| * start removing BaseSystemGravatar Andres Erbsen2017-04-06
| * git rm -rf src/BoundedArithmetic/Double/Repeated/ (and users)Gravatar Andres Erbsen2017-04-06
| * do not import BaseSystem unnecessarilyGravatar Andres Erbsen2017-04-06
* | Reorder pipeline to get more informative errors firstGravatar Jason Gross2017-04-06
* | Remove more useless importsGravatar Jason Gross2017-04-06
* | Remove wrong bit of zrange_to_reflective_hypsGravatar Jason Gross2017-04-06
* | Remove useless importsGravatar Jason Gross2017-04-06
* | Switch to 51-bit limbsGravatar Jason Gross2017-04-06
* | Compute the bitwidth in integration testGravatar Jason Gross2017-04-06
* | Earlier error messages in reflective glueGravatar Jason Gross2017-04-06
* | don't hardcode number of limbsGravatar jadep2017-04-06
* | Compute weight function from other termsGravatar jadep2017-04-06
| * remove Encoding stuffGravatar Andres Erbsen2017-04-06
| * do not use VerdiTactics in files we plan to keepGravatar Andres Erbsen2017-04-06
* | Ensure that we handle eta in Reflection/TestCaseGravatar Jason Gross2017-04-06
| * git rm -rf src/AssemblyGravatar Andres Erbsen2017-04-06
| * note running time of Weierstrass associativity QedGravatar Andres Erbsen2017-04-06
|/
* Finish fixing Glue to actually handle ladderstepGravatar Jason Gross2017-04-06
* Export ClearAll in TacticsGravatar Jason Gross2017-04-06
* More vigorous clearing in unify_transformed_rhs_abstract_tacGravatar Jason Gross2017-04-06
* Unfold tuples in do_reifyGravatar Jason Gross2017-04-06
* Add clear_allGravatar Jason Gross2017-04-06
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 08:53:37 +0000