Re: Embedding differential equations into types

2016-05-11 Thread gmhwxi
I skipped the constraint-solving part, which needs to be exported to Z3. On Wednesday, May 11, 2016 at 11:36:34 PM UTC-4, Artyom Shalkhakov wrote: > > On Thursday, May 12, 2016 at 5:56:56 AM UTC+6, gmhwxi wrote: >> >> Adding a 2d-oscillator example: >> >> >>

Re: Embedding differential equations into types

2016-05-11 Thread Artyom Shalkhakov
On Thursday, May 12, 2016 at 5:56:56 AM UTC+6, gmhwxi wrote: > > Adding a 2d-oscillator example: > > > http://www.cs.bu.edu/~hwxi/GitHub/ATS-Postiats-contrib/projects/LARGE/DREACH/SCRATCH/oscillator/ > >

Re: Embedding differential equations into types

2016-05-11 Thread gmhwxi
Adding a 2d-oscillator example: http://www.cs.bu.edu/~hwxi/GitHub/ATS-Postiats-contrib/projects/LARGE/DREACH/SCRATCH/oscillator/ http://www.cs.bu.edu/~hwxi/GitHub/ATS-Postiats-contrib/projects/LARGE/DREACH/SCRATCH/oscillator/oscillator_2d_anim.html On Wednesday, May 11, 2016 at 7:54:58 PM UTC-4,

Re: Embedding differential equations into types

2016-05-11 Thread gmhwxi
Renaming Github to GitHub: http://www.cs.bu.edu/~hwxi/GitHub/ATS-Postiats-contrib/projects/LARGE/DREACH/SCRATCH/bouncing_ball/ http://www.cs.bu.edu/~hwxi/GitHub/ATS-Postiats-contrib/projects/LARGE/DREACH/SCRATCH/bouncing_ball/bouncing_ball_anim.html