Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 21, 2023

• Merge pull request #10 from stanleybak/devops/cicd

  Show description for a774f8e
  stanleybak

  authored
  a774f8e

Commits on Mar 16, 2023

• fix URL resource to raw content, add pypi badge

  EthanJamesLew

  committed
  63f49d2

• ffmpeg dep issue

  EthanJamesLew

  committed
  0392699

• switch repo picture to URL for PyPI display

  EthanJamesLew

  committed
  ac643ed

• add metadata to hylaa/__init__.py

  EthanJamesLew

  committed
  e969dc7

• Merge pull request #9 from stanleybak/devops/cicd

  Show description for 7062a8e
  stanleybak

  authored
  7062a8e

• update setup.py with classifiers and long_description (to prep for publishing)

  EthanJamesLew

  committed
  d2af034

• add build system deps for setuptools, wheel, and versioneer

  EthanJamesLew

  committed
  82ff5d2

• switch to versioneer for version management

  EthanJamesLew

  committed
  280892e

• start the build and package CI/CD pipeline

  EthanJamesLew

  committed
  c7abaa7

Commits on Jun 15, 2021

• fixed kamenev plotting bug

  

  Stanley Bak

  committed
  fd5a4f2

Commits on Sep 1, 2020

• Update setup.py

  Show description for 00222b5
  stanleybak

  authored
  00222b5

• Merge pull request #8 from maxvonhippel/master

  Show description for 3f72596
  stanleybak

  authored
  3f72596

• Improve comment

  maxvonhippel

  committed
  667c67d

• Made hylaa pip-installable

  maxvonhippel

  committed
  b1a9feb

Commits on Jun 8, 2020

• Merge branch 'master' into unstable

  

  Stanley Bak

  committed
  9a3b9c4

Commits on Oct 16, 2019

• removed error on inside facet (numerical issues), now warning

  

  Stanley Bak

  committed
  d6d353e

Commits on Aug 30, 2019

• fixed bug without aggregation

  

  Stanley Bak

  committed
  cb4f2d2

Commits on Jul 31, 2019

• Merge pull request #6 from stanleybak/unstable

  Show description for a322275
  stanleybak

  authored
  a322275

• changes for emsoft 2016 camera ready (gearbox runs)

  

  Stanley Bak

  committed
  a1ad696

Commits on Jun 6, 2019

• passed all tests

  

  Stanley Bak

  committed
  941649c

• kamenv plotting working in example

  

  Stanley Bak

  committed
  30d93f7

• adding kamenev plotting

  

  Stanley Bak

  committed
  5506e1f

Commits on Jun 3, 2019

• Merge pull request #5 from stanleybak/unstable

  Show description for 06cb254
  stanleybak

  authored
  06cb254

• removed comment about invariant intersection optimization

  

  Stanley Bak

  committed
  1cc4fb8

• fixed fording plot_result=True if plot_interacive was set

  

  Stanley Bak

  committed
  692f99f

• modified building example to remove lgg overapprox

  

  Stanley Bak

  committed
  81f552c

• comment

  

  Stanley Bak

  committed
  1782c41

• passed all tests

  

  Stanley Bak

  committed
  766975f

• fixing bugs from tests

  

  Stanley Bak

  committed
  2c9d113

Commits on May 14, 2019

• debugging deaggregation

  

  Stanley Bak

  committed
  b3fdc7d

Commits on Mar 26, 2019

• added plot clicking debug in plot_interactive

  

  Stanley Bak

  committed
  2e59792

Commits on Mar 22, 2019

• minor changes for archcomp19

  

  Stanley Bak

  committed
  7225da0

• changes for ARCHCOMP19, bugfix for guard strengthening

  

  Stanley Bak

  committed
  70e2866

Commits on Mar 14, 2019

• failing test on second input

  

  Stanley Bak

  committed
  95dc88c

Pagination

Previous

Next