aboutsummaryrefslogtreecommitdiffhomepage
path: root/re
Commit message (Expand)AuthorAgeFilesLines
* Cleanupp ZVP notebook of old cells.HEADmasterJ08nY2024-08-261-184/+1
* Fix ZVP-RE regex issue.J08nY2024-08-241-1/+1
* Add more links to docs.J08nY2024-07-241-1/+1
* Cleanup notebooks for artifact.J08nY2024-07-243-421/+492
* Fix Mod -> mod change.J08nY2024-07-164-27/+27
* Fix tree API use.J08nY2024-06-042-4/+4
* Fix new tree API use.J08nY2024-06-042-4/+4
* RPA method eval.J08nY2024-04-152-19/+161
* Finish notebook eval.J08nY2024-04-144-72/+155
* Full ZVP eval.J08nY2024-04-132-277/+208
* Proper eval script.J08nY2024-04-122-183/+505
* Extract tree eval to separate file.J08nY2024-04-092-338/+543
* Fix formatting in docs.J08nY2024-04-083-0/+3
* Docs and ToC for RE notebooks.J08nY2024-04-082-2/+16
* Update EPA to new API (partially).J08nY2024-04-081-15/+15
* Update RPA with new API.J08nY2024-04-081-38/+84
* Add RPA eval plots.J08nY2024-04-061-31/+380
* Cleanup ZVP notebook.J08nY2024-04-031-111/+487
* Add docs to formulas notebook.J08nY2024-04-021-31/+109
* Cleanup and document more ZVP stuff.J08nY2024-01-241-6/+42
* Update ZVP notebook with new bounds.J08nY2024-01-231-186/+229
* Change curves in ZVP a bit.J08nY2024-01-192-13/+34
* Update curves in ZVP.J08nY2024-01-191-9/+15
* Cleanup ZVP notebook.J08nY2024-01-181-264/+132
* Add different scalars.J08nY2024-01-181-1758/+83
* Revert "Add tikz bar generation"J08nY2024-01-181-548/+2158
* Add tikz bar generationvojtechsu2024-01-181-2158/+548
* Add modified remappingvojtechsu2024-01-181-34/+1912
* Fix remapping in ZVP.J08nY2024-01-171-11/+64
* Almost finished ZVP.J08nY2024-01-121-2420/+301
* Add in progress ZVP-RE results.J08nY2024-01-111-59/+2454
* Add proper EPA.J08nY2024-01-082-139/+244
* Add more experiments into EPA notebook.J08nY2023-12-221-33/+190
* Fix oracle simulation in RPA-RE.J08nY2023-11-271-10/+23
* Polish RPA-RE.J08nY2023-11-271-36/+73
* Add more formulas into formula analysis.J08nY2023-11-271-8/+23
* Add formula similarity notebook.J08nY2023-11-182-1/+581
* Fix import in structural.J08nY2023-10-191-0/+9
* Add structural RE notebook.J08nY2023-10-191-0/+308
* Fix EPA scalarmult instantiation.J08nY2023-10-191-8/+6
* Update ZVP notebook with factor sets.J08nY2023-10-191-116/+73
* Add more detailed RPA-RE exploration.J08nY2023-10-171-18/+173
* Update RPA notebook to work with new RPA.J08nY2023-10-161-35/+85
* Add EPA-RE notebook.J08nY2023-08-041-54/+154
* Add non-working EPA notebook.J08nY2023-08-031-0/+162
* Remove unnecessary impots in RPA notebook.J08nY2023-08-031-2/+0
* Add ZVP notebook.J08nY2023-08-031-0/+243
* Add fully simulated RPA-RE demo.J08nY2023-07-281-9/+150
* Add RPA-RE notebook.J08nY2023-07-281-0/+234