Commits · 18508055133c87496bb188b445d906298035f081 · AutonomyCourse_ECEIllinois / OUTDATED Verse-library

May 18, 2022
- handling get_longitudinal position function · 18508055
  unknown authored 2 years ago
  
  18508055
May 17, 2022
- working on handling circular lanes · 1b62d229
  li213 authored 2 years ago
  
  1b62d229
May 16, 2022
- working on simulation and verification of circular lanes · 6d019729
  li213 authored 2 years ago
  
  6d019729
- keep working on supporting multiple segments in single lane · 34cecc10
  unknown authored 2 years ago
  
  34cecc10
May 14, 2022
- extend plotter for plotting simulation traces and reachtube · a0c0dcbd
  unknown authored 2 years ago
  
  a0c0dcbd
- working on handling lane segment switch in simulation · 81f3237b
  unknown authored 2 years ago
  
  81f3237b
May 10, 2022
- refactoring the code · 39a0fbc7
  li213 authored 2 years ago
  
  39a0fbc7
May 05, 2022
- working on the curved lanes · 1216387a
  li213 authored 2 years ago
  
  1216387a
May 02, 2022
- adding support for ast.UnaryOp · bd479c6d
  li213 authored 2 years ago
  
  bd479c6d
- working on verification, need to fix ast.Unary object · 333f3a96
  unknown authored 2 years ago
  
  333f3a96
Apr 29, 2022
- keep working on handling the continuous and discrete part of reset for... · fa18f9fa
  li213 authored 2 years ago
  
  keep working on handling the continuous and discrete part of reset for verification of the two car example
  fa18f9fa
Apr 27, 2022
- working on verification of the two car straight lane example · f6279be1
  li213 authored 2 years ago
  
  f6279be1
Apr 25, 2022
- switching from my expression tree to using ast as expression tree · d8a85c44
  li213 authored 2 years ago
  
  d8a85c44
- getting two car straight lane switch example working · 95f971c6
  li213 authored 2 years ago
  
  95f971c6
- working on the maps · ff07146b
  li213 authored 2 years ago
  
  ff07146b
Apr 21, 2022

further refine how variables are stored in ControllerAst, deciding the... · dcc18ca2

li213 authored 2 years ago

further refine how variables are stored in ControllerAst, deciding the interface for setting map and sensor for user

dcc18ca2

Apr 20, 2022
- working on interaction between agents, looking into how map should be handled · 5c03682f
  li213 authored 2 years ago
  
  5c03682f